Software Assertion
(Redirected from Assertion (software development))
Jump to navigation
Jump to search
A Software Assertion is a software proposition in a software program.
- Context:
- It can be used to test for Contradictions.
- …
- Counter-Example(s):
- See: Software Requirement, True Belief, Computer Programming, First-Order Logic.
References
2014
- (Wikipedia, 2014) ⇒ http://en.wikipedia.org/wiki/Assertion_(software_development) Retrieved:2014-11-4.
- In computer programming, an assertion is a predicate (a true–false statement) placed in a program to indicate that the developer thinks that the predicate is always true at that place. If an assertion evaluates to false at run-time, an assertion failure results, which typically causes execution to abort.
2011
- (Sammut & Webb, 2011) ⇒ Claude Sammut (editor), and Geoffrey I. Webb (editor). (2011). “Assertion.” In: (Sammut & Webb, 2011) p.49