突变测试 https://secure.wikimedia.org/wikipedia/en/wiki/Mutation_testing已经出现有一段时间了,似乎至少有一两个针对 C/C++ 的商业突变测试框架。你用过它们吗?你有什么经历?有没有开源替代方案?
简短的搜索结果是:
-
PlexTest:
http://www.itregister.com.au/products/plextest_detail.htm http://www.itregister.com.au/products/plextest_detail.htm
-
Insure++:
http://www.parasoft.com/jsp/products/insure.jsp;jsessionid=baacpvbaDywLID?itemId=63 http://www.parasoft.com/jsp/products/insure.jsp;jsessionid=baacpvbaDywLID?itemId=63
-
MILU(可能仅适用于 C):http://www.dcs.kcl.ac.uk/pg/jiayue/milu/ http://www.dcs.kcl.ac.uk/pg/jiayue/milu/
话虽如此,您需要意识到突变测试并不是特别有用(至少从我之前读过的一些内容来看)。当面对困难(隐喻地说)断言并确保数据需求得到关注(在处理if and only if
情况)。
在我看来,有更多成熟的方法来分析代码的稳健性。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)