Questions tagged [model-based-testing]
23 questions
8
votes
4 answers
Algorithm to traverse all edges in a graph
As a personal easter project I'm trying to implement some model-based testing at work. I've got a graph implemented in python and I need to traverse all edges / do all transitions of the graph, at least once. Traversing an edge twice or more does…
kristus
- 447
- 3
- 7
- 11
6
votes
5 answers
What is Robot Army Testing?
What is Robot Army Testing? Where is it used? How can I learn it?
joe
- 34,529
- 29
- 100
- 137
2
votes
1 answer
Exporting test scripts from Spec Explorer
Can someone explain how to use TestAdapter concept in Microsoft's Spec Explorer, to export tests..say, in .CSV format?
I tried browsing through, but no clear answers anywhere. Prefer to get the solution in C#
HappyWaters
- 39
- 4
1
vote
0 answers
How to delay intercepted route indefinitely in Cypress?
Question
I'm trying model based testing approach with Cypress. This means that all test cases are generated on the fly from provided "States" and "Events". States are checking properly and DOM events are triggered as expected, but I have trouble…
Mr. Hedgehog
- 2,644
- 1
- 14
- 18
1
vote
2 answers
Is it possible to transform a UML activity diagram to XML tree in a formal way?
We define test scenarios as UML activity diagrams in order to maintain reusability and understandability. Now, we have to link these diagrams to our Matlab or Visual Studio environment.
Is there any practical way of transforming an activity diagram…
Savas Ozturk
- 41
- 5
1
vote
1 answer
FsCheck. Difference between the object and the model
I have heard recently about Model Based Testing and searched for tools that can follow this approach.
As the result i found FsCheck.
At the Experimental page, the author describes how to create a model based test which can be executed.
That is all…
GrimSmiler
- 561
- 1
- 4
- 21
1
vote
1 answer
Cannot get model based test working
As an exercise I wanted to implement a 2-3 finger tree. That should be the perfect opportunity to try out FsCheck's model-based testing. I decided to try the newer experimental version.
So far I only coded one command for the test machine because I…
primfaktor
- 2,831
- 25
- 34
1
vote
0 answers
Model Junit: print out the DFS result out of the FSM
I am using the Model Junit Librarys DFS class to create a spanning tree out of my FSM.
This is my code:
public static void main(String args[]) throws FileNotFoundException {
// create our model and a test generation algorithm
Tester tester =…
user3026278
- 11
- 3
1
vote
1 answer
How to reset _version list to prevent duplicate states in Spec Explorer
I've made a Spec Explorer project that has a list as system variable. Almost in every rule this list is adapted to get the correct results. But when I explore my project I get duplicate states. If I compare these states the only difference I find…
Kyra
- 173
- 2
- 16
1
vote
1 answer
Dynamically creating EFSM for MBT
In the example im trying to model the complexity of the model increases expontentially with every step taken in the FSM. However the rules for how the FSM grows are easy to describe in code but impossible to model by hand. What makes the model hard…
user3139545
- 6,882
- 13
- 44
- 87
1
vote
1 answer
Not complete test suite with Spec Explorer 2010
I’m trying out Spec Explorer, and now I have this bug that my test suite is incomplete. I don't get an error or anything, it’s just that I would expect 16 test cases and I only have 11 of them.
The problem I have is with the sample project that is…
Kyra
- 173
- 2
- 16
1
vote
1 answer
Spec Explorer: False tests
At the moment, I'm evaluating Spec Explorer 2010 by Microsoft Research. I'm a bit wondered how test cases are generated.
I'm playing around with the test sample model (Accumulator) generated by SE. There's a method Accumulator.Add which adds a…
mbue
- 1,591
- 2
- 14
- 34
0
votes
0 answers
In the loop vs. A-SPICE processes
Can the HIL,SIL, and MIL tests be matched with SWE4,SWE5,SWE6(static analysis, unit testing, integration testing, qualification testing) processes? For instance can Unit Tests(ceedling, Google tests) be considered as MIL test?
I am trying to…
saidediz
- 1
0
votes
1 answer
"Missing config for event" using @xstate/test
I'm testing a state machine using model-based testing using @xstate/test and @testing-library/react.
Basically, I'm testing this machine:
const itemDamagedMachine = createMachine({
initial: 'newModal',
context: {
productScan: '',
…
Thanh-Quy Nguyen
- 2,995
- 7
- 30
- 46
0
votes
1 answer
Free tool to generate all paths from a diagram
Good afternoon everyone,
Dispite a lot of research on the web I didn't found a solution that meets my need.
I need to find a free tool to modelize process (like BPMN, UML activity diagram) and generate all possible paths/combinations from the…
Royce
- 1,557
- 5
- 19
- 44