Statická analýza kódu: Porovnání verzí
Smazaný obsah Přidaný obsah
m Typo |
m →Formální metody: styl |
||
Řádek 22:
== Formální metody ==
Formální metody označují termín používaný v analýze softwaru (a počítačového hardwaru), jejichž výsledky jsou získány pomocí složitých matematických operací. Tyto matematické techniky zahrnují metody jako například [[denotační sémantika]], [[axiomatická sémantika]], [[abstraktní interpretace]] a jiné. Ale ani těmito technikami nelze vždy najít všechny možné [[Běhová chyba|běhové (run-time) chyby]]: neexistuje žádný mechanismus, který vždy pravdivě zodpoví, zda libovolný program může nebo nemusí vykazovat běhové chyby.
== Reference ==
|