What mutation-testing frameworks exist for C/C++?

后端 未结 6 1720
长情又很酷
长情又很酷 2021-02-01 13:03

Mutation testing has been out there for a while now, and it seems there are at least one or two commercial mutation testing frameworks for C/C++. Have you used them? What are yo

6条回答
  •  旧时难觅i
    2021-02-01 14:08

    A brief search resulted in:

    • PlexTest: http://www.itregister.com.au/products/plextest_detail.htm
    • Insure++: http://www.parasoft.com/jsp/products/insure.jsp;jsessionid=baacpvbaDywLID?itemId=63
    • MILU (may be only for C): http://www.dcs.kcl.ac.uk/pg/jiayue/milu/

    With that said, you need to realize that mutation testing isn't particularly useful (at least from some stuff I've previously read). It's an interesting tool when faced with hard (metaphorically speaking) asserts and for making sure that data requirements are heeded to (when dealing with if and only if situations).

    In my opinion, there are much more established ways of analyzing the robustness of code.

提交回复
热议问题