Наукова періодика України | Радіоелектронні і комп’ютерні системи | ||
Скобцов Ю. А. Аналитический подход к генерации проверяющих тестов для схем с памятью / Ю. А. Скобцов, В. Ю. Скобцов // Радіоелектронні і комп’ютерні системи. - 2010. - № 6. - С. 244–249. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2010_6_43 Развит аналитический подход к построению проверяющих тестов для схем с памятью на основе метода различающих функций. Используется символьное моделирование и кратная стратегия наблюдения выходных сигналов, которая позволяет повысить полноту проверяющих тестов. Рассмотрены две формы различающих функций - дизъюнктивная и конъюнктивная. Дизъюнктивная форма выделяет различимые пары состояний исправной и неисправной схемы и позволяет свести задачу генерации теста к проверке тавтологии различающей функции. Конъюнктивная форма выделяет неразличимые пары состояний и сводит задачу генерации тестов к проверке выполнимости булевых функций (SAT). Цитованість авторів публікації: Бібліографічний опис для цитування: Скобцов Ю. А. Аналитический подход к генерации проверяющих тестов для схем с памятью / Ю. А. Скобцов, В. Ю. Скобцов // Радіоелектронні і комп’ютерні системи. - 2010. - № 6. - С. 244–249. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2010_6_43.Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |