The trace is not accepted by the inferred model

[donghwan-shin]

Hello,

I found that a trace is not accepted by the model inferred from the trace. You can check the followings for details.

• Input (test_input.txt)

types
event0 
event1 val0:S
trace
event1 X
event1 Y
event0 
event1 Y
event0 
event1 Y
event0 
event1 X
trace
event1 X
event1 Y
event0 
event1 Y
event0 
event1 Y
event0 
event1 X
trace
event1 X
event1 Y
event0 
event1 Y
event0 
event1 Y
event0 
event1 X

• Command
  mvn -f mint-inference/pom.xml clean compile exec:java -Dexec.mainClass=mint.app.Mint -Dexec.args="-input test_input.txt -algorithm J48 -k 2"

• Actual output

...
digraph Automaton {
  0 [label="0",shape=doublecircle];
  initial [shape=plaintext];
  initial -> 0
  0 -> 1 [label="event1\n((val0==X))"]
  1 [label="1",shape=circle];
  1 -> 2 [label="event1\n((val0==Y))"]
  2 [label="2",shape=doublecircle];
  2 -> 1 [label="event0"]
}
...

• EFSM from the actual output
  

Note that the final log message event1 X cannot be consumed by the model.

Can we fix this issue?

Thanks,
Donghwan

[neilwalkinshaw]

Thanks Donghwan,

Yes - this is a genuine problem. There is a work-around, which involves putting a "dummy" event at the end of each trace:

types
event0
event1 val0:S
end
trace
event1 X
event1 Y
event0
event1 Y
event0
event1 Y
event0
event1 X
end
trace
event1 X
event1 Y
event0
event1 Y
event0
event1 Y
event0
event1 X
end
trace
event1 X
event1 Y
event0
event1 Y
event0
event1 Y
event0
event1 X
end

But, I will work a better solution into the code in the meantime.

[donghwan-shin]

Sorry for the late reply. Your bypassing solution works well for now. Thank you!