SmartRocket Unit 工业嵌入式系统单元测试工具
国内首款智能化单元测试用例设计工具 采用人工智能算法,利用自动推理与符号执行技术,自动分析程序路径,自动产成满足覆盖标准的测试用例,并在后台自动执行测试用例。
10倍提升测试人员的工作效率 已测试航空航天、地铁信号、汽车电子、核电控制及知名开源软件超过100W行,平均语句覆盖率超过85%,能够节省大量的人力物力。大幅提升测试人员的工作效率,测试效率提升10倍。
支持语句/分支、MC/DC及边界覆盖准则 能够针对覆盖准则生成用例,支持语句/分支、MC/DC及边界覆盖准则;能够自动执行生成的用例并提供筛选项,并满足DO-178B、ISO26262等行业规范中的单元测试要求。
无缝对接Testbed、Tessy等第三方测试工具 可与第三方测试工具实现无缝对接,产生的用例格式无需修改可直接在该类工具中执行。
自动生成满足行业认证标准要求的测试报告 执行用例并生成测试报告。无需任何编码即可进行测试,自动分析测试结果,并生成满足行业标准要求的测试报告。
高效自动检测运行时的缺陷 采用动态符号执行技术,自行建立运行时执行引擎,支持单元级别的程序在运行的同时,进行程序的缺陷分析。
TÜV南德颁发的功能安全证书 已获得由全球领先的第三方检测认证机构TÜV南德意志集团颁发功能安全证书。
技术引领的工业安全产业生态服务平台 Technology Driven Service Platform for Trusted Industry
顶部