Abstract:

Requirement and concept demonstration is the early stage of the development lifecycle of commercial aircraft, which will significantly impact the whole life cycle cost. Functional definition describes a series of standardized and unified expected behaviors of the targeted product and can be regarded as one of the core products in the requirements and concept demonstration stage. Functional requirements, as key outputs of the functional definition process, determine the core product competitiveness of commercial aircraft. As a common means for evaluating requirement quality, function simulation-based requirement verification is employed to establish a test model of an aircraft and to simulate its behavior in specific scenarios, thus confirming whether the early-stage design specifications meet the requirements based on the simulated results. However, in the actual requirement-oriented simulation process, the variability of external environmental factors in specific scenarios often leads to test cases exhibiting what is commonly known as “combinatorial explosion”, significantly increasing the scale and cost of testing. In order to solve the problem above, a model-based testing (MBT) methodology was proposed. It will automatically generate test cases based on system modeling language (SysML) models, thereby shortening the verification cycle and ensuring the traceability of requirement verification.

Key words: requirement verification, test cases, model-based testing, SysML