Розвинуто аналітичну мережну модель апаратно-програмних засобів (АПЗ). Розроблено спеціалізовану мережну модель, яка базується на системі моделей вхідних і вихідних напівавтоматів і перевірочних графів, що представляють реалізовану та розпізнану поведінку у вузлах автоматної мережі. Створено модель призначення для формального опису мережних умов, які визначають припустимі експерименти компонентних автоматів. Розроблено аналітичну спеціалізовану модель наскрізних тестових переходів, яка базується на системі моделей автоматних підстановок, що відображає спадкування перевірюваної та ідентифікувальної поведінки у переходах автоматної ієрархії. Дана модель призначена для формального опису умов спадкування, які визначають припустимі експерименти ієрархічних переходів. Розвинуто декомпозиційний метод побудови функціональних тестів (ФТ) АПЗ, що використовує аналітичну спеціалізовану модель наскрізних тестових переходів і базується на системі ієрархічних, наслідуваних експериментних примітивів. Розроблений метод призначений для формального опису спадних композицій експериментів, що можливо реалізувати заданою автоматною ієрархією.

  Завантажити