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

• Datum: 2020
• Hauptverfasser: Kolchin, A., Potiyenko, S., Weigert, T.
• Format: Artikel
• Sprache: English
• Veröffentlicht: PROBLEMS IN PROGRAMMING 2020
• Schlagworte: testing; model checking; mutation testing; UDC 004.415.53+004.832.23+004.052.3
• Online Zugang: 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...