Модель програмно керованих об'єктів діагностування

Анотація

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

Ключові слова: діагностування, модель класу несправностей, комп'ютерна система, модель тестів.