Chapter 8: Creating Automated Verification Code
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:
- Why is automated verification valuable?
- Avoiding brittleness by layering automation code
- Leveraging automated verification code patterns
By the end of this chapter, you will know the basic principles behind writing solid, re-usable...
