上海控安新版嵌入式智能化测试工具已正式发布

SmartRocket TestGrid 作为一款支持静态分析的测试工具，满足根据国军标8114标准对源码进行质量分析。通过使用 SmartRocket TestGrid，用户一方面可以根据需求进行检测模板的制定，然后依据该模板快速地对安全攸关的代码进行代码质量审查；另一方面还可以通过知识中心，快速了解和查阅标准中每条缺陷的具体内容。

功能页面简洁高效

缺陷展示页面：支持缺陷按规范分类和按文件分类，能够多维度查看缺陷结果。

缺陷结果页面：页面直接呈现分析结果，对于每条缺陷出现的具体位置都可定位，操作起来简单明了。

支持C/C++语言智能化单元测试

SmartRocket TestGrid 作为⼀款支持单元测试的⼯具，可以自动生成满足语句、分支、MC/DC准则的覆盖率最高达100%的测试用例。通过使用SmartRocket TestGrid，用户可以快速地对代码进行单元级别的白盒测试、黑盒测试、回归测试，从而进⼀步提升测试效率。目前工具不仅可以对C代码进行单元测试，还可以对C/C++代码进行单元测试。对于C++代码中的模板类和模板函数，支持对其特化，从而完成单元测试。

其他功能优化

对于绝对地址的展示方式进行了优化，用户可以直接看到十六进制的绝对地址目标

对于MC/DC覆盖率计算算法根据业内普遍认可的方式进行了优化

以及其他页面和交互的优化

fqj