CHAPTER 3 Embedded Software System Testing Techniques Based on Formal Methods
The theory of embedded software automation system testing based on formal methods is one of the most significant features of this book, which stems from the many advantages of formal methods. This chapter will start from formal testing methods, propose a real-time extended finite state machine model, and then explore embedded software system testing automation techniques based on this model.
3.1 Overview of Software Formal Testing Techniques
3.1.1 Overview of Software Formal Testing
Formal methods originated from Dijkstra and Hoare’s program verification. Formal methods have been studied for decades, but there is still no uniform definition ...
Get Embedded Software System Testing now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
