Previous Section Next Section

Chapter 9. Checking

Automatic checking is a very important aspect of verification with e. There are two types of checks, data checks and temporal checks. For a good methodology, it is recommended that checks must also be separated from the drivers and test scenarios. The e language provides many constructs to facilitate checking. This chapter discusses the e constructs to perform checks.

Chapter Objectives

Previous Section Next Section