Динамическое создание EFSM для MBT

Question

В примере, который я пытаюсь смоделировать, сложность модели увеличивается экспоненциально с каждым шагом, предпринятым в FSM. Однако правила для того, как растет FSM, легко описывать в коде, но невозможно моделировать вручную. То, что делает модель трудной для создания вручную, - это большое количество переходов, которые возможны с каждого узла по мере продвижения FSM. Число состояний не так много, но количество переходов огромно!

Я пытаюсь использовать ModelJUnit, но насколько я могу понять, этот инструмент поддерживает только предварительно определенные модели.

Итак, мой вопрос в том, есть ли какие-либо средства тестирования на основе моделей, которые поддерживают динамическое создание FSM для тестируемой системы, как описано выше?

Answer 1

Ваша проблема очень типична. Примером может служить контроллер/программное обеспечение, которое определяет положение переключателя в транспортном средстве - положение P R N D необходимо определить из электрических переходов рычага. Если вы принимаете во внимание прыжки через переходы и электрические неисправности, вы получаете большое/бесконечное пространство. Этот вид программного обеспечения имеет максимально высокий уровень безопасности, поскольку он может привести к непреднамеренному крутящему моменту.

Инструменты, такие как ModelJUnit, NUnit и т. Д., Полезны для образовательных/инструментальных целей. Вы можете изучить код, отредактировать его и реализовать свои собственные экспериментальные алгоритмы.

С другой стороны немодифицированных они не могут справиться с этой проблемой вы упоминаете: состояние пространства/переходный взрыв и т.д. Именно поэтому профессиональные инструменты используют очень сложные методы для обработки больших/бесконечные пространств:

• полного символического геологоразведочные
• ограничений решатели
• нарезка

Они часто дают результаты, такие как покрытия требования, тс/DC даже на бесконечных моделях, becau se алгоритмы не должны расширять пространство во время разведки. Примеры инструментов, которые вы можете искать являются:

• Conformiq
• Spec Проводник