上海控安：新版嵌入式智能化测试工具 具备单元测试和静态分析功能

NEW

全新升级

SmartRocket Unit全面升级至

SmartRocket TestGrid

嵌?式智能化测试?具

新版本v2.1.0正式发布

工业测试与验证软件是

保证工控系统安全性的重要手段

然而95%被国外垄断

“卡脖子”问题亟待解决

为了给国产软件打上安全可信的标签

何积丰院士带领上海控安团队

从基础理论入手，解决重重难题

自主研发国内首款通过国际权威认证的

嵌?式智能化单元测试?具

SmartRocket Unit

经过不断的版本迭代和优化

?具由原来只具有单元测试功能

升级?具备单元测试和静态分析功能

并更名为SmartRocket TestGrid

新版本v2.1.0正式发布

?

支持国军标8114标准的静态分析

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

功能页面简洁高效

?

?

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

SmartRocket TestGrid 作为?款支持单元测试的?具，可以自动生成满足语句、分支、MC/DC准则的覆盖率最高达100%的测试用例。通过使用SmartRocket TestGrid，用户可以快速地对代码进行单元级别的白盒测试、黑盒测试、回归测试，从而进?步提升测试效率。

目前工具不仅可以对C代码进行单元测试，还可以对C/C++代码进行单元测试。对于C++代码中的模板类和模板函数，支持对其特化，从而完成单元测试。

其他功能优化

应用场景

?欢迎咨询试用

Marketing@ticpsh.com