Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • 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
Targeted Mutation: Efficient Mutation Analysis for Testing Non-Functional Properties
Mälardalen University, Sweden.
University of Skövde, Sweden.
RISE - Research Institutes of Sweden, ICT, SICS.ORCID-id: 0000-0003-2165-7039
RISE - Research Institutes of Sweden, ICT, SICS.ORCID-id: 0000-0002-1512-0844
Vise andre og tillknytning
2017 (engelsk)Inngår i: Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017, 2017, s. 65-68Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

Mutation analysis has proven to be a strong technique for software testing. Unfortunately, it is also computationally expensive and researchers have therefore proposed several different approaches to reduce the effort. None of these reduction techniques however, focuses on non-functional properties. Given that our goal is to create a strong test suite for testing a certain non-functional property, which mutants should be used? In this paper, we introduce the concept of targeted mutation, which focuses mutation effort to those parts of the code where a change can make a difference with respect to the targeted non-functional property. We show how targeted mutation can be applied to derive efficient test suites for estimating the Worst-Case Execution Time (WCET). We use program slicing to direct the mutations to the parts of the code that are likely to have the strongest influence on execution time. Finally, we outline an experimental procedure for how to evaluate the technique.

sted, utgiver, år, opplag, sider
2017. s. 65-68
Emneord [en]
Execution time, Mutation testing, Non-functional properties, Program slicing, Program processors, Verification, Experimental procedure, Mutation analysis, Non functional properties, Reduction techniques, Worst-case execution time, Software testing
HSV kategori
Identifikatorer
URN: urn:nbn:se:ri:diva-30962DOI: 10.1109/ICSTW.2017.18Scopus ID: 2-s2.0-85018402349ISBN: 9781509066766 (tryckt)OAI: oai:DiVA.org:ri-30962DiVA, id: diva2:1138604
Konferanse
10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017, 13 March 2017 through 17 March 2017
Tilgjengelig fra: 2017-09-06 Laget: 2017-09-06 Sist oppdatert: 2019-02-05bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Potena, PasqualinaSaadatmand, MehrdadBohlin, Markus

Søk i DiVA

Av forfatter/redaktør
Potena, PasqualinaSaadatmand, MehrdadBohlin, Markus
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

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

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • 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
v. 2.35.7