Тестване на софтуер при сертифициране - СтудИзба

Тестване на софтуер. Тестване на софтуер за сертифициране

Детерминистично тестване на дизайна. Детерминиран сертификационен тест

Принципи и цели на детерминистичното тестване

Основната задача на детерминистичното тестване е да се установи дали програмите работят и отговарят на техните технически изисквания, както и да се идентифицират и отстранят грешките и да се приведат характеристиките на програмите до нивото на изискванията, определени от клиента.

Диагностиката се извършва от автоматични системи човек-машина, в които:

човек има анализираща роля при откриването на грешки, анализирането им и вземането на решения за коригирането им;
компютърните системи осигуряват изпълнение на програма, управление на задачи и тестове и селективна информация за напредъка на тестването.

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

В зависимост от информацията, използвана при тестването, се разграничават два метода:

Методът на проверка въз основа на първоначални данни и резултати.

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

2. Метод, отчитащ междинните резултати.

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

"Сива кутия" - отчасти структурата е известна, отчасти не.

Методът на бялата кутия е по-лесен за локализиране на грешки, но отнема повече време от метода проверка по финал.

Процесът на отстраняване на грешки в програма при детерминистично тестване е разделен на следните етапи:

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

Детерминистичното тестване включва:

избор на последователност от контролни точки, входове и изходи от програмата;
избор на набори от начални стойности на данни;
междинни контролни точки и списък с променливи, които да се контролират в тези точки, се избират маршрути за изпълнение на програмата.

Редът на тестване може да бъде:

безусловно, т.е. независимо от резултатите от изпълнението на предишни серии;
условно.