2 Методи за валидиране
- структурен и функционален контрол
Методи за генериране на еталони
1) Прилагане на аналитични изрази
2) Използване на симулация
3) Използване на предишни версии на тестване на подобни програми
Концепция за проверка на програмата
Проверка - аналитично изследване на коректността на дадена програма според нейния текст въз основа на формално-логическа система за установяване на съответствие между програма и нейната спецификация с помощта на апарата на предикатното смятане от първи ред. В крайна сметка това е изчисляването на истинността на предикат от два аргумента: програмата и нейната спецификация.
За опростяване на проверката са разделени два компонента на изпълнението на програмата:
1) частична коректност - удовлетворяване на входните и изходните спецификации на програмата, при условие че тя е успешно завършена
2) проверка на пълнотата на програмата - достигане на изход с входните данни, дадени от спецификацията
Основни задачи за анализ на коректността по време на проверката
1) частична коректност, предмет на пълнота
2) частична неправилност при условие на пълнота