Högskolan i Skövde

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

Direktlänk
Referera
Referensformat
  • apa
  • apa-cv
  • 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
Transformation rules for platform independent testing: An empirical study
Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi. Saab Aeronautics, Linköping, Sweden.
Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.ORCID-id: 0000-0002-1039-5830
Software Engineering, George Mason University, Fairfax, VA 22030-4444, United States.
2013 (Engelska)Ingår i: Proceedings of the Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013, IEEE conference proceedings, 2013, s. 202-211Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
IEEE conference proceedings, 2013. s. 202-211
Serie
IEEE International Conference on Software Testing, Verification and Validation Workshops, ISSN 2159-4848
Nyckelord [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
Nationell ämneskategori
Data- och informationsvetenskap
Forskningsämne
Teknik
Identifikatorer
URN: urn:nbn:se:his:diva-8543DOI: 10.1109/ICST.2013.28ISI: 000332473300023Scopus ID: 2-s2.0-84883356462ISBN: 978-1-4673-5961-0 (tryckt)ISBN: 978-0-7695-4968-2 (digital)OAI: oai:DiVA.org:his-8543DiVA, id: diva2:656825
Konferens
IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013, 18 May 2013 through 20 May 2013, Luxembourg
Tillgänglig från: 2013-10-17 Skapad: 2013-10-17 Senast uppdaterad: 2023-04-12Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopusLänk till fulltext

Person

Eriksson, AndersLindström, Birgitta

Sök vidare i DiVA

Av författaren/redaktören
Eriksson, AndersLindström, Birgitta
Av organisationen
Institutionen för kommunikation och informationForskningscentrum för Informationsteknologi
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 1268 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • apa-cv
  • 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