| In resent years, embedded system has obtained a broad space for development asinformation network and smart device technology develop rapidly. As a milestone ofthe embedded system’s developing process, Embedded Real-Time Operating System(RTOS) is applied widely in many different industries and domains. There are manyresearch interests focus on the developing process and technology of RTOS, whichrange from system-level design overview to system-level testing. Among theseresearch interests, testing is an effective way to ensure the accuracy and reliability ofRTOS. Many researchers have already conducted testing for many kinds of RTOS, buthave not yet formed a mature concept for RTOS testing. So our research on RTOStesting has a practical significance. In this thesis, we focus on the demand ofembedded system develop, put attention on the research of testing methods. Then weproposed and implemented an Extended Finite State Machine (EFSM) based loganalysis method for RTOS testing.Firstly, the thesis gives a research overview and trends study of general softwaretesting, introduce the features, environment building and strategy of RTOS testingfrom a system overview. As well we analyze two types of commonly used methods ofRTOS testing: model-based testing method and measurement-based testing method.Secondly, based on the analysis and comparison of these two types of RTOStesting method, we proposed and designed an EFSM-based RTOS log analysis method.The core of this method is a formal EFSM model. Based on this model to do theformal analysis for log message, we abstracted the log message to the concept ofreport trace and introduced report trace acceptability concept. Then we discussed theanalysis process, and proposed the EFSM-based log analysis algorithm. With thealgorithm, we can use the system log message to drive the model to start analysisprocess and to find out problems when the operations do not meet the specification.Finally, for verifying the EFSM-based RTOS log analysis method, we tested themailbox operation of a kind of RTOS named TOPPERS/ASP as a case study. Wedesigned and implemented the testing process in detail. The testing result show thatthe EFSM-based log analysis method can help understand system design and runtimebehavior. With this method, we can test RTOS quickly and effectively. |
