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

smartrocket testgrid 作为一款支持静态分析的测试工具,满足根据国军标8114标准对源码进行质量分析。通过使用 smartrocket testgrid,用户一方面可以根据需求进行检测模板的制定,然后依据该模板快速地对安全攸关的代码进行代码质量审查;另一方面还可以通过知识中心,快速了解和查阅标准中每条缺陷的具体内容。
功能页面简洁高效
缺陷展示页面:支持缺陷按规范分类和按文件分类,能够多维度查看缺陷结果。
缺陷结果页面:页面直接呈现分析结果,对于每条缺陷出现的具体位置都可定位,操作起来简单明了。
支持c/c++语言智能化单元测试
smartrocket testgrid 作为⼀款支持单元测试的⼯具,可以自动生成满足语句、分支、mc/dc准则的覆盖率最高达100%的测试用例。通过使用smartrocket testgrid,用户可以快速地对代码进行单元级别的白盒测试、黑盒测试、回归测试,从而进⼀步提升测试效率。目前工具不仅可以对c代码进行单元测试,还可以对c/c++代码进行单元测试。对于c++代码中的模板类和模板函数,支持对其特化,从而完成单元测试。
其他功能优化
对于绝对地址的展示方式进行了优化,用户可以直接看到十六进制的绝对地址目标
对于mc/dc覆盖率计算算法根据业内普遍认可的方式进行了优化
以及其他页面和交互的优化
fqj

什么是系统分析?
荣耀20i评测 堪称新一代自拍神器
远翔FP6161:1A同步降压IC
云天励飞抓住5G发展机遇 助力自主可控的5AIoT产业生态建设
芯驰科技斩获2021年度高工智能汽车三项大奖
上海控安新版嵌入式智能化测试工具已正式发布
XR虚拟制作为游戏电竞赛事直播带来新的曙光
美西南航空和戈尔航空已经共计停飞了13架737NG飞机
土壤氧化还原电位计的技术指标
苹果发布刘海屏MacBookPro
RK3588与飞腾D2000参数对比
基于canny边缘检测的连通域检测算法
BUCK与BOOST电路设计与器件选型基础
小米MIX折叠屏手机高清渲染图曝光
麒麟信安发布基于openEuler 22.03 LTS 的商业发行版麒麟信安服务器操作系统V3.5.2
我国自动移液工作站近五年间复合增长率达到10%,,未来发展前景较好
GIS回路电阻测量方法
最全回放!一键收藏IBM@2023乌镇精彩现场
全球智能手机市场迎来大洗牌
元器件分销商大并购突发!文晔以38亿美元收购富昌电子