Coverage Test Research Based On Embedded Software

With the wide application of embedded software, the architecture and development of embedded software is rapidly changing. Compared to the increasing stability of the hardware, software failures frequently happened. To ensure the quality of the software, the software required to be tested. Due to the inherent characteristics of embedded software, such as real-time, limited memory resources, expensive development tools, and so on, it makes there are different characteristics between embedded software testing and general software testing.To save the system resources and generate fewer test cases, we use global dominator algorithm. In the establishment of local dominator graph, we use nested-loop dominator tree to optimize control flow graph. Through optimization, it can avoid generating too many redundant test cases. At the same time, the algorithm can also be used to reduce the number of instrumentation.In the large-scale software, there are many files in the directory. To cover every one of them is complicated, a solution to batchly instrument programs is presented in this paper. Firstly read the files in the directory, and then create makefile, then use gnu tools, make, to realize automatic instrumentation, so it resolved the batch instrumentation problems.It's difficult to put all the tests run on the target which will occupy the limited system resources, So it requires cross-testing, this paper adopts open-source tool, gcc, as well as gcov, to build test environment, using the algorithm above to improve them, uses skyeye to simulate the hardware environment, setting up a send process, an acceptable process to resolve data transmission problems between host and target.