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

• Date: 2020
• Main Authors: Kolchin, A., Potiyenko, S., Weigert, T.
• Format: Article
• Language: English
• Published: PROBLEMS IN PROGRAMMING 2020
• Subjects: testing; model checking; mutation testing; UDC 004.415.53+004.832.23+004.052.3
• Online Access: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/425
• Journal Title: 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...