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

Методика автоматизированной проверки
Введение
Постановка задачи
Генерируемый SeC-код
Конфигурационные константы.
Проверка
Пересечение требований

Трёхзначная логика
Оформление непроверяемых требований
Заключение
Литература
Содержание раздела

---