航天器测试需求描述及其自动生成

航天器作为一个典型的安全苛刻系统,其可信性研究需求迫切,支持可信性评估的数据来自于航天器测试用例的执行,而航天器测试需求是测试用例生成的重要依据.在实际应用中,对航天器这类复杂系统,面临测试需求庞杂、测试需求编制周期长、人工经验编制方式难以保证测试需求的充分性、完备性及可复用性等问题.针对这些问题,通过分析航天器组织结构特点,建立航天器形式化模型,基于航天器测试任务流程,给出了航天器静态测试需求和动态测试需求形式化描述规范,并给出航天器测试需求自动生成方法,保证了测试需求的充分性和完备性,提高了测试需求复用性,与人工编制方式相比,缩短了测试需求编制周期.最后设计并实现航天器测试需求生成应用系统,验证所提出方法的有效性. 

Spacecraft test requirement description and automatic generation method

Spacecraft as a typical safety-critical system, its trustworthiness study is very urgent. The evaluation and verification for spacecraft depends on the data obtained from the execution of spacecraft test cases. Moreover, spacecraft test requirement is the important basis for test case generation.In practical application, such complex system of spacecraft is faced with problems of the complexity for the spacecraft test requirement, long preparation period for the test requirement, and difficulty in assuring the adequacy, completeness, and reusability of test requirement using artificial experience. To solve these problems, the spacecraft formalized model was constructed by analyzing the characteristics of the spacecraft structure.The formalization specification of spacecraft static test requirements and dynamic test requirements were given based on spacecraft testing task flow. And the corresponding automatically generation methods for spacecraft testing requirements were proposed. The adequacy and completeness of spacecraft test requirement are ensured, and the reusability of test requirement is enhanced. Compared with the artificial establishment way, the period of the compiled test requirements is shorten. Finally, the application system for spacecraft test requirement generation is designed and implemented, which validates the effectiveness of the proposed method.