2 Методи за валидиране

- структурен и функционален контрол

Методи за генериране на еталони

1) Прилагане на аналитични изрази

2) Използване на симулация

3) Използване на предишни версии на тестване на подобни програми

Концепция за проверка на програмата

Проверка - аналитично изследване на коректността на дадена програма според нейния текст въз основа на формално-логическа система за установяване на съответствие между програма и нейната спецификация с помощта на апарата на предикатното смятане от първи ред. В крайна сметка това е изчисляването на истинността на предикат от два аргумента: програмата и нейната спецификация.

За опростяване на проверката са разделени два компонента на изпълнението на програмата:

1) частична коректност - удовлетворяване на входните и изходните спецификации на програмата, при условие че тя е успешно завършена

2) проверка на пълнотата на програмата - достигане на изход с входните данни, дадени от спецификацията

Основни задачи за анализ на коректността по време на проверката

1) частична коректност, предмет на пълнота

2) частична неправилност при условие на пълнота

5) тотална коректност - частична коректност и пълнота

6) неправилност - частична неправилност или непълнота

На изхода на оператора се дава предварително условие P (x), това е допустим набор от стойности на входните данни

Оператор, който осигурява завършване, на чийто вход е присвоен изходен предикат или последващо условие, където f (x) е целевата функция на изпълнението на програмата (която установява връзка между входните и изходните данни)

1) Свойство за частична коректност

- прекратяване предикат

2) Свойство на пълнота

3) Пълна коректност

Има ограничения за формата на представяне на програми и оператори, за които се изчисляват предикатите.

Проверката на 6 коректни свойства на програми с определени ограничения се извършва по метода на индуктивните твърдения, предложен от Floyd.

Калкулатор

Безплатна услуга за оценка

Попълнете заявлението. Експертите ще изчислят цената на вашата работа
Изчисляването на разходите ще бъде изпратено по пощата и чрез SMS

Номер на вашето заявление

Автоматично писмо за потвърждение с информация за приложението ще бъде изпратено на пощата точно сега.