Research on IMA Blueprint Test Case Generation Method

This paper mainly studies the model-based test case generation method for the integrated modular avionics blueprint system. The blueprint system is complex and highly coupled, and any change in configuration information may cause errors in the aircraft avionics system. The configuration needs to meet various logical constraints in the system integration which including time scheduling, space storage, space-time coupling, etc., and conduct targeted tests. The architecture analysis and design language combined with the flow can build a blueprint system model and contain the information needed for testing. Develop appropriate test selection criteria and test case generation algorithms based on test requirements to generate test cases based on test models.