Embedded Software Testing, Software Simulation Environment

There have many special embedded systems software in practice work, which are developed by assembly language and lack of enough testing. It is difficult to find faults in software of these systems. So we need a professional utility to do the job. Thinking in general software testing and its measures can be applied in some special domain such as embedded system. In this area, there must have black box testing and white box testing. Some testing methodology which applied in general software testing must be adapted in order to fit the features of embedded system. The framework of software testing platform is built on these foundations. The application software of embedded system has some features such as specialization, hardware dependence, response, embeddable characteristic and real-time. The embedded software running is limited by its hardware.We will adopt software emulation to avoid this characteristic, and so our research mission will be developed under the basic. It's an important work to get and build the software emulation environment. And it is setup that the Intel 8051 emulator environment based on Linux operating system. The experiments have been done which are running the identical source code on different simulator system. One is cereal based on Linux operation system and another is wave based on Windows operation system. The report has been committed after the result was analyzed and compared. The conclusion is that cereal is fitted for emulating running environment. By study and analyze profoundly, it is clear that the definition of modules and their relationships, the mechanism of register access and modification, breakpoint setup, and the principles of instructions emulating and running, these are well known. In this dissertation, the commands of user defining in cereal_text are accomplished and the cereal_text environment is transplanted to the TCL environment. The interpretation environment of testing case scripts are setup also. Discuss with member of our mission group and contrive the primary project which is system framework and handling process. Data structure defining and algorithm designing of pre transacting module are finished. Simple designing of test case is brought forward. And the participation work is how to use Lex and Yacc to realize the syntax and parse analysis. The author puts forward an algorithm model which can analyze the structure of assembly program by dividing its basic block and constructing its flow graph which is handled by using digraph storage such as matrix and adjacency list. The diverge routes and circle complexity of tested program will be calculated from results above. The...