mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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
Runtime Verification of State Machines and Defect Localization Applying Model-Based Testing
Mälardalen University, School of Innovation, Design and Engineering. Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. (IS (Embedded Systems))ORCID iD: 0000-0002-1512-0844
Alten AB, Stockholm, Sweden.
Alten AB, Stockholm, Sweden.
Alten AB, Stockholm, Sweden.
2014 (English)In: WICSA '14 Companion, Proceedings of the WICSA 2014, Sydney, Australia, 2014, Article No.: 6- p.Conference paper (Refereed)
Abstract [en]

In this paper we introduce a method for runtime veri cation of the behavior of a system against state machines models in order to identify inconsistencies between the two. This is achieved by tracking states and transitions at runtime and comparing with the expected behavior of the system captured in the form of state machine models. The goal is to increase our con dence that the order of states at runtime matches what is speci ed by the models. The method also provides for defect localization by identifying that in the transition between which states a deviation from the expected behavior has occurred. The necessity and importance of the method lies in the fact that in model-based development, models are also used to perform analysis. Therefore, if there is any discrepancy between the behavior of the system at runtime and the models, then the result of model-based analyses which are performed may also be invalid and not applicable for the system anymore. For this purpose, in our method we create executable test cases from state machine models to test the runtime behavior of the system.

Place, publisher, year, edition, pages
Sydney, Australia, 2014. Article No.: 6- p.
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-25146DOI: 10.1145/2578128.2578234Scopus ID: 2-s2.0-84904541994ISBN: 978-1-4503-2523-3 (print)OAI: oai:DiVA.org:mdh-25146DiVA: diva2:722688
Conference
First Workshop on Software Architecture Erosion and Architectural Consistency (ACM) (Co-located with WICSA 2014) SAEroCon 2014, 08 Apr 2014, Sydney, Australia
Projects
MBAT - Combined Model-based Analysis and Testing (Artemis/Vinnova)ITS-EASY Post Graduate School for Embedded Software and Systems
Available from: 2014-06-09 Created: 2014-06-05 Last updated: 2014-06-09Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Saadatmand, Mehrdad
By organisation
School of Innovation, Design and EngineeringEmbedded Systems
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 24 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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