model-based-testing

1зной

1ответ

Не удается получить тест на основе модели

В качестве упражнения я хотел реализовать 2-3 пальца. Это должна быть прекрасная возможность опробовать моделирование FsCheck. Я решил попробовать новый experimental version. До сих пор я только кодир

0зной

2ответ

Anylogic присваивает значение всем объектам, а не только одному

Мой источник имеет следующий код в поле «Вкл. При выходе»: TRUCK.ID_number = параметр; параметр = параметр + 1; Затем каждый грузовик получит ID: 1, 2, 3, ... Проблема заключается в том, что все грузо

1зной

1ответ

Как сбросить список _version для предотвращения повторяющихся состояний в Spec Explorer

Я создал проект Spec Explorer, который имеет список как системную переменную. Почти во всех правилах этот список адаптирован для получения правильных результатов. Но когда я исследую свой проект, я по

0зной

1ответ

Rhapsody TestConductor Experience

Мне было интересно, активно ли кто-нибудь там использует Rhapsody TestConductor? Или попробовал это какое-то время, но потом решил отказаться от него по определенной причине? Если это так, Что вы дума

1зной

1ответ

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

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