Study on Manned Spacecraft Test Case Generation Based on Integration Method

摘要

B52 production of spacecraft based parallel test model based on spacecraft test demand is complex, through the analysis and test results of spacecraft organization process, put forward a requirement specification test description and automatic generation method for spacecraft. The definition of the spacecraft requirements management analysis model of three layers framework, resource organization and business based on the test requirements compiled this to large-scale complicated system is more accurate and more strict, and it can guarantee the consistency test false demand. Through the structure modeling, according to the different test process of spacecraft, from static test to dynamic test, the automatic test case generation method is given.