基于共性需求的软件通用自动化测试设计研究

Research on Software Universal Automated Test Design Based on Common Requirements

随着航天器发射任务越来越密集,航天软件测试强度不断增大,如何在提高测试效率的同时确保软件测试质量,对航天软件测试人员提出了严峻的挑战。作为软件自动化测试方向的研究热点,无论是基于代码、面向路径覆盖的测试自动化,还是基于需求建模、面向需求的测试自动化,均未能在工程实践中大范围推广。以CAN总线通讯接口通用测试设计为例,提出了基于共性需求的航天嵌入式软件通用测试设计方案,通过共性需求提取、通用测试设计,推进航天软件测试的标准化和规范化,并通过自动化测试工具研发,实现了基于共性需求的通用自动化测试。该通用自动化测试方案已在航天嵌入式软件第三方评测中广泛使用,在测试覆盖率、查找软件潜在设计缺陷以及提高测试效率等方面均取得了良好的效果。

As the spacecraft launch mission becomes more and more intensive,the aerospace software test intensity continues to increase.How to improve the test efficiency while ensuring the quality of the software test is a severe challenge to the aerospace software testers.As a research hotspot of software automated testing,whether it is code-based,path-oriented test automation,or model-based,demand-oriented test automation,has not been widely promoted in engineering practice.Taking the universal test design of CAN bus communication interface as an example,a general test design scheme for aerospace embedded software based on common requirements is proposed.Through common requirements extraction and universal test design,the standardization of aerospace software testing is promoted,and the automated test tool is developed.The universal automated test solution has been widely used in third-party test of aerospace embedded software,and has achieved ideal results in terms of test coverage,finding potential design flaws in software,and improving test efficiency.