Correctness

De Software testing
Ir para: navegação, pesquisa

Facts

  • There is no general purpose algorithm to prove the correctness of a software. <bib>vincenzi-etal:2007:slides</bib>
  • The notion of total correctness of a program is an ideal and applies to only the most academic and textbook programs. <bib>mathur:2008</bib>