Mutation Testing
Mutation Testing is a fault-injection technique developed by DeMillo, Lipton, and Sayward in 1978 that evaluates test suite effectiveness by introducing small, deliberate bugs (mutations) into source code and checking if tests catch them. A test suite that kills (detects) all mutants is stronger than one that achieves high code coverage without killing mutants.
Bronrecord
Citaten letterlijk overgenomen uit het bronrecord van de methode. Hieruit wordt geen verificatie op claimniveau afgeleid.
- DeMillo, R. A., Lipton, R. J., & Sayward, F. G. (1978). Hints on test data selection: Help for the practicing programmer. IEEE Computer, 11(4), 34–41. · DOI 10.1109/C-M.1978.218136
- Just, R., Jalali, D., Inozemtseva, L., Ernst, M. D., & Holmes, R. (2014). Are mutants killed by tests? How test suite composition affects the effectiveness of mutation testing. Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering. · URL
- Jia, Y., & Harman, M. (2010). An analysis and survey of the development of mutation testing. IEEE Transactions on Software Engineering, 37(5), 649–678. · DOI 10.1109/TSE.2010.62
Gecureerde claims
Claims opgeslagen in het bewijsregister, elk met zijn eigen beoordeling.
Deze weergave verzint geen claimbeoordeling als het register er geen heeft.
Gerelateerde methoden
Gegenereerd uit de methodegraaf en getoond als machinaal voorgestelde relaties — er wordt geen bewijsclaim afgeleid.
De gegenereerde relatiegraaf heeft geen uitgaande relatie voor deze methode.