Описание тега model-based-testing
2
ответа
Тестирование доменных языков
Я разработал графический предметно-ориентированный язык. Я хочу использовать это для модельного дизайна. У меня есть ряд графических компонентов, которые содержат абстрактную информацию о домене, и эти компоненты используются для реализации моих алг…
23 июл '14 в 11:28
4
ответа
Алгоритм обхода всех ребер графа
Как личный пасхальный проект, я пытаюсь реализовать тестирование на основе моделей на работе. Я реализовал график в Python, и мне нужно пройти все ребра / сделать все переходы графа, по крайней мере, один раз. Обход ребра дважды или более не имеет з…
06 апр '12 в 11:49
0
ответов
Как использовать график, созданный в YED для проекта Graphwalker?
Я был очень озадачен тем, как заставить мой код обходить график для тестирования на основе моделей с использованием graphwalker. Я построил график (e2e.graphml), используя yEd, и скопировал этот файл в свой проект в Eclipse. Я также создал интерфейс…
23 авг '18 в 12:03
1
ответ
Модель на основе тестирования Android
Я создал тестовые случаи, которые мне нужно выполнить. Я написал свои методы тестов, независимые друг от друга, и написание сценариев для выполнения этих методов через adb не помогает, поскольку они не выполняются в порядке последовательности, задан…
21 апр '17 в 01:28
2
ответа
Anylogic присваивает значение всем сущностям, а не только одному
Мой источник имеет следующий код в поле "Вкл при выходе": TRUCK.ID_number = параметр; параметр = параметр + 1; Затем каждый грузовик получит ID: 1, 2, 3, ... Проблема заключается в том, что все грузовики вращаются одновременно, и, похоже, каждый раз…
04 фев '17 в 01:30
1
ответ
Как сбросить список _version, чтобы предотвратить дублирование состояний в Spec Explorer
Я сделал проект Spec Explorer, который имеет список в качестве системной переменной. Почти в каждом правиле этот список адаптирован для получения правильных результатов. Но когда я исследую свой проект, я получаю двойные состояния. Если я сравню эти…
17 мар '15 в 15:37
0
ответов
Модель Junit: распечатать результат DFS из FSM
Я использую DFS-класс Model Junit Librarys для создания связующего дерева из моего FSM. Это мой код: public static void main(String args[]) throws FileNotFoundException { // create our model and a test generation algorithm Tester tester = new Random…
21 апр '16 в 14:17
1
ответ
Не полный набор тестов с Spec Explorer 2010
Я пробую Spec Explorer, и теперь у меня есть эта ошибка, что мой набор тестов неполон. Я не получаю сообщение об ошибке или что-то в этом роде, просто я ожидаю 16 тестов и у меня их всего 11. У меня проблема с примером проекта, который находится в S…
16 сен '14 в 18:58
1
ответ
Динамическое создание EFSM для MBT
В этом примере я пытаюсь смоделировать сложность модели экспоненциально с каждым шагом в FSM. Однако правила того, как растет FSM, легко описать в коде, но невозможно смоделировать вручную. Что делает модель трудной для создания вручную, так это бол…
11 фев '15 в 07:43
1
ответ
Rhapsody TestConductor Опыт
Мне было интересно, кто-нибудь там активно использует Rhapsody TestConductor? Или пробовал какое-то время, но потом решил отказаться по определенной причине? Если да, то каков ваш опыт, в какой области вы его применяете, каковы недостатки или почему…
09 дек '09 в 10:21
1
ответ
Экспорт тестовых скриптов из Spec Explorer
Может кто-нибудь объяснить, как использовать концепцию TestAdapter в Microsoft Spec Explorer, чтобы экспортировать тесты... скажем, в формате.CSV? Я пробовал просматривать, но нигде не получил четких ответов. Предпочитаю получить решение в C#
27 янв '14 в 09:49
6
ответов
Что такое тестирование армии роботов?
Что такое тестирование армии роботов? Где это используется? Как я могу это узнать?
30 окт '09 в 12:09
1
ответ
Spec Explorer: ложные тесты
В данный момент я оцениваю Spec Explorer 2010 от Microsoft Research. Мне немного интересно, как генерируются тестовые случаи. Я играю с моделью тестового образца (Accumulator), созданной SE. Есть метод Accumulator.Add, который добавляет натуральное …
07 дек '12 в 10:27
1
ответ
UMLPackage.Literals.MODEL выдает ошибку java.lang.NoClassDefFoundError
Я хотел бы получить конечный автомат из файла.uml, созданного папирусом. Я анализирую файл model.uml, используя код ниже. ResourceSet set = new ResourceSetImpl(); set.getResourceFactoryRegistry().getExtensionToFactoryMap() .put(UMLResource.FILE_EXTE…
21 май '16 в 04:35
1
ответ
Не удается запустить тест на основе модели
В качестве упражнения я хотел реализовать дерево из 2-3 пальцев. Это должно быть прекрасной возможностью попробовать тестирование FsCheck на основе моделей. Я решил попробовать более новую экспериментальную версию. До сих пор я тестировал только одн…
11 окт '16 в 11:20
1
ответ
Как запустить обе модели Simulink одновременно из командной строки Matlab
У меня есть две модели Simulink (скажем, X и Y), я должен сначала запустить X, и через несколько секунд (скажем, 10 секунд) мне нужно запустить Y, когда X уже находится в фазе выполнения. И это должно быть сделано из командной строки Matlab. Я пытал…
18 сен '17 в 12:28
1
ответ
UML-моделирование для базового тестирования моделей
У меня есть несколько вопросов, касающихся моделирования моей проблемы. Я работаю над дипломным проектом по тестированию на основе моделей. Хотелось бы также узнать с экспертной точки зрения, правильно ли я отношусь к моделированию своего сценария. …
12 май '17 в 19:49
1
ответ
FsCheck. Разница между объектом и моделью
Недавно я слышал о тестировании на основе моделей и искал инструменты, которые могут следовать этому подходу. В результате я нашел FsCheck. На экспериментальной странице автор описывает, как создать тест на основе модели, который можно выполнить. Эт…
23 май '18 в 14:14
1
ответ
Бесплатный инструмент для создания всех путей из диаграммы
Добрый день всем, Несмотря на множество исследований в Интернете, я не нашел решения, которое бы отвечало моим потребностям. Мне нужно найти бесплатный инструмент для моделирования процесса (например, BPMN, диаграмму активности UML) и сгенерировать …
11 фев '20 в 17:46
0
ответов
Управление деятельностью / регистром на основе модели
У меня есть задание, на котором я застрял. Я постараюсь дать точное резюме описания. У клуба есть реестр, содержащий имена и описания каждого члена. Имя - строка, а описание - кортеж (no,yb,ths) no = номер телефона, yb = год рождения -ths = интересу…
23 окт '20 в 16:05