Условные эксперименты и тесты для автоматных моделей Максим Громов

В данной работе рассматривается вопрос синтеза условных различающих экспериментов для трёх автоматных моделей с недетерминированным поведением: входо-выходных полуавтоматов с молчанием, конечных автоматов и временных автоматов. Такие эксперименты могут использоваться для синтеза условных проверяющих и диагностических тестов для дискретных систем, допускающих автоматное описание поведения. Эксперименты предлагается описывать полуавтоматом, автоматом или временным автоматом, в зависимости от того, какая модель использована для описания системы. Предлагаются алгоритмы построения различающих экспериментов и доказываются критерии существования условных различающих экспериментов для двух заданных полуавтоматов, двух автоматов и двух временных автоматов. Кроме того, на примере конечных автоматов показывается, как условные различающие эксперименты могут быть использованы для построения проверяющих и диагностических тестов в простых случаях модели неисправности. Это и многое другое вы найдете в книге Условные эксперименты и тесты для автоматных моделей (Максим Громов)