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

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • 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
Model transformation impact on test artifacts: An empirical study
Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
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
Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.ORCID-id: 0000-0002-6662-9034
Software Engineering, George Mason University, Fairfax, VA 22030-4444, United States.
2012 (Engelska)Ingår i: Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa 2012, Association for Computing Machinery (ACM), 2012, s. 5-10Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
Association for Computing Machinery (ACM), 2012. s. 5-10
Nationell ämneskategori
Data- och informationsvetenskap
Forskningsämne
Teknik
Identifikatorer
URN: urn:nbn:se:his:diva-8355DOI: 10.1145/2427376.2427378Scopus ID: 2-s2.0-84873360890ISBN: 978-145031801-3 (tryckt)OAI: oai:DiVA.org:his-8355DiVA, id: diva2:639153
Konferens
Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa 2012, Innsbruck, Austria, 1 October 2012 through 5 October 2012
Tillgänglig från: 2013-08-06 Skapad: 2013-08-06 Senast uppdaterad: 2018-01-11Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Eriksson, AndersLindström, BirgittaAndler, Sten F.

Sök vidare i DiVA

Av författaren/redaktören
Eriksson, AndersLindström, BirgittaAndler, Sten F.
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: 1893 träffar
RefereraExporteraLänk till posten
Permanent länk

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