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
Mutating aspect-oriented models to test cross-cutting concerns
University of Skövde, Sweden.
University of Skövde, Sweden.
University of Skövde, Sweden; George Mason University, USA.
Mälardalen University, Sweden.
Show others and affiliations
2015 (English)In: 2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings, Institute of Electrical and Electronics Engineers Inc. , 2015Conference paper, Published paper (Refereed)
Abstract [en]

Aspect-oriented (AO) modeling is used to separate normal behaviors of software from specific behaviors that affect many parts of the software. These are called 'cross-cutting concerns,' and include things such as interrupt events, exception handling, and security protocols. AO modeling allow developers to model the behaviors of cross-cutting concerns independently of the normal behavior. Aspect-oriented models (AOM) are then transformed into code by 'weaving' the aspects (modeling the cross-cutting concerns) into all locations in the code where they are needed. Testing at this level is unnecessarily complicated because the concerns are often repeated in many locations and because the concerns are muddled with the normal code. This paper presents a method to design robustness tests at the abstract, or model, level. The models are mutated with novel operators that specifically target the features of AOM, and tests are designed to kill those mutants. The tests are then run on the implementation level to evaluate the behavior of the woven cross-cutting concerns.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers Inc. , 2015.
Keywords [en]
aspect-oriented modeling, Mutation analysis, robustness testing
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:ri:diva-43171DOI: 10.1109/ICSTW.2015.7107456Scopus ID: 2-s2.0-84934343223ISBN: 9781479918850 (print)OAI: oai:DiVA.org:ri-43171DiVA, id: diva2:1387087
Conference
2015 8th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015, 13 April 2015 through 17 April 2015
Note

Conference code: 112292; Cited By :6; Export Date: 13 January 2020; Conference Paper

Available from: 2020-01-20 Created: 2020-01-20 Last updated: 2020-01-23Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus
By organisation
SICS
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
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
v. 2.35.9