Difference between revisions of "Assertions"
From Conservapedia
(An assertion checks that a desired condition is true, and the program stops if that condition is false.) |
(recat) |
||
| (3 intermediate revisions by one other user not shown) | |||
| Line 1: | Line 1: | ||
| − | '''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. | + | '''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." [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]] | ||
Latest revision as of 23:20, August 13, 2012
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]
