Verification of Reactive Systems: Formal Methods and Algorithms. By Klaus Schneider. Published by Springer, Berlin, Germany, Texts in Theoretical Computer Science Series, 2004. ISBN: 3-540-00296-0, pp 600.
Joël Ouaknine · Software Testing Verification and Reliability · 2005
REVIEWSthe old techniques are the ones that are discussed most of the time, even when new testing techniques and tools are covered.It seems to me that there are two types of software testing book.The first type focuses on the practical aspects and tends to include guidelines and templates, and it may even define new names for already-invented concepts.The other type tries to be objective and teach software quality and testing without the 'hard sell' arguments.This particular book is somewhere in-between, i.e. it is focused on the practical parts of software testing, but it is also objective when it comes to techniques and concepts.Hence, it can be recommended, not only to practitioners of software testing, but also to students who want to read a stepby-step guide to software testing.If you have read a lot of software testing books, there is obviously not much new for you in this one.However, if you want to read about software testing in a task-oriented way, and get plenty of examples of templates, this is the book for you.In addition, the well-written part on modern testing tools (Section V), in combination with the bonus CD-ROM, was highly interesting and, in fact, fun to read.