技术服务

软件可靠性测试验证

软件可靠性测试用例生成
• 为嵌入式软件进行可靠性测试提供了一个从软件使用分析到软件可靠性测试数据自动生成的解决方案，极大地提高了软件可靠性测试效率，降低了测试成本。

　　应用 ：已成功应用于战斗机、导弹等 13 个型号共计 17 个嵌入式软件的系统测试。

软件动态特性验证方法及辅助工具
• 利用商品化软件 CodeTEST 的动态监控软件运行特性的功能，在源程序代码中插装判定程序动态特性的监测点，根据软件实际运行的监测结果，分析软件在运行过程中对各种应遵守的约束条件的符合情况。