Difference between revisions of "Assertions"

From Conservapedia
Jump to: navigation, search
(recat)
 
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]]
+
[[Category:Computer Programming]]

Latest revision as of 19:20, 13 August 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]