Research And Implementation Of Automatic Case Generation Technology For Embedded Software Reliability Tests

With the rapid progress of the software design and development, the scale and complexity of the application software has become larger and larger which brings a higher requirement for the security and reliability of the software. How to guarantee the software quality especially the software reliability has become one of the key issues in the field of software engineering. The embedded systems are usually used in the key field of security, so how to do the testing to enhance the software reliability has drawn more and more attention nowadays. However, due to the higher requirements on the particularity, reliability and security of embedded software, there exist many problems and challenges in its testing.Based on the basic theories of the software reliability testing, this thesis analyzes the basic procedure and key technologies for the embedded software reliability testing. A solution to automatically generate cases for the embedded software reliability testing is proposed. Based on the random distribution and probobility statistics, the solution can find the globally optimal testing case by adjusting and optimizing the algorithm to meet multiple constraints. The method presents a visualized operation profile-based modeling technology from the view of raising efficiency and sufficiency of reliability testing. Without knowing the specific software code, the testers still can build a graphical model only by considering the input/output and the status change. Several algorithms to generate testing cases, to adjust and optimize testing cases, etc, are proposed, which raises the failure coverage ratio and reduces the testing costs. These technologies lay a solid foundation for the automatic generation of embedded software testing cases.A tool to automatically generate testing cases is designed in this thesis. Using a certain synthesized controlling software as the background, the software reliability testing is done to evaluate the practicability of the proposed method and tool.The automatic case generation method and tool for embedded software reliability testing can effectively solve the problems of embedded software reliability testing and provide data support for the reliability evaluation. It is of great significance and applicable value for popularizing reliability engineering in project development and implementing software reliability guarantee.