Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Evaluation of Model Based Testing
Blekinge Institute of Technology, School of Engineering.
2010 (English)Independent thesis Advanced level (degree of Master (Two Years))Student thesisAlternative title
Utvärdering av Modellbaserad testning (Swedish)
Abstract [en]

In today’s telecommunication market, the increased complexity in the system and short release cycle of a product is becoming a challenge for the product testers. Due to increased competition in the telecom sector, a high reliability of complex software is always demanded by the customer, along with the cost reduction, from his contractor. A product has to be tested again if a small modification or some extra functionality is added in it. As testing is traditionally performed manually, which cannot assure that the software is tested using all possible combination of inputs. Therefore, to enhance the reliability of tests, there is a need of techniques which can improve the manual way of testing and assure the high performance and evaluation of the product. Clearly, the test automation techniques are getting more consideration due to its benefits. Therefore, in this thesis work an evaluation is made on model based testing (MBT) using Qtronic by Conformiq. Qtronic is a tool for automatic test case design that is driven by ‘design models’. A simplified automatic teller machine (ATM) client-server system is used initially as a system under test (SUT), which is implemented in Java. Qtronic modeling language (QML) is used to design a model of ATM using finite state machines (FSM) notation. The ‘design model’ is a description of the intended behavior of the system on some level of abstraction. Qtronic designs test cases for a system automatically when it is given a ‘design model’ of a system as an input. The complexity of the test object is increased incrementally to evaluate how well suited Qtronic is for incremental design and how changes in a test object affects model based testing in broad implementation. Furthermore, an experiment is also performed to evaluate the test generation time of Qtronic, by moving the ‘core logic’ of the model to the test harness. However, it is recommended that a larger and more complex test object should be used to evaluate the model based testing using Qtronic.

Abstract [sv]

I dagens telekommarknaden, är den ökade komplexiteten i systemet och kort release cykel för en produkt blir en utmaning för produkten testare. På grund av ökad konkurrens inom telekomsektorn, en hög tillförlitlighet av komplexa mjukvaran är alltid krävt av kunden, tillsammans med minskade kostnader, från sin entreprenör. En produkt måste testas igen om en liten ändring eller några extra funktioner läggs till i den. Som provning som traditionellt har utförts manuellt, vilket inte kan försäkra att programvaran är testad med alla möjliga kombinationer av ingångar. Därför att öka tillförlitligheten av tester, det finns ett behov av tekniker som kan förbättra den manuella sätt att testa och säkerställa den höga prestanda och utvärdering av produkten. Det är uppenbart att testet automation teknik får mer ersättning på grund av dess fördelar. Därför i detta examensarbete utvärdering sker på modellbaserad testning (MBT) med Qtronic av Conformiq. Qtronic är ett verktyg för automatisk testfall design som drivs med "design-modeller". En förenklad bankautomat maskin (ATM) client-server system används initialt som ett system enligt test (SUT), som genomförs i Java. Qtronic Modeling Language (QML) används för att utforma en modell för ATM med finit tillståndsmaskiner (FSM) notation. I "design-modellen" är en beskrivning av den planerade systemets beteende på någon nivå av abstraktion. Qtronic mönster testfall för ett system automatiskt när den ges en "design modell" för ett system som en ingång. Komplexiteten i det föremål som mäts ökas stegvis att utvärdera hur väl lämpad Qtronic är för inkrementell konstruktion och hur förändringar i ett testobjekt påverkar modellbaserad testning i bred genomförandet. Dessutom är ett experiment också utföras för att bedöma den tid som testet generationen Qtronic, genom att flytta "kärna logik" i modellen på prov selen. Det är dock rekommenderas att ett större och mer komplexa provföremålet bör användas för att utvärdera modellen baserad testning med Qtronic.

Place, publisher, year, edition, pages
2010. , 89 p.
Keyword [en]
Model Based Testing, Software Testing, Qtronic Conformiq.
National Category
Telecommunications
Identifiers
URN: urn:nbn:se:bth-4325Local ID: oai:bth.se:arkivex99E7AEAC74C2614DC1257727004B94E6OAI: oai:DiVA.org:bth-4325DiVA: diva2:831658
Uppsok
Technology
Supervisors
Note
0046-700183434Available from: 2015-04-22 Created: 2010-05-18 Last updated: 2015-06-30Bibliographically approved

Open Access in DiVA

fulltext(893 kB)317 downloads
File information
File name FULLTEXT01.pdfFile size 893 kBChecksum SHA-512
00a92400499288d406363f7b0beebf3824ba155469641e38a9d9a5a282d9bf8313693ed507008158734741981f4c08de254d758f21ba6d200653494e6f5a97cd
Type fulltextMimetype application/pdf

By organisation
School of Engineering
Telecommunications

Search outside of DiVA

GoogleGoogle Scholar
Total: 318 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 58 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf