Синтез тестов для программно-управляемых объектов диагностирования

Abstract

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

Ключевые слова: синтез тестов, диагностика, модель класса неисправностей, программно- управляемый объект