x 1.00
Лекция 17. Задача контроля схем
- 00:10Постановка задачи контроля схем. Область определённости
- 07:36Таблица контроля. Цель контроля: проверка, диагностика
- 19:22Тест для таблицы и тест для схемы. Тупиковый, минимальный, проверяющий и диагностический тесты
- 25:23Пример задачи. Способы построения тестов
- 53:12Утверждение о задании ФАЛ теста с помощью КНФ и его следствие. Продолжение примера
- 01:10:15Оценки длин тестов