Siteadmin, Check users, nsTeam1RO, nsTeam1RW, nsTeam1_talkRO, nsTeam1_talkRW, oversight, Administrators
30,650
edits
Changes
An assertion checks that a desired condition is true, and the program stops if that condition is false.
'''Assertions''', in software development.
'''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.
* [[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/]