Transformation rules for platform independent testing: An empirical study
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)
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.
Empirical studies, Functional testing, Model driven development, Platform independent, Platform independent model, Safety critical software, Test requirements, Transformation rules, Avionics, Semantics, Software testing, Testing
Computer and Information Science
Research subject Technology
IdentifiersURN: 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
IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013, 18 May 2013 through 20 May 2013, Luxembourg