Research On A Simulation Testing Platform For ARM-based Embedded Safety Critical Software

Since large numbers of embedded computer systems are utilized in fields of national economy and people's live, whether safety-critical software (SCS) used in them is dependable or not has become a critical factor in their normal working.The testing and verification of embedded SCS are the guarantee of the validity and safety of embedded SCS. Firstly, by introducing the relationships among and differences of software testing, SCS and embedded SCS, this dissertation stresses the studies and analyses on the applications of the fault-injection technique and a new testing method based on the combinatorial coverage of all the interface parameters for functions in the embedded SCS testing, and describes a few common software testing quality measurement methods.The Embedded SCS Simulation Testing Platform is an ARM-based emulation system which is a powerful tool for comprehensive testing for embedded SCS. With the analyses on the functions and architecture of the Embedded SCS Simulation Testing Platform, it describes the components and implementations of the emulation for embedded system in details, and discusses the function modules and its realization of testing manager which plays a key role in the platform.During the implementation process of the Embedded SCS Simulation Testing Platform, a few key technologies have been solved. It uses this platform as an example to demonstrate the realizations of key technologies in details which include the fault-injection, the automation-testing, and the program-instrumentation technologies.The research in this paper has already been verified partly and used in railway Point Monitoring System. It obtains a good application result. Finally, after summarizing the existing research results, several problems that will be discussed deeply in future are enumerated, which include studies and implementations of more testing methods and embedded architecture simulations, and improvement of the tool trains for this platform.