Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Наукова періодика України - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Повнотекстовий пошук
| Знайдено в інших БД: | Реферативна база даних (1) |
Список видань за алфавітом назв: Авторський покажчик Покажчик назв публікацій  |
Пошуковий запит: (<.>AT=Скобцов Аналитический подход к генерации$<.>) | |||
|
Загальна кількість знайдених документів : 1 |
|||
| 1. | 
Скобцов Ю. А. Аналитический подход к генерации проверяющих тестов для схем с памятью [Електронний ресурс] / Ю. А. Скобцов, В. Ю. Скобцов // Радіоелектронні і комп’ютерні системи. - 2010. - № 6. - С. 244–249. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2010_6_43 Развит аналитический подход к построению проверяющих тестов для схем с памятью на основе метода различающих функций. Используется символьное моделирование и кратная стратегия наблюдения выходных сигналов, которая позволяет повысить полноту проверяющих тестов. Рассмотрены две формы различающих функций - дизъюнктивная и конъюнктивная. Дизъюнктивная форма выделяет различимые пары состояний исправной и неисправной схемы и позволяет свести задачу генерации теста к проверке тавтологии различающей функции. Конъюнктивная форма выделяет неразличимые пары состояний и сводит задачу генерации тестов к проверке выполнимости булевых функций (SAT). | ||
Попередній перегляд: 
Реферативна БД
 |
| Відділ наукової організації електронних інформаційних ресурсів |
 Пам`ятка користувача |