A survey on the formal testing techniques for real-time embedded software

At present, real-time embedded software testing is a hot topic, and formal methods has become an important means in real-time embedded software modeling and verification field. The real-time embedded software verification technique based on formal methods can eliminate ambiguity, enhance the accuracy and consistency of verification and improve the automation level and efficiency. In this paper, we surveyed the existing formal testing techniques for real-time embedded software, pointed out the shortcomings of current research and gave the trends of the techniques.