assertion


Also found in: Dictionary, Thesaurus, Legal, Wikipedia.

assertion

(programming)
1. An expression which, if false, indicates an error. Assertions are used for debugging by catching can't happen errors.

2. In logic programming, a new fact or rule added to the database by the program at run time. This is an extralogical or impure feature of logic programming languages.
References in classic literature ?
But I require three weeks' preparation; at the end of that time I shall come and say to you, `The assertion is false, and I retract it,' or `The assertion is true,' when I shall immediately draw the sword from its sheath, or the pistols from the case, whichever you please.
Summerlee declared, with an acid smile, that he fully appreciated the difference between the Thames and the Amazon, which lay in the fact that any assertion about the former could be tested, while about the latter it could not.
Waldron," he said, "to cease to make assertions which are not in strict accordance with scientific fact.
Over and over again she was told that the woman who had terrified her had left the house, and would never be permitted to enter it more; over and over again she was assured that the stranger's frantic assertions were regarded by everybody about her as unworthy of a moment's serious attention.
The assertions in the prisoner's Declaration of his innocence were still, as the Lord Advocate had remarked, assertions not supported by proof.
In spite of the village elder's assertions about the compressibility of hay, and its having settled down in the stacks, and his swearing that everything had been done in the fear of God, Levin stuck to his point that the hay had been divided without his orders, and that, therefore, he would not accept that hay as fifty loads to a stack.
today announced that AMD (NYSE: AMD), has signed a multi-year, multi-license agreement for worldwide deployment of NextOp's BugScope assertion synthesis product.
has announced that its BugScope Assertion Synthesis product was selected by Design Automation Conference (DAC) attendees as a top 5 pick in DeepChip's annual DAC Report.
The management assertion process is mandated by Section 1008 of the 2002 National Defense Authorization Act, which directs government agencies to ensure that the resources expended on financial statement preparation are minimized until the reporting entity can demonstrate that it is ready for audit.
110 relates to the risk of material misstatement at the financial statement level, focusing on "overall responses" by the auditor; further audit procedures responsive to assessed risk at relevant assertion levels; evaluating the sufficiency and appropriateness of the audit evidence obtained; and documentation.
the leader in debug systems for complex chip designs, today introduced a new set of capabilities that streamline the process of analyzing and debugging assertion failures for users of SystemVerilog Assertions (SVA).
The basic premise of the guide is that the procedures performed to understand the internal control structure and to assess control risk differ, depending on the preliminary audit strategy selected for a particular financial statement assertion.