his.sePublications
Change search
ReferencesLink to record
Permanent link

Direct link
Transformation rules for platform independent testing: An empirical study
University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre. Saab Aeronautics, Linköping, Sweden.
University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
Software Engineering, George Mason University, Fairfax, VA 22030-4444, United States.
2013 (English)In: Proceedings of the Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013, IEEE conference proceedings, 2013, 202-211 p.Conference paper (Refereed)
Abstract [en]

Most Model-Driven Development projects focus on model-level functional testing. However, our recent study found an average of 67% additional logic-based test requirements from the code compared to the design model. The fact that full coverage at the design model level does not guarantee full coverage at the code level indicates that there are semantic behaviors in the model that model-based tests might miss, e.g., conditional behaviors that are not explicitly expressed as predicates and therefore not tested by logic-based coverage criteria. Avionics standards require that the structure of safety critical software is covered according to logic-based coverage criteria, including MCDC for the highest safety level. However, the standards also require that each test must be derived from the requirements. This combination makes designing tests hard, time-consuming and expensive to design. This paper defines a new model that uses transformation rules to help testers define tests at the platform independent model level. The transformation rules have been applied to six large avionic applications. The results show that the new model reduced the difference between model and code with respect to the number of additional test requirements from an average of67% to 0% in most cases and less than 1% for all applications. © 2013 IEEE.

Place, publisher, year, edition, pages
IEEE conference proceedings, 2013. 202-211 p.
Keyword [en]
Empirical studies, Functional testing, Model driven development, Platform independent, Platform independent model, Safety critical software, Test requirements, Transformation rules, Avionics, Semantics, Software testing, Testing
National Category
Computer and Information Science
Research subject
Technology
Identifiers
URN: urn:nbn:se:his:diva-8543DOI: 10.1109/ICST.2013.28ISI: 000332473300023ScopusID: 2-s2.0-84883356462ISBN: 978-1-4673-5961-0ISBN: 978-0-7695-4968-2OAI: oai:DiVA.org:his-8543DiVA: diva2:656825
Conference
IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013, 18 May 2013 through 20 May 2013, Luxembourg
Available from: 2013-10-17 Created: 2013-10-17 Last updated: 2015-01-29Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopusLänk till fulltext

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 671 hits
ReferencesLink to record
Permanent link

Direct link