Assertions

From Conservapedia
This is the current revision of Assertions as edited by WesleyS (Talk | contribs) at 19:20, 13 August 2012. This URL is a permanent link to this version of this page.

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Assertions are used in software development to detect bugs before software is released. An assertion checks that a desired condition is true, and the program stops if that condition is false. In Java, the line number of the offending statement is automatically printed, along with the line number and method name of each item in the call stack.

  • Tony Hoare "published a series of papers on the use of assertions to prove correctness of computer programs." [1]