新闻资讯

NEWS

上海控安:新版嵌入式智能化测试工具发布,同时具备单元测试和静态分析功能

发布时间:2021-04-28 作者:上海工业控制安全创新科技有限公司 点击次数:

全新升级
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++代码中的模板类和模板函数,支持对其特化,从而完成单元测试。


其他功能优化
  • 对于绝对地址的展示方式进行了优化,用户可以直接看到十六进制的绝对地址目标
  • 对于MC/DC覆盖率计算算法根据业内普遍认可的方式进行了优化
  • 以及其他页面和交互的优化
应用场景



欢迎咨询试用:Marketing@ticpsh.com