Синтез тестов с гарантированной полнотой для входо-выходных полуавтоматов
Аннотация:
В статье исследуется проблема построения конечных тестов с гарантированной полнотой для входо-выходных полуавтоматов на основе модели «черного ящика», когда известна только верхняя оценка на число состояний тестируемого полуавтомата, но неизвестна его структура. В данной работе мы предлагаем способ построения конечного автомата, соответствующего полуавтомату-спецификации, и показываем, что конечные тесты, построенные по такому автомату без явного перечисления полуавтоматов-реализаций, являются полными относительно различных моделей неисправности.
Ключевые слова:
входо-выходной полуавтомат, конечный автомат, модель неисправности, полный тест
