Examples:
Instrumenting the code, for coverage monitoring
Assertion checks
- programmers test an assertion that this something is in fact true.
Memory validity and usage checks
- You can check how much memory each feature or option takes
- Whether the program cleans up after a given graphic, feature, or dialog when your done with it.