his.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
Identifying Useful Mutants to Test Time Properties
University of Skövde, School of Informatics. University of Skövde, The Informatics Research Centre. (Distribuerade realtidssystem, Distributed Real-Time Systems (DRTS))ORCID iD: 0000-0002-1039-5830
George Mason University, USA.
University of Skövde, School of Informatics. University of Skövde, The Informatics Research Centre. (Distribuerade realtidssystem, Distributed Real-Time Systems (DRTS))
University of Skövde, School of Informatics. University of Skövde, The Informatics Research Centre. (Distribuerade realtidssystem, Distributed Real-Time Systems (DRTS))ORCID iD: 0000-0002-6662-9034
2018 (English)In: 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), IEEE Computer Society, 2018, p. 69-76Conference paper, Published paper (Refereed)
Abstract [en]

Real-time systems have to be verified and tested for timely behavior as well as functional behavior. Thus, time is an extra dimension that adds to the complexity of software testing. A timed automata model with a model-checker can be used to generate timed test traces. To properly test the timely behavior, the set of test traces should challenge the different time constraints in the model. This paper describes and adapts mutation operators that target such time constraints in timed automata models. Time mutation operators apply a delta to the time constraints to help testers design tests that exceed the time constraints. We suggest that the size of this delta determines how easy the mutant is to kill and that the optimal delta varies by the program, mutation operator, and the individual mutant. To avoid trivial and equivalent time mutants, the delta should be set individually for each mutant. We discuss mutant subsumption and define the problem of finding dominator mutants in this new domain. In this position paper, we outline an iterative tuning process where a statistical model-checker, UPPAAL SMC, is used to: (i) create a tuned set of dominator time mutants, and (ii) generate test traces that kill the mutants.

Place, publisher, year, edition, pages
IEEE Computer Society, 2018. p. 69-76
Keywords [en]
mutation testing, model-based testing, mutant subsumption, real-time systems, embedded systems
National Category
Computer Sciences
Research subject
Distributed Real-Time Systems
Identifiers
URN: urn:nbn:se:his:diva-16049DOI: 10.1109/ICSTW.2018.00030Scopus ID: 2-s2.0-85050973857ISBN: 978-1-5386-6352-3 (electronic)ISBN: 978-1-5386-6353-0 (print)OAI: oai:DiVA.org:his-16049DiVA, id: diva2:1238354
Conference
2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, 9–13 April 2018, Västerås, Sweden
Projects
TOCSYC
Funder
Knowledge Foundation, 20130085Available from: 2018-08-13 Created: 2018-08-13 Last updated: 2018-11-21Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopushttp://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8411733&isnumber=8411704

Authority records BETA

Lindström, BirgittaGonzález-Hernández, LoretoAndler, Sten F.

Search in DiVA

By author/editor
Lindström, BirgittaGonzález-Hernández, LoretoAndler, Sten F.
By organisation
School of InformaticsThe Informatics Research Centre
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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