登陆
注册
工具列表
Tool list
SmartRocketUnit
2020-03-17
551
采用人工智能算法，利用自动推理与符号执行技术，自动分析程序路径，自动产成满足覆盖标准的测试用例，并在后台自动执行测试用例。
采用人工智能算法，利用自动推理与符号执行技术，自动分析程序路径，自动产成满足覆盖标准的测试用例，并在后台自动执行测试用例。
能够针对覆盖准则生成用例，支持语句/分支、MC/DC及边界覆盖准则；能够自动执行生成的用例并提供筛选项，并满足DO-178B、ISO26262等行业规范中的单元测试要求。
已测试航空航天、地铁信号、汽车电子、核电控制及知名开源软件超过100W行，平均语句覆盖率超过85%，能够节省大量的人力物力。大幅提升测试人员的工作效率，测试效率提升10倍。
