Sökning: onr:"swepub:oai:DiVA.org:ri-30962" >
Targeted Mutation :
Targeted Mutation : Efficient Mutation Analysis for Testing Non-Functional Properties
-
- Lisper, Björn (författare)
- Mälardalens högskola,Inbyggda system,Mälardalen University, Sweden
-
- Lindström, Birgitta (författare)
- Högskolan i Skövde,Institutionen för informationsteknologi,Forskningscentrum för Informationsteknologi,Distribuerade realtidssystem (DRTS)
-
- Potena, Pasqualina (författare)
- RISE,SICS,SICS Swedish ICT Västerås AB, Sweden
-
visa fler...
-
- Saadatmand, Mehrdad (författare)
- RISE,SICS,SICS Swedish ICT Västerås AB, Sweden
-
- Bohlin, Markus (författare)
- RISE,SICS,SICS Swedish ICT Västerås AB, Sweden
-
visa färre...
-
(creator_code:org_t)
- Institute of Electrical and Electronics Engineers Inc. 2017
- 2017
- Engelska.
-
Ingår i: Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017. - : Institute of Electrical and Electronics Engineers Inc.. - 9781509066766 - 9781509066773 ; , s. 65-68
- Relaterad länk:
-
http://www.es.mdh.se...
-
visa fler...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
https://urn.kb.se/re...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- 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
- Distribuerade realtidssystem (DRTS)
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas