Теория тестирования логических устройств. Валерий Кудрявцев и др.
- Тип: Текст PDF
- Авторы:
- Издательство: Издательская фирма "Физико-математическая литература"(2016)
- Год написания: 2006
- ISBN: 5-9221-0727-5, 978-5-457-96629-1
- Страниц: 162
- Язык: Русский
- Описание
- Фрагмент
Тестирование логических устройств – активно развивающееся научно-прикладное направление кибернетики, возникшее в середине прошлого столетия. Оно по праву связывается с именем С. В. Яблонского. Тематика направления группируется вокруг задач характеризации тестов и их построения и фокусируется на устройствах, представленных на макро- и структурном уровнях. В книге эта тематика раскрывается на модели логического устройства в его макровиде. Решаются задачи описания сложности тестов для устройств, реализующих булевы функции из классов Поста, а также функции k-значной логики. Приводятся соответствующие процедуры построения таких тестов. Для студентов, аспирантов и специалистов в области надежности и контроля управляющих систем.