Package statechum.xmachine.model.testset

Examples of statechum.xmachine.model.testset.WMethod


   * @param hypothesis followed by actual graph
   */
  public static void main(String[] args) {
    DirectedSparseGraph specGraph = TestFSMAlgo.buildGraph("A-a->B-b->C\nA-b->C", "specGraph");
    DirectedSparseGraph impGraph = TestFSMAlgo.buildGraph("A-a->B-b->C\nA-b->C", "impGraph");
    WMethod wm = new WMethod(impGraph,1);
    Collection<List<String>> testset = wm.getFullTestSet();
    testset.addAll(wm.getTransitionCover());
    PrecisionRecall pr = computePrecisionRecall(specGraph, impGraph, testset);
    System.out.println("precision: "+pr.getPrecision()+", recall: "+pr.getRecall());
    printTests(wm.getFullTestSet());
   
  }
View Full Code Here

TOP

Related Classes of statechum.xmachine.model.testset.WMethod

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.