W zależności od ilości danych do przetworzenia generowanie pliku może się wydłużyć.

Jeśli generowanie trwa zbyt długo można ograniczyć dane np. zmniejszając zakres lat.

Artykuł

Pobierz plik Pobierz BibTeX

Tytuł

Mutants as Patches: Towards a formal approach to Mutation Testing

Autorzy

Rok publikacji

2019

Opublikowano w

Foundations of Computing and Decision Sciences

Rocznik: 2019 | Tom: vol. 44 | Numer: no. 4

Typ artykułu

artykuł naukowy

Język publikacji

angielski

Słowa kluczowe
EN
  • mutation testing
  • fault-based testing
  • patches
  • equivalent mutants
Streszczenie

EN Background: Mutation testing is a widely explored technique used toevaluate the quality of software tests, but little attention has been given to its math-ematical foundations.Aim: We provide a formal description of the core concepts in mutation testing, rela-tions between them and conclusions that can be drawn from the presented model.Method: We introduce concepts of mutant space and patch space, and refer to patchmerging procedure from the patch theory. We explicitly present constraints, such aslocation-dependence, that affect mutation operators. We also present a way to useintroduced formalism with traditional operators proposed in other papers.Results: The proposed formalism allows to describe interactions between separatemutations using well-known abstract algebra notation.Conclusion: The presented formalism may substantially decrease the number of testedweak mutants and increase the number of valuable ones, while giving tools to partiallyaddress the problem of equivalent mutants, particularly for higher-order mutationtesting. However, additional empirical evaluation is still needed.

Strony (od-do)

379 - 405

DOI

10.2478/fcds-2019-0019

URL

https://www.sciendo.com/article/10.2478/fcds-2019-0019

Typ licencji

CC BY-NC-ND (uznanie autorstwa - użycie niekomercyjne - bez utworów zależnych)

Pełny tekst artykułu

Pobierz plik

Poziom dostępu do pełnego tekstu

publiczny

Punktacja Ministerstwa / czasopismo

20

Punktacja Ministerstwa / czasopismo w ewaluacji 2017-2021

40

Ta strona używa plików Cookies, w celu zapamiętania uwierzytelnionej sesji użytkownika. Aby dowiedzieć się więcej przeczytaj o plikach Cookies i Polityce Prywatności.