论文部分内容阅读
航天器总体设计正确性和接口实现正确性的及时验证,是提高航天器这类复杂系统可靠性的重要手段。本文提出一种基于模型检测的虚拟测试方法。方法采用窗口树模型(WTM)对复杂系统进行建模,采用状态转移图(STG)作为系统规约刻画系统行为的正确性。方法通过提出基于自动机的模型检测机制,实现了一种面向航天器系统级测试的虚拟测试平台(VTP)原型系统。该平台支持虚拟测试准备、虚拟测试执行和虚拟测试评估等功能,模拟并实现复杂系统总体设计正确性的验证和接口实现正确性的验证。
The overall design of the spacecraft and the correctness of the interface to verify the correctness of the timely verification is to improve the reliability of such complex spacecraft an important means. This paper presents a virtual test method based on model testing. Methods The window tree model (WTM) was used to model complex systems. State transition diagram (STG) was used to describe the correctness of the system behavior. Methods A virtual test platform (VTP) prototype system for spacecraft-based system-level testing was implemented by proposing an automatic machine-based model detection mechanism. The platform supports functions such as virtual test preparation, virtual test execution and virtual test evaluation. It simulates and verifies the correctness of the overall system design of complex systems and verifies the correctness of the interface implementation.