Порівняння комбінованого алгоритму фазингу на основі мутаційного аналізу з алгоритмом фазингу на основі покриття коду

DOI: 10.31673/2412-9070.2023.025459

Анотація

Здійснено порівняльний аналіз між алгоритмом μ2 та алгоритмом Zest із використанням однакової кількості часу. Здобуті висновки підтверджують, що фазинг на основі мутаційного аналізу потребує більше часу на генерацію вхідних даних, які забезпечують повне покриття коду. У результаті дослідження з’ясовано, що за рівних умов комбінований алгоритм на основі мутаційного аналізу забезпечує менше загального покриття коду порівняно з алгоритмом на основі покриття коду.

Ключові слова: фазинг; мутаційне тестування; мутаційний аналіз; генерація тестів.

Список використаної літератури
1. Gopinath R., Görz Ph., Groce A. Mutation analysis: Answering the fuzzing challenge. arXiv preprint // arXiv:2201.11303, 2022.
2. Systematic Assessment of Fuzzers using Mutation Analysis / Ph. Goerz, B. Mathis, K. Hassler [et al.] // 2023. Usenix Security.
3. Guiding Greybox Fuzzing with Mutation Testing / V. Vikram, I. Laybourn, Ao Li [et al.] // ISSTA 2023248.
4. Padhye R., Lemieux C., Sen K. JQF: Coverageguided property-based testing in Java // Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. 2019. p. 398–401.
5. Semantic fuzzing with zest / R. Padhye [et al.] // Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. 2019. p. 329–340.
6. Laybourn I. μ2: using mutation analysis to guide mutation-based fuzzing // Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings. 2022. p. 331–333.
7. Reachable Coverage: Estimating Saturation in Fuzzing / D. Liyanage [et al.] // Proceedings of the 45th IEEE/ACM International Conference on Software Engineering (ICSE’23), 17-19 May 2023, Australia. 2023.
8. Investigating Coverage Guided Fuzzing with Mutation Testing / R. Qian [et al.] // Proceedings of the 13th Asia-Pacific Symposium on Internetware. 2022. p. 272–281.
9. Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites / M. Gligoric [et al.] // Space. 2014, 6.1,350: 1,142.
10. Hemmati H. How effective are code coverage criteria?: 2015 IEEE International Conference on Software Quality, Reliability and Security // IEEE, 2015. p. 151–156.
11. Can this fault be detected: A study on fault detection via automated test generation / P. Ma [et al.] // Journal of Systems and Software. 2020. 170: 110769.