В рамках диплома (ВКР) разработана программа, реализующая методы построения тестов для класса константных неисправностей комбинационной схемы, использующие SAT-решатель.
Также выполнены компьютерные эксперименты на многовыходных контрольных схемах с целью исследования методов построения тестов для класса константных неисправностей комбинационной схемы, которые подтвердили эффективность данных методов.
Кроме того, выполнены компьютерные эксперименты с целью исследования подходов к применению рассмотренных методов построения тестов для обеспечения безопасности аппаратных систем, а именно для построения тестов для вредоносных схем (аппаратных закладок) и для выявления возможностей их внедрения в схему. Эксперименты подтвердили практическую применимость методов построения тестов для решения рассмотренных задач.