|
Интеллектуальные системы. Теория и приложения, 2016, том 20, выпуск 3, страницы 37–40
(Mi ista85)
|
|
|
|
Тестирование схем Кардо малого числа переменных
Е. С. Малахова, А. А. Вороненко Московский государственный университет имени М. В. Ломоносова, факультет вычислительной математики и кибернетики
Аннотация:
Данная статья посвящена условному тестированию схемы Кардо для трех и четырех переменных. Установлено, что для схемы Кардо четырех переменных минимальный полный диагностический условный тест имеет длину 14, а для схемы Кардо трех переменных — 8.
Ключевые слова:
схема Кардо, тест, тестирование, длина теста, условный диагностичеcкий тест.
Образец цитирования:
Е. С. Малахова, А. А. Вороненко, “Тестирование схем Кардо малого числа переменных”, Интеллектуальные системы. Теория и приложения, 20:3 (2016), 37–40
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ista85 https://www.mathnet.ru/rus/ista/v20/i3/p37
|
Статистика просмотров: |
Страница аннотации: | 108 | PDF полного текста: | 110 |
|