За провеждането на единични или модулни тестове на софтуер е необходимо да се познават очакваните резултати за всеки тестов случай. При сложен софтуер, работещ в реално време, при който резултатът зависи от предишни резултати, изчисляването на очакваните резултати за всички тестови случаи може да се окаже много трудоемка задача. След като сме определили набор от…