Software Assertion

A Software Assertion is a software proposition in a software program.

• Context:
  • It can be used to test for Contradictions.
  • …
• Counter-Example(s):
  • a Debug Statement.
• 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

---