论文部分内容阅读
航天器作为一个典型的安全苛刻系统,其可信性研究需求迫切,支持可信性评估的数据来自于航天器测试用例的执行,而航天器测试需求是测试用例生成的重要依据.在实际应用中,对航天器这类复杂系统,面临测试需求庞杂、测试需求编制周期长、人工经验编制方式难以保证测试需求的充分性、完备性及可复用性等问题.针对这些问题,通过分析航天器组织结构特点,建立航天器形式化模型,基于航天器测试任务流程,给出了航天器静态测试需求和动态测试需求形式化描述规范,并给出航天器测试需求自动生成方法,保证了测试需求的充分性和完备性,提高了测试需求复用性,与人工编制方式相比,缩短了测试需求编制周期.最后设计并实现航天器测试需求生成应用系统,验证所提出方法的有效性.
Spacecraft as a typical safety system, the credibility of the urgent needs of research, support for the credibility of the data from the test of spacecraft implementation of the test cases, and spacecraft test requirements is an important basis for the generation of test cases.In practical applications , The complex systems such as spacecraft are faced with many problems such as complex testing requirements, long preparation period of testing requirements and difficulty in ensuring the adequacy, completeness and reusability of testing requirements in the way of artificial experience compilation.Aiming at these problems, Based on the characteristics of the organizational structure of the spacecraft, a formalized spacecraft model is established. Based on the test procedure of the spacecraft, a formal description specification of the static test requirements and dynamic test requirements of the spacecraft is given. The automatic generation method of the spacecraft test requirements is given, The adequacy and completeness of the requirements and the reusability of testing requirements, and shortens the preparation period of testing requirements compared with the manual preparation method.Finally, the application system of the spacecraft testing requirements generation is designed and verified to verify the effectiveness of the proposed method.