Coverage Engine

Summary

This chapter introduced the concepts of coverage groups, coverage items, and coverage buckets and described their use in implementing a coverage model. Each of these constructs allows the user to specify options for controlling the behavior of that construct. These options were presented along with their use in creating a coverage model.

Composite coverage items were introduced as an extension of scalar coverage items to collect coverage about multiple data values while using cross coverage items, or collecting coverage about transitions in the value of a data object using the transition coverage item. Coverage extension was presented to facilitate the application of aspect oriented programming style to coverage modeling. Constructs for extending coverage groups as well as coverage items were presented. Approaches for reducing the impact of coverage collection to program runtime performance were also introduced with guidelines for reducing the amount of collected data.

This chapter focused on describing the basics of coverage collection and their implementation in the e language. Coverage collection methodology is described in the next chapter.