О различимости систем переходов с недетерминированным поведением
Аннотация:
При синтезе тестов для проверки функциональных и нефункциональных требований для компонентов распределенных систем особое значение имеет понятие различимости, поскольку должна быть возможность отличить правильно функционирующий компонент от неправильно функционирующего, и при активном тестировании для этого используются специальные различающие эксперименты. Такие эксперименты хорошо исследованы для детерминированных и полностью определенных автоматов, однако компоненты распределенных систем часто описываются только частично и имеют недетерминированное поведение. В этой работе мы рассматриваем модель входо-выходного полуавтомата и вводим понятие (адаптивной) разделяющей последовательности для двух таких полуавтоматов, при однократной подаче которой можно однозначно распознать, какой из двух полуавтоматов представлен для эксперимента.