Section 20.8 Glossary
Glossary Glossary
- assert statement.
- A statement that verifies that a boolean condition is true.
- design by contract.
- An approach to designing functions that specifies function behavior using preconditions and postconditions.
- postcondition.
- Part of a function specification that states the work the function completed by the function if the precondition is satisfied.
- precondition.
- A boolean condition that the caller of a function must ensure is true in order for the function to produce correct results
- specification-based tests.
- tests that are designed based only on the information in the function specification, without considering any of the details in the function implementation.
- unit test.
- Code that tests a function to determine if it works properly
You have attempted of activities on this page.
