Siteadmin, Check users, nsTeam1RO, nsTeam1RW, nsTeam1_talkRO, nsTeam1_talkRW, oversight, Administrators
30,650
edits
Changes
line number
'''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/]