mdh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Tools for Model-based Testing of Requirements-based Designs
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. (IS (Embedded Systems))ORCID-id: 0000-0002-7663-5497
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. (IS (Embedded Systems))ORCID-id: 0000-0003-2870-2680
ALL4TEC.
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. (IS (Embedded Systems))ORCID-id: 0000-0003-4040-3480
2014 (Engelska)Rapport (Övrigt vetenskapligt)
Abstract [en]

Software testing aims at gaining confidence in software products through fault detection, by observing the differences between the behavior of the implementation and the expected behavior described in the specification. Nowadays, testing is the main verification technique used in industry, being a time and resource consuming activity. This has boosted the development of potentially more efficient testing techniques, like model-based testing, where test creation and execution can be automated, using an abstract system model as input. In this paper, we provide an overview of the state-of-the-art in tool-supported model-based testing that starts from requirements-based models, by presenting and classifying some of the most mature tools available at this moment. Our goal is to get a deeper insight into the state-of-the-art in this area, as well as to form a position with respect to possible needs and gaps in the current tools used by industry and academia, which need to be addressed in order to enhance the applicability of model-based testing techniques. To achieve this, we extend an existing taxonomy with: (i) the test artifact, representing the type of information encoded in the model for the purpose of testing (i.e., functional behavior, extra-functional behavior, or the architectural description), and (ii) the mapping of test cases, which describes ways of using the generated test cases on the actual system under test. To provide further evidence of the inner- workings of different model-based testing tools, we select four representative tools (i.e, ProTest, UPPAAL Cover, MaTeLo, and CompleteTest) that we apply on a simple yet illustrative Coffee/Tea Vending Machine example, to show the differences in modeling notations, test case generation methods, and the produced test-cases.

Ort, förlag, år, upplaga, sidor
Västerås, Sweden: Mälardalen Real-Time Research Centre, Mälardalen University , 2014.
Serie
MRTC Reports, ISSN 1404-3041
Nationell ämneskategori
Teknik och teknologier Elektroteknik och elektronik
Identifikatorer
URN: urn:nbn:se:mdh:diva-26818ISRN: MDH-MRTC-296/2014-1-SEOAI: oai:DiVA.org:mdh-26818DiVA, id: diva2:767983
Projekt
MBAT - Combined Model-based Analysis and Testing (Artemis/Vinnova)Tillgänglig från: 2014-12-02 Skapad: 2014-12-02 Senast uppdaterad: 2014-12-03Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

http://www.es.mdh.se/publications/3790-Tools_for_Model_based_Testing_of_Requirements_based_Designs

Personposter BETA

Marinescu, RalucaSeceleanu, CristinaPettersson, Paul

Sök vidare i DiVA

Av författaren/redaktören
Marinescu, RalucaSeceleanu, CristinaPettersson, Paul
Av organisationen
Inbyggda system
Teknik och teknologierElektroteknik och elektronik

Sök vidare utanför DiVA

GoogleGoogle Scholar

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 464 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf