Запропоновано метод синтезу тестів для специфічного класу пристроїв - програмно керованих апаратних компонент комп"ютерних систем, які з точки зору тестового контролю і діагностики мають безліч властивостей, що істотно відрізняються від об"єктів, традиційно розглядаються в рамках цієї дисципліни. Розглядається формальне подання моделі програмно-керованих об"єктів і модель класу несправностей, на основі яких можлива автоматизація процедур побудови ефективних контрольних і діагностичних тестів. Оцінюється складність таких процедур і прогнозується якість одержуваних на основі цих моделей тестів.