Research On Test Automation Method Of Aerospace Software Based On Requirement Model

In order to solve the problem of insufficient software development efficiency caused by “the scale and complexity of aerospace software are increasing” and “the aerospace software development cycle is gradually shortening”,a new software development method called model-driven software development is used in the aerospace field.The model-driven software development method can improve the efficiency of software development through the “developer builds the graphical model,and the code is automatically generated by the model” mode.And the formal verification function ensures the consistency of the code and the model.However,the model-driven software development method has brought challenges to the traditional software testing methods while improving the efficiency of aerospace model software development.The aerospace filed already has a relatively complete test method system,and some test work can be done automatically.But because these traditional test methods are based on the requirements document,so they cannot be applied to the software which is developed by model-driven development method.How to effectively test the aerospace software developed by model-driven development method has become an urgent problem to be solved.Since the code generator can guarantee the correctness of the code itself,the focus of the test should be on “validating whether the code satisfies the software requirements”.According to the complete model-driven software development life cycle,the requirement model should be used to transfer the software requirements.In the model-driven software development method,the design model can be regarded as the refinement of the requirement model.So there is a strong correlation and traceability between the requirement model and the design model.Because the code is automatically generated by the design model,so the requirement model and the code also have the strong correlation which makes it possible to use the requirement model to test code automatically.This paper proposes a test automation method based on the requirement model by studying the characteristics of the aerospace software developed by model-driven development: By extracting the test related information contained in the requirement,the test case generation algorithms are designed for different types of requirement model.And this paper design the test script generation algorithm which makes the test case can be further transformed to test script that can be executed on the test platform.Almost all the processes of test work can complete automatically.Through the experimental verification,the test automation method based on requirement model and the generation algorithm of are feasible.The test automation method proposed in this paper can well fit the characteristics of the aerospace software developed by model-driven development method.And the method can effectively improve the automation and reliability of the test work.