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




Глава


Методика автоматизированной проверки
Введение
Постановка задачи
Генерируемый SeC-код
Генерируемый SeC-код - часть 2
Генерируемый SeC-код - часть 3
Конфигурационные константы.
Проверка
Проверка - часть 2
Пересечение требований
Трёхзначная логика
Оформление непроверяемых требований
Заключение
Литература



Содержание