August 2020
Beginner to intermediate
214 pages
4h 40m
English
In the preceding chapters, we learned how to create executable specifications, that is, features that can be automatically executed and verified. As stated previously, this book is not intended to make you an expert on writing automated verification. Much of such expertise relies on coding, and specific library and technology-related skills, so it falls outside this book's remit. Having said that, it would be remiss if a book on executable specifications and end-to-end delivery methodology did not give any advice on how to go about writing good automated verification code. In this chapter, we will learn how to architect and design our verification code by looking at the following:
Read now
Unlock full access