- 专利标题: 一种基于复杂接口时序的软件系统测试验证方法
- 专利标题(英): Complex interface time sequence-based software system test verification method
-
申请号: CN201711168665.3申请日: 2017-11-21
-
公开(公告)号: CN107977312A公开(公告)日: 2018-05-01
- 发明人: 毛强 , 窦小明 , 吴晓蕊 , 杨飞 , 薛凯 , 金娜 , 陈超 , 底亚峰 , 顾天祺 , 赵媛心 , 尹琼 , 高鹏 , 魏柯
- 申请人: 北京临近空间飞行器系统工程研究所 , 中国运载火箭技术研究院
- 申请人地址: 北京市丰台区南大红门路1号
- 专利权人: 北京临近空间飞行器系统工程研究所,中国运载火箭技术研究院
- 当前专利权人: 北京临近空间飞行器系统工程研究所,中国运载火箭技术研究院
- 当前专利权人地址: 北京市丰台区南大红门路1号
- 代理机构: 中国航天科技专利中心
- 代理商 武莹
- 主分类号: G06F11/36
- IPC分类号: G06F11/36
摘要:
一种基于复杂接口时序的软件系统测试验证方法,首先对软件系统进行接口属性分析,根据接口属性分析结果生成软件系统测试验证用例,然后对软件系统测试验证用例进行反馈迭代优化,最后使用得到的软件系统测试验证用例进行接口时序测试验证。本发明结合航天器系统研制工程实际,构建基于复杂接口时序的软件系统测试验证方法,与现有技术相比可有效缩短复杂接口时序测试周期,降低测试成本,提高复杂接口时序测试的覆盖性、鲁棒性,具有重要工程实际意义。
公开/授权文献
- CN107977312B 一种基于复杂接口时序的软件系统测试验证方法 公开/授权日:2020-07-14