High Confidence Development Technology of Application Software for GNC Subsystem of Chang’E-5

Facing to the high-safety and high-reliability mission requirement, the high-complexity and high-autonomy function requirement, and the high-real-time and strong-sequential performance requirement of mission Chang’E-5, this paper researches the high confidence develop technology of the application software for GNC Subsystem of Chang’E-5. During the requirement analysis, the sequential safety attribute is added to the formal modeling and verification language, which avoids the requirement duality. In phase of design and coding, program slicing is extracted based on the mission profile, which is used in the source code fault localization, comparing to the manual work, the normalization and correctness of source code is improved. The test case auto generate method base on state chart and sequence diagram is researched, and a Full-Automatic Spacecraft software Testing suite is established for the massive test case, the test coverage and efficiency is obviously improved.