Högskolan i Skövde

his.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • apa-cv
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Identifying Useful Mutants to Test Time Properties
Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi. (Distribuerade realtidssystem, Distributed Real-Time Systems (DRTS))ORCID-id: 0000-0002-1039-5830
George Mason University, USA.
Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi. (Distribuerade realtidssystem, Distributed Real-Time Systems (DRTS))
Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi. (Distribuerade realtidssystem, Distributed Real-Time Systems (DRTS))ORCID-id: 0000-0002-6662-9034
2018 (Engelska)Ingår i: 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), IEEE Computer Society, 2018, s. 69-76Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
IEEE Computer Society, 2018. s. 69-76
Nyckelord [en]
mutation testing, model-based testing, mutant subsumption, real-time systems, embedded systems
Nationell ämneskategori
Datavetenskap (datalogi)
Forskningsämne
Distribuerade realtidssystem (DRTS)
Identifikatorer
URN: urn:nbn:se:his:diva-16049DOI: 10.1109/ICSTW.2018.00030ISI: 000492760300010Scopus ID: 2-s2.0-85050973857ISBN: 978-1-5386-6352-3 (digital)ISBN: 978-1-5386-6353-0 (tryckt)OAI: oai:DiVA.org:his-16049DiVA, id: diva2:1238354
Konferens
2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, 9–13 April 2018, Västerås, Sweden
Projekt
TOCSYC
Forskningsfinansiär
KK-stiftelsen, 20130085Tillgänglig från: 2018-08-13 Skapad: 2018-08-13 Senast uppdaterad: 2019-12-19Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopushttp://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8411733&isnumber=8411704

Person

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

Sök vidare i DiVA

Av författaren/redaktören
Lindström, BirgittaGonzález-Hernández, LoretoAndler, Sten F.
Av organisationen
Institutionen för informationsteknologiForskningscentrum för Informationsteknologi
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 470 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • apa-cv
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf