Stuff you may like
Assertion (software development): In computer programming, specifically when using the imperative programming paradigm, an assertion is a predicate connected to a point in the program, that always should evaluate to true at that point in code execution. Assertions can help a programmer read the code, help a compiler compile it, or help the program detect its own defects.
Assertion definition language: The Assertion Definition Language is a specification language providing a formal grammar to specify behaviour and interfaces for computer software. ADL uses function pre- and postconditions to specify interfaces and is designed to provide an intermediary between informal English language specifications and formal programmatic test specifications.
Management assertions: Management assertions or financial statement assertions are the implicit or explicit assertions that the preparer of financial statements is making to its users. These assertions are relevant to auditors performing a financial statement audit in two ways.