Research on Embedded Software Testing Framework Based on Formal Specification

Focusing on the functional testing of embedded software, this paper studies the formal testing model based on extended finite state machine. Then, the authors summarizes the complete construction process of embedded software testing based on formal specification and design the formal testing framework of embedded software. This framework describes the complete formal test execution flow from formal description of software requirements to the final test report. It solves the problems of the engineering application which is difficult to promote by formal test methods in embedded software. Finally, based on the results of theoretical research, a typical example of embedded application is verified to prove the effectiveness of the method.