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

 Наукова періодика України 

---

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"