Теория тестирования логических устройств - Валерий Кудрявцев
| Автор: | Валерий Кудрявцев |
| Издательство: | "Физматлит" |
| Серия: | |
| Жанр произведения: | Учебная литература |
| Год издания: | 2006 |
| isbn: | 5-9221-0727-5 |
Тестирование логических устройств – активно развивающееся научно-прикладное направление кибернетики, возникшее в середине прошлого столетия. Оно по праву связывается с именем С. В. Яблонского. Тематика направления группируется вокруг задач характеризации тестов и их построения и фокусируется на устройствах, представленных на макро- и структурном уровнях. В книге эта тематика раскрывается на модели логического устройства в его макровиде. Решаются задачи описания сложности тестов для устройств, реализующих булевы функции из классов Поста, а также функции k-значной логики. Приводятся соответствующие процедуры построения таких тестов. Для студентов, аспирантов и специалистов в области надежности и контроля управляющих систем.