Тестирование софта - статьи

Тестирование в условиях неполной информации. Подход к разработке спецификаций и генерации тестов
Аннотация

Введение
Краткий обзор технологии тестирования UniTESK
Архитектура тестовой системы UniTESK
Полнота функциональных требований
Требования и сценарии взаимодействия с системой
Требования и оценка правильности поведения системы
Неполнота информации в тестировании
Спецификация в условиях неполной информации



Неопределенные значения и уточняемые типы
Неопределенность и трехзначная логика Клини
Неопределенность и трехзначная логика Клини - 2
Тестирование в условиях неполной информации
Неопределенные обобщенные модели
Генерация тестов на основе неопределенных моделей
Генерация тестов на основе неопределенных моделей - 2
Графы с уточняемыми вершинами

Алгоритмы уточняющего обхода графов
Простое расширение технологии UniTESK
Инструмент разработки тестов CTesK
Простое расширение инструмента CTesK
Заключение
Литература
Содержание раздела

---