his.sePublications
Change search
ReferencesLink to record
Permanent link

Direct link
Model transformation impact on test artifacts: An empirical study
University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.ORCID iD: 0000-0002-1039-5830
University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.ORCID iD: 0000-0002-6662-9034
Software Engineering, George Mason University, Fairfax, VA 22030-4444, United States.
2012 (English)In: Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa 2012, Association for Computing Machinery (ACM), 2012, 5-10 p.Conference paper (Refereed)
Abstract [en]

Development environments that support Model-Driven Development often focus on model-level functional testing, enabling verification of design models against their specifications. However, developers of safety-critical software systems are also required to show that tests cover the structure of the implementation. Unfortunately, the implementation structure can diverge from the model depending on choices such as the model compiler or target language. Therefore, structural coverage at the model level may not guarantee coverage of the implementation. We present results from an industrial experiment that demonstrates the model-compiler effect on test artifacts in xtUML models when these models are transformed into C++. Test artifacts, i.e., predicates and clauses, are used to satisfy the structural code coverage criterion, in this case MCDC, which is required by the US Federal Aviation Administration. The results of the experiment show not only that the implementation contains more test artifacts than the model, but also that the test artifacts can be deterministically enumerated during translation. The analysis identifies two major sources for these additional test artifacts. © 2012 ACM.

Place, publisher, year, edition, pages
Association for Computing Machinery (ACM), 2012. 5-10 p.
National Category
Computer and Information Science
Research subject
Technology
Identifiers
URN: urn:nbn:se:his:diva-8355DOI: 10.1145/2427376.2427378ScopusID: 2-s2.0-84873360890ISBN: 978-145031801-3OAI: oai:DiVA.org:his-8355DiVA: diva2:639153
Conference
Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa 2012, Innsbruck, Austria, 1 October 2012 through 5 October 2012
Available from: 2013-08-06 Created: 2013-08-06 Last updated: 2015-12-28Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Eriksson, AndersLindström, BirgittaAndler, Sten F.
By organisation
School of Humanities and InformaticsThe Informatics Research Centre
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 1379 hits
ReferencesLink to record
Permanent link

Direct link