mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Using mutation to design tests for aspect-oriented models
Univ Skövde, Skövde, Sweden..
George Mason Univ, Fairfax, USA..
Swedish Inst Comp Sci, Kista, Sweden..
Univ Skövde, Skövde, Sweden..
Show others and affiliations
2017 (English)In: Information and Software Technology, ISSN 0950-5849, E-ISSN 1873-6025, Vol. 81, p. 112-130Article in journal (Refereed) Published
Abstract [en]

Context: Testing for properties such as robustness or security is complicated because their concerns are often repeated in many locations and muddled with the normal code. Such "cross-cutting concerns" include things like interrupt events, exception handling, and security protocols. Aspect-oriented (AO) modeling allows, developers to model the cross-cutting behavior independently of the normal behavior, thus supporting model-based testing of cross-cutting concerns. However, mutation operators defined for AO programs (source code) are usually not applicable to AO models (AGMs) and operators defined for models do not target the AO features. Objective: We present a method to design abstract tests at the aspect-oriented model level. We define mutation operators for aspect-oriented models and evaluate the generated mutants for an example system. Method: AOMs are mutated with novel operators that specifically target the AO modeling features. Test traces killing these mutant models are then generated. The generated and selected traces are abstract tests that can be transformed to concrete black-box tests and run on the implementation level, to evaluate the behavior of the woven cross-cutting concerns (combined aspect and base models). Results: This paper is a significant extension of our paper at Mutation 2015. We present a complete fault model, additional mutation operators, and a thorough analysis of the mutants generated for an example system. Conclusions: The analysis shows that some mutants are stillborn (syntactically illegal) but none is equivalent (exhibiting the same behavior as the original model). Additionally, our AOM-specific mutation operators can be combined with pre-existing operators to mutate code or models without any overlap.

Place, publisher, year, edition, pages
2017. Vol. 81, p. 112-130
Keywords [en]
Model-based testing, Aspect-oriented model, Mutation testing
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:mdh:diva-34018DOI: 10.1016/j.infsof.2016.04.007ISI: 000387634200009Scopus ID: 2-s2.0-84963813590OAI: oai:DiVA.org:mdh-34018DiVA, id: diva2:1051565
Available from: 2016-12-02 Created: 2016-12-02 Last updated: 2017-06-05Bibliographically approved

Open Access in DiVA

fulltext(1217 kB)134 downloads
File information
File name FULLTEXT01.pdfFile size 1217 kBChecksum SHA-512
b8167e3e33f9b3202625bc57e415f51f6795f112bc436007929f2ac611561c1086b5544eb74ee7502084c01d7ecac8c175f64066ecdd313b37a711fc52eb5771
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Authority records BETA

Pettersson, Paul

Search in DiVA

By author/editor
Pettersson, Paul
By organisation
Embedded Systems
In the same journal
Information and Software Technology
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 134 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 86 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf