|
|
|
|
|
|
by r0s
1560 days ago
|
|
|
Side bar: as far as I can tell Turing was the first to use the term "assertion" in the context of software testing. > How can one check a large routine in the sense of making sure that it's right? In order that the man who checks may not have too difficult a task, the programmer should make a number of definite assertions which can be checked individually, and from which the correctness of the whole program easily follows. https://turingarchive.kings.cam.ac.uk/publications-lectures-... |
|
|