Research On Embedded Software Testability

Nowadays, because of the rapid development of the digital information, we will find traces of the embedded system in all aspects of our daily lives. The embedded system is made up of hardware and software, and the quality testing of the embedded software is more difficult compared to the common software, it also attracts more and more attention. The testability is one of the important features to the quality of software. Doing measurement analysis for software can predict the testability of software and manage the testing work more efficiently. Implementing the quantitative of the software testing can help the manager to arrange the project reasonably, help the developers to design and detect the testing progress better, and help the testers to allocate more testing resources in the important parts of the codes, making sure the quality of the embedded software. Since the1990s, software testability analysis has been the direction of the computer science research, and also will be a focus in the21st century.This paper summarizes the existing methods of the software testability and introduces the embedded system, the basic theoretical knowledge and the definition of the embedded system, and then it analysis the relationship of the software testing, the software verification and the software testability. It provides a theoretical basis for the static and dynamic model in the paper. This paper introduces the measurement method of the software static testability in detail which based on the theoretical basis of the DRR model. And it successfully predicts the testability of the software according to the input/output domain of the software specification instruction or by analyzing the program codes gradually. After that, this paper using the correlation matrix puts forward the Embedded Software Testability Fault Model, ESDFM, which based on fault/failure model and PIE model.Finally, this paper applies to the testing phase combining static testability with dynamic testability using W model, and then puts forward the new framework of the embedded software testability metric. In order to make the test effective, we use dynamic testability metric when the static testability value is less than the fixed value which is set by experiment.