A Model-Based Testing Tool for Embedded Software

In recent years, the number of embedded software has grown rapidly because embedded systems have become essential in our life. However, embedded software is tightly coupled with hardware and operating systems and often lacks structure, which makes embedded software complicated and difficult to understand and test. In this paper, we apply model-based testing technique to embedded software. A test model is presented to support structural analysis and testing for embedded software. Moreover, a tool is developed to automate the construction of the proposed test model and the testing of embedded software. A case study is presented to illustrate the usefulness of the proposed model-based testing approach.