Högskolan i Skövde

his.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • apa-cv
  • 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
On strong mutation and the theory of subsuming logic‐based mutants
Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi. (Distribuerade realtidssystem (DRTS), Distributed Real-Time Systems)ORCID-id: 0000-0002-1039-5830
Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi. (Distribuerade realtidssystem (DRTS), Distributed Real-Time Systems)
2019 (engelsk)Inngår i: Software testing, verification & reliability, ISSN 0960-0833, E-ISSN 1099-1689, Vol. 29, nr 1-2 Special Issue: SI, s. 1-23, artikkel-id e1667Artikkel i tidsskrift (Fagfellevurdert) Published
Abstract [en]

Redundant mutants might cause problems when benchmarking since testing techniques can get high scores without detecting any nonredundant mutants. However, removing nonredundant mutants might cause similar problems. Subsumed mutants are per definition also redundant since no additional tests are required to detect them once all other mutants are detected. We focus on relational operator replacement (ROR) and conditional operator replacement mutants. Subsumption relations between ROR mutants are defined by fault hierarchies. The fault hierarchies are proven for weak mutation but have since they were published been used with strong mutation. We prove that ROR fault hierarchies do not hold for strong mutation and show why. We also show that the probability for a random test to experience the problem can be more than 30% and that 50% of the mutants might be affected in a real software system. Finally, we show that there is a similar problem with the theory on sufficient conditional operator replacement.

sted, utgiver, år, opplag, sider
John Wiley & Sons, 2019. Vol. 29, nr 1-2 Special Issue: SI, s. 1-23, artikkel-id e1667
Emneord [en]
error propagation, mutant subsumption, mutation testing, redundant mutants
HSV kategori
Forskningsprogram
Distribuerade realtidssystem (DRTS)
Identifikatorer
URN: urn:nbn:se:his:diva-15090DOI: 10.1002/stvr.1667ISI: 000458911000003Scopus ID: 2-s2.0-85045856317OAI: oai:DiVA.org:his-15090DiVA, id: diva2:1199617
Prosjekter
TOCSYC
Forskningsfinansiär
Knowledge Foundation, 20130085Tilgjengelig fra: 2018-04-21 Laget: 2018-04-21 Sist oppdatert: 2024-06-03bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Person

Lindström, BirgittaMárki, András

Søk i DiVA

Av forfatter/redaktør
Lindström, BirgittaMárki, András
Av organisasjonen
I samme tidsskrift
Software testing, verification & reliability

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

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

Direct link
Referera
Referensformat
  • apa
  • apa-cv
  • 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