Hi,
I just use the tool to test some other protocols , I modified the SUL and used TLSTestService.java to fit new protocol , and the test passed. But when I used learner.java to learn its statemachine , it runed but always got stuck .the console showed like this: "INFO: Starting round XX", while the process did not stoped. as a result ,I can't learned the final hypothesis.
after some tests ,i found maybe it got something wrong in learnner.java with using the API refineHypothesis(),
learn()
{
boolean learning= true;
learningAlgorithm.startLearning();
hypothesis = learningAlgorithm.getHypothesisModel();
while(learning)
{
counterExample = equivalenceAlgorithm.findCounterExample();
if(counterExample == null) {
learning= false;
}
else{
result= learningAlgorithm.refineHypothesis(counterExample);
hypothesis = learningAlgorithm.getHypothesisModel();
}
......get the final HypothesisModel.............
}
it always hung up in refineHypothesis(), then i will get someHypothesis but not the final result.
i test the tools in VMware ,ubuntu16.04, i can't find out what's wrong with it , is the jvm's heap used out ?
Thanks!