The Research Of Modeling For Operational Profile Of Embedded Software In Space Project

This thesis gives a method for operational profile modeling because aero-applied embedded software has its own characteristic and there are some questions in software black box testing. This method constructs the software model from the user view. It gives a quantitative description of how the system is used and how it will be used. We can get test cases and the information about the testing data which can be used to auto-generate test cases and reduce the uncertainty that imported by people. With the operational profile the proficiency and quality of software test will be improved.We introduce the operational profile's theory first .We put our emphasis on the method that construct the mathematic model of the operational profile then we give a method that generate test cases from the model. Finally we design a prototype based the theory.