his.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet 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.
Software Engineering, George Mason University, Fairfax, VA 22030-4444, United States.
2013 (engelsk)Inngår i: Proceedings of the Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013, IEEE conference proceedings, 2013, s. 202-211Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
IEEE conference proceedings, 2013. s. 202-211
Emneord [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
HSV kategori
Forskningsprogram
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 ISBN: 978-0-7695-4968-2 OAI: oai:DiVA.org:his-8543DiVA, id: diva2:656825
Konferanse
IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013, 18 May 2013 through 20 May 2013, Luxembourg
Tilgjengelig fra: 2013-10-17 Laget: 2013-10-17 Sist oppdatert: 2018-01-11bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopusLänk till fulltext

Personposter BETA

Eriksson, AndersLindström, Birgitta

Søk i DiVA

Av forfatter/redaktør
Eriksson, AndersLindström, Birgitta
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 1189 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf