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

  • Бузовский О. В.
  • Чебаненко Т. М.

Анотація

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

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

Опубліковано
2016-07-02
Номер
Розділ
Статті