Course Image DatZ5013 : Programmatūras testēšana

DatZ5013 : Programmatūras testēšana

1.Testēšanas teorijas un prakses vēsture. 2.Pilnas Testu Sistēmas (PTS) konstruēšanas problēma. Programmēšanas valodu formalizācija. Simboliskā izpilde. Ceļa iziešanas nosacījumi. Dabiskais algoritms…