Efficient increasing of the mutation score during model-based test suite generation

• Дата: 2020
• Автори: Kolchin, A., Potiyenko, S., Weigert, T.
• Формат: Стаття
• Мова: English
• Опубліковано: PROBLEMS IN PROGRAMMING 2020
• Теми: testing; model checking; mutation testing; UDC 004.415.53+004.832.23+004.052.3
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/425
• Назва журналу: Problems in programming

The purpose of the method is to increase the sensitivity of an automatically generated test suite to mutations of a model. Unlike existing methods for generating test scenarios that use the mutational approach to assess the resulting test set, the proposed method analyzes the possibility of detectin...