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


         

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



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

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

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

Литература - 2
Содержание