Research On A Test Cases Generation Approach Based On Usage Profile For Aerospace Software

While software is widely used in safety critical fields such as aeronautics&aerospace, weapon system, indusrtial process in which the failures of software are often catastrophic. So, how to guarantee the product quality, especially the software reliability, has become one of the key problems in software engineering.Software reliability testing is one of the important tasks in software reliability engineering, from which the failure data can be used to evaluate and validate the software reliability. The testing environment and data analysis technique in software reliability testing are the same as those in some other software testing methods, but the generation methods of the test data in software reliability testing are special, in which the usage information must be considered.Real-time software in airspace is more stric in time and sequence. How to generate the software reliability test data for real time software in airspace is the main content in this paper.The state of the art of reliability testing technology home and abroad is firstly introduced in this paper, from which we can conclude what can be learned and where can be improved.On the basis of the research results, a kind of method based on the structure technology of usage profile is put forward following the characteristic of the airspace software. The method involves the concept, analysis and construction process of usage profiles.Secondly, an efficient traversal algorithm to generate the corresponding sequence based on the structure of usage profiles is then raised. Finally, the way to extract the operational sequence and the technological approach to generate reliability test data has been put forward. Trodational table represtation and XML representation for test data is compared, which shows that adopting XML markup language as represtation of test data can improve the flexibility and scalability of the test data and also be good for test data to further process.According to the study in this paper, a software prototype tool has been developed to generate software reliability test data for real-time software in aerospace.In order to validate the methods presented in this paper, a practical aerospace software system—the smart power control unit is chosen as the validation target. And the procedure of the validation is introduced. It demonstrates that the methods presented are reasonable and effective.