Verifying Attributes and Properties

This section describes how you can use attributes and properties to verify test cases.