An Embedded Software Testing Requirements Modeling Tool Describing Static and Dynamic Characteristics

Abstract

It is generally believed that Model-based testing (MBT) began in 1956. MBT is an important software quality assurance technology. We propose a set of graphical components describing the testing requirements of embedded software, and research how to plan test items and how to generate test cases. We couple some graphical components as a modeling system supporting to describe test requirement for embedded software. The modeling system proposed can enhance the efficiency of embedded software testing to a certain extent.