A teszteléssel tudod bizonyítani, hogy helyesen működik egy szoftver, matematikailag nem. Vagyis persze lehet, hogy lehetséges, de mit gondolsz, hány évezredbe kerülne mondjuk a Microsoft Word helyes működésének bizonyítása matematikailag?
***
A teszteléssel tudod bizonyítani, hogy helyesen működik egy szoftver, matematikailag nem. Vagyis persze lehet, hogy lehetséges, de mit gondolsz, hány évezredbe kerülne mondjuk a Microsoft Word helyes működésének bizonyítása matematikailag?
***