Difference between revisions of "Assertions"
Jump to navigation
Jump to search
(the line number and method name of each item in the call stack) |
|||
| Line 2: | Line 2: | ||
* [[Tony Hoare]] "published a series of papers on the use of assertions to prove correctness of computer programs." [http://research.microsoft.com/en-us/people/thoare/] | * [[Tony Hoare]] "published a series of papers on the use of assertions to prove correctness of computer programs." [http://research.microsoft.com/en-us/people/thoare/] | ||
| + | [[Category:Computer programming]] | ||
Revision as of 15:25, June 29, 2011
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]