公开(公告)号：CN107977312A

公开(公告)日：2018-05-01

申请号：CN201711168665.3

申请日：2017-11-21

Applicant: 北京临近空间飞行器系统工程研究所 ,  中国运载火箭技术研究院

Inventor： 毛强 ,  窦小明 ,  吴晓蕊 ,  杨飞 ,  薛凯 ,  金娜 ,  陈超 ,  底亚峰 ,  顾天祺 ,  赵媛心 ,  尹琼 ,  高鹏 ,  魏柯

IPC: G06F11/36

Abstract: 一种基于复杂接口时序的软件系统测试验证方法，首先对软件系统进行接口属性分析，根据接口属性分析结果生成软件系统测试验证用例，然后对软件系统测试验证用例进行反馈迭代优化，最后使用得到的软件系统测试验证用例进行接口时序测试验证。本发明结合航天器系统研制工程实际，构建基于复杂接口时序的软件系统测试验证方法，与现有技术相比可有效缩短复杂接口时序测试周期，降低测试成本，提高复杂接口时序测试的覆盖性、鲁棒性，具有重要工程实际意义。

公开(公告)号：CN107977312B

公开(公告)日：2020-07-14

申请号：CN201711168665.3

申请日：2017-11-21

Applicant: 北京临近空间飞行器系统工程研究所 ,  中国运载火箭技术研究院

Inventor： 毛强 ,  窦小明 ,  吴晓蕊 ,  杨飞 ,  薛凯 ,  金娜 ,  陈超 ,  底亚峰 ,  顾天祺 ,  赵媛心 ,  尹琼 ,  高鹏 ,  魏柯

IPC: G06F11/36

Abstract: 一种基于复杂接口时序的软件系统测试验证方法，首先对软件系统进行接口属性分析，根据接口属性分析结果生成软件系统测试验证用例，然后对软件系统测试验证用例进行反馈迭代优化，最后使用得到的软件系统测试验证用例进行接口时序测试验证。本发明结合航天器系统研制工程实际，构建基于复杂接口时序的软件系统测试验证方法，与现有技术相比可有效缩短复杂接口时序测试周期，降低测试成本，提高复杂接口时序测试的覆盖性、鲁棒性，具有重要工程实际意义。