Lecture Software testing and analysis: Chapter 5 - Mauro Pezzè, Michal Young
Lecture Software testing and analysis: Chapter 5 - Mauro Pezzè, Michal Young
This chapter presents some basic concepts in models of software and some families of models that are used in a wide variety of testing and analysis techniques. The fundamental concepts and trade-offs in the design of models is necessary for a full understanding of those test and analysis techniques, and is a foundation for devising new techniques and models to solve domain-specific problems.