登陆
注册
工具列表
Tool list
LDRA Testbed
2020-06-01
407
-
源代码分析和测试工具商LDRA赢得中国载人航天工程一百万美元合同
CMSP（中国载人航天工程）选择在自动化的软件验证工具供应商具有领导地位的LDRA，以及LDRA工具包用来分析复杂的天宫一号飞船关键应用。需要满足DO-178B的A级验证的天宫号飞船，将进行空间交会对...
-
软测工具Testbed的使用以及动态测试实例
基于大连理工大学软件测试与质量保证实验
-
Richland Technologies Slashes Design and Certification Time for Advanced Avionics Systems
Headquartered in Lawrenceville, Georgia, the company specialises in avionics computing platforms, co...
