5. Техніки на основі скінченного автомату.

Тесты на основе конечного автомата (Finite-state machine-based)

Строятся как комбинация тестов для всех состояний и переходов между состояниями, представленных в соответствующей модели (переходов и состояний приложения).Общий контекст различных методов тестирования на основе конечных автоматов. Рассматривается описание требований к поведению тестируемой системы, представленное в виде конечного автомата, называемого спецификацией. Реальное поведение тестируемой системы, со всеми имеющимися в ней ошибками, также может быть полностью смоделировано конечным автоматом, называемым реализацией. Реализация неизвестна, известно только, что это конечный автомат, удовлетворяющий ряду условий. Задача состоит в построении как можно более компактного набора тестов — входных последовательностей (и соответствующих им в спецификации выходных), — позволяющих отличить реализацию от спецификации всякий раз, когда они не эквивалентны. Соответственно, если поведение реализации на этом наборе тестов не будет отличаться от поведения спецификации, можно быть уверенным, что они эквивалентны. На спецификацию и реализацию накладываются дополнительные ограничения.

Спецификация

• детерминирована;

• минимальна;

• полностью определена;

• сильно связна или имеет действие reset(R), достоверно приводящее из любого

состояния в начальное.

От реализации требуется

• детерминизм;

• полная определенность;

• сильная связность или наличие reset;

• согласованность стимулов и реакций со спецификацией — входной и выходной

алфавиты реализации те же;

• согласованность начального состояния — в начале работы реализация находится в начальном состоянии;

• ограниченность — число состояний в реализации не превосходит некоторого числа N

6. Стратегія тестування.

Стратегія тестування – це документ (outline), який описує частину тестування циклу впровадження програмного забезпечення. Цей документ створюється для того, щоб інформувати проджект-менеджерів, тестерів та розробників про основні проблеми процессу тестування. Це включає в себе цілі тестування, методи тестування нових функцій, повний час та ресурси, необхідні для проекту та середовище тестування.

У стратегії тестування описується яким чином були протестовані та зменшені ризики замовників, які використовувалися типи тестування та критерії входу-виходу (entrance-exit criterial).

7. Дефекти, типи дефектів.

Дефект - неправильний крок, процес чи визначення даних в комп'ютерній програмі

• Логічні;

• Обчислень;

• Інтерфейсу;

• Обробки даних;

• Вводу даних;

• Обробки помилок та ін.

Класифікація дефектів за серйозністю:

• Критичний;

• Серйозний;

• Значний;

• Незначний;

• Не дефект.

Класифікація дефектів за пріоритетом усунення:

• У першу чергу;

• Звернути увагу;

• У порядку черги;

• Відкласти;

• Відхилити.

8. Тестування на основі формальних специфікацій.

Формальні специфікації: Ідеї

• Формальна специфікація:

  • Зосереджена на коректності

  • Різні рівні деталізації

  • Характеристики (3С): повна, якісна, послідовна

  • Два типи: описова та поведінкова

• Описові ФС:

  • Логічні: перед/після умови

  • Математичні функції

  • Позначення та мовна підтримка

  • Поведінкові ФС: FSM, мережі петрі, і т.д.

• “Тестування показує наявність помилок, а не їх відсутність” – Дейкстра

• ФП: доказ конкретності

  • ФС: як пре/пост умови

  • Аксіоми для компонентів або формальних блоків

  • Склад

  • Розробка та перевірка разом

• Інші схожі підходи

  • Напів-формальні перевірки

  • Перевірка моделей

  • Інспекція на коректність