2 Методу перевірки коректності
- структурний та функціональний контроль
Способи формування еталонних тестів
1) Застосування аналітичних виразів
2) Використання моделювання
3) Використання колишніх варіантів тестування подібних програм
Поняття верифікації програми
Верифікація– аналітичне дослідження коректності програми за її текстом на основі формально-логічної системи встановлення відповідності між програмою та її специфікацією за допомогою апарату обчислення предикатів першого порядку. Зрештою, це обчислення істинності предикату від двох аргументів: програми та її специфікації.
Для спрощення верифікації поділяють дві складові виконання програми:
1) часткову коректність – задоволення вхідний та вихідний специфікацій програми за умови її успішного завершення
2) перевірка завершеності програми – досягнення виходу за заданих специфікацією вхідних даних
Основні завдання аналізу коректності під час верифікації
1) часткова коректність за умови завершеності
2) часткова некоректність за умови завершеності
5) тотальна коректність – часткова коректність та завершеність
6) некоректність – часткова некоректність чи незавершеність
Виходу оператора приписують передумову P(x), це допустиме безліч значень вхідних даних
Оператор, який забезпечує завершення, входу якого приписується вихідний предикат, або постумова, де f(x) – цільова функція виконання програми (яка встановлює зв'язок між вхідними та вихідними даними)
1) Властивість часткової коректності
2) Властивість завершеності
3) Тотальна коректність
Є обмеження наформу подання програм та операторів, для яких обчислюються предикати.
Перевірка властивостей коректності програм з певними обмеженнями здійснюється методом індуктивних тверджень, запропонованих Флойдом.
Калькулятор
Сервіс безкоштовної оцінки вартості роботи
- Заповніть заявку. Фахівці розрахують вартість вашої роботи
- Розрахунок вартості прийде на пошту та по СМС
Номер вашої заявки
Зараз на пошту прийде автоматичний лист-підтвердження з інформацією про заявку.