Eigrl的博客

SpecChecker的功能 将整个代码工程文件导入SpecChecker后，其提供如下分析功能：安全规则检查。依据制定的编程规则（MISRA C、企业自定编程规范等）对代码进行规则检查。违背规则的语句会在结果中给出，并指出违背的规则项。 软件质量度量。软件质量度量的分析依赖安全规则检查和代码度量分析。衡量的指标有：可靠性、可维护性、可移植性、效率性。试用版本上无软件质量度量功能...

Aunit试用总结 1. 自动生成的用例，准确度非100%。如遇到while循环，自动生成的用例并不会给定退出while循环的用例值，造成进入死循环，测试无法执行通过 2. 测试用例编写界面，并非所有的变量都需要给定值。但自动生成的用例会给定好多变量的值，有用的、无用的都有，难以直接判定要达到覆盖度100%，需要修改哪些变量 3. 工具不是很成熟，存在bug（个别源文件静态分析后显示...

CUnit用户手册(中文)：https://wenku.baidu.com/view/f2221a1b8e9951e79b8927bb.html?re=viewCUnit测试指南2.doc：https://max.book118.com/html/2015/0710/20770028.shtm