Е. С. Малахова, А. А. Вороненко, “Тестирование схем Кардо малого числа переменных”, Интеллектуальные системы. Теория и приложения, 2016, том 20, выпуск 3,страницы 37

Тестирование схем Кардо малого числа переменных

Е. С. Малахова, А. А. Вороненко

Московский государственный университет имени М. В. Ломоносова, факультет вычислительной математики и кибернетики

Аннотация: Данная статья посвящена условному тестированию схемы Кардо для трех и четырех переменных. Установлено, что для схемы Кардо четырех переменных минимальный полный диагностический условный тест имеет длину 14, а для схемы Кардо трех переменных — 8.

Ключевые слова: схема Кардо, тест, тестирование, длина теста, условный диагностичеcкий тест.