Тестирование логических устройств - активно развивающееся научно-прикладное направление кибернетики, возникшее в середине прошлого столетия. Оно по праву связывается с именем С.В.Яблонского. Тематика направления группируется вокруг задач характеризации тестов и их построения и фокусируется на устройствах, представленных на макро - и структурном уровнях. В книге эта тематика раскрывается на модели логического устройства в его макровиде. Решаются задачи описания сложности тестов для устройств, реализующих булевы функции из классов Поста, а также функции K-значной логики. Приводятся соответствующие процедуры построения таких тестов.
Для студентов, аспирантов и специалистов в области надежности и контроля управляющих систем.
Чтобы оставить свою оценку и/или комментарий, Вам нужно войти под своей учетной записью или зарегистрироваться
Пока никто не оставил впечатление о книге...
Пока никто не оставил цитат из этой книги...