A software system test verification method based on complex interface timing is used to analyze the interface attribute of the software system first, and the software system test case is generated according to the result of the interface attribute analysis. Then the software system test case is optimized by feedback and iteration. Finally, the software system test verification is used. An example is used to test and verify the interface timing test. Combining with the actual development of spacecraft system, the invention constructs a test and verification method of software system based on complex interface time series. Compared with the existing technology, it can effectively shorten the time series test cycle of complex interface, reduce the test cost, improve the coverage and lusity of the time series test of complex interface, and have important practical significance.
【技术实现步骤摘要】
一种基于复杂接口时序的软件系统测试验证方法
本专利技术涉及航空航天、软件系统测试领域,特别是一种基于复杂接口时序的软件系统测试验证方法。
技术介绍
随着计算机软硬件技术的不断更迭升级,航天器系统对体积、重量和功耗等方面的约束越来越严格,集成度、小型化、智能化程度越来越高,其接口时序趋于复杂化,对软件系统测试验证提出了重大的挑战。针对复杂的接口时序测试,传统的做法多为系统功能测试,即按照既定的操作规程,人为操作设备的输入输出,判断是否与预期的结果是否一致,通常会导致系统细节逻辑无法覆盖,如不可重现异常现象、数据错乱,甚至被外界干扰等现象,该做法仅仅满足了常规基本的系统功能需求,易导致系统鲁棒性不足。因此,针对接口时序复杂的软件系统,亟需探索一种系统接口时序测试验证方法,以提高软件系统的安全性、可靠性、鲁棒性。
技术实现思路
本专利技术解决的技术问题是:克服现有技术的不足,提供了一种基于复杂接口时序的软件系统测试验证方法,通过采用事物属性分析、清单矩阵组合分析方法,从多维视角分析、测试、验证含有复杂接口时序的软件系统,提高航天器软件系统运行效率及其可靠性、安全性、鲁棒性,为实现航天器的稳定可靠运行奠定基础。本专利技术的技术解决方案是:一种基于复杂接口时序的软件系统测试验证方法,包括如下步骤:(1)对软件系统进行接口属性分析;所述的接口属性分析包括接口时序属性分析、接口属性参数矩阵化、时序参数组合分析;(2)根据接口属性分析结果生成软件系统测试验证用例;(3)对软件系统测试验证用例进行反馈迭代优化;(4)使用步骤(3)得到的软件系统测试验证用例进行接口时序测试验证。 ...
【技术保护点】
一种基于复杂接口时序的软件系统测试验证方法,其特征在于包括如下步骤:(1)对软件系统进行接口属性分析;所述的接口属性分析包括接口时序属性分析、接口属性参数矩阵化、时序参数组合分析;(2)根据接口属性分析结果生成软件系统测试验证用例;(3)对软件系统测试验证用例进行反馈迭代优化;(4)使用步骤(3)得到的软件系统测试验证用例进行接口时序测试验证。
【技术特征摘要】
1.一种基于复杂接口时序的软件系统测试验证方法,其特征在于包括如下步骤:(1)对软件系统进行接口属性分析;所述的接口属性分析包括接口时序属性分析、接口属性参数矩阵化、时序参数组合分析;(2)根据接口属性分析结果生成软件系统测试验证用例;(3)对软件系统测试验证用例进行反馈迭代优化;(4)使用步骤(3)得到的软件系统测试验证用例进行接口时序测试验证。2.根据权利要求1所述的一种基于复杂接口时序的软件系统测试验证方法,其特征在于:所述的接口属性参数矩阵化包括如下步骤:(1)判定软件系统接口类型;所述的接口类型包括AD接口、开关量接口、UART或USART接口、1553B接口、SPI接口、I2C接口;(2)根据软件系统接口类型进行接口时序属性分析;所述的接口时序属性分析包括异步串行接口通信数据、通信数据吞吐量、通信协议;(3)将软件系统接口进行属性分解,得到软件系统接口默认态、开状态、关状态、持续时间;(4)将软件系统接口的类型、属性参数进行矩阵化,得到软件系统接口属性参数矩阵。3.根据权利要求1...
【专利技术属性】
技术研发人员:毛强,窦小明,吴晓蕊,杨飞,薛凯,金娜,陈超,底亚峰,顾天祺,赵媛心,尹琼,高鹏,魏柯,
申请(专利权)人:北京临近空间飞行器系统工程研究所,中国运载火箭技术研究院,
类型:发明
国别省市:北京,11
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。