Measuring Coverage of Prolog Programs Using Mutation Testing
Measuring Coverage of Prolog Programs Using Mutation Testing
复制标题
使用突变测试测量 Prolog 程序的覆盖率
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Philipp Körner
中科院分区：
文献类型：
--
作者：
Alexandros Efremidis;Joshua Schmidt;Sebastian Krings;Philipp Körner
测试是专业软件开发中的一个重要方面，既可以避免和识别错误，也可以提高可维护性。然而，将测试数量增加到超过合理的数量会阻碍开发进度。为了确定测试套件的完备性，已经提出了许多断言测试覆盖的方法。然而，逻辑程序的框架仍然很少。
Testing is an important aspect in professional software development, both to avoid and identify bugs as well as to increase maintainability. However, increasing the number of tests beyond a reasonable amount hinders development progress. To decide on the completeness of a test suite, many approaches to assert test coverage have been suggested. Yet, frameworks for logic programs remain scarce.