While not a test suite system, the assertion framework is an interesting
model for the types of assertions that could be used.
They include pre-condition, post-condition, invariants, conditional assertions,
unconditional assertions, and methods for checking conditions.
While not a test suite system, the assertion framework is an interesting
model for the types of assertions that could be used.
They include pre-condition, post-condition, invariants, conditional assertions,
unconditional assertions, and methods for checking conditions.