Difference between revisions of "Assertions"
Jump to navigation
Jump to search
(An assertion checks that a desired condition is true, and the program stops if that condition is false.) |
(line number) |
||
| 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. |
* [[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/] | ||
Revision as of 17:08, June 28, 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.
- Tony Hoare "published a series of papers on the use of assertions to prove correctness of computer programs." [1]