Examples of statechum.model.testset.PTASequenceEngine.SequenceSet.crossWithSet()

statechum.model.testset.PTASequenceEngine.SequenceSet.crossWithSet()

  public final void test_stringCollectionSize2()
  {
    fsm = buildLearnerGraph("A-a->A-b->B", "test_sequenceSet3_6",mainConfiguration,converter);
    en = new PTA_FSMStructure(fsm,null);    
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    seq.crossWithSet(labelList(new String[] {"b","a"}))
      .crossWithSet(labelList(new String[] {"b","a"}))
      .crossWithSet(labelList(new String[] {"a","b"}));
    vertifyPTA(en, 6, new String[][] {
        new String[] {"b","b"},
        new String[] {"b","a"},

View Full Code Here


  @Test
  public final void test_sequenceSet3_2() // a more complex composition
  {
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(labelList(new String[] {"b","a","d"}))
      .crossWithSet(labelList(new String[] {"b","a","d"})));
    vertifyPTA(en, 5, new String[][] {
        new String[] {"b"},
        new String[] {"a","a"},
        new String[] {"a","d"},

View Full Code Here

  public final void test_sequenceSet3_3() // a more complex composition
  {
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    SequenceSet temp = seq.crossWithSet(labelList(new String[] {"b","a","d"}));
    SequenceSet temp2 = temp.crossWithSet(labelList(new String[] {"b","a","d"}));
    Map<String,String> actual3 = getDebugDataMap(en,temp2.crossWithSet(labelList(new String[] {"u","a","d"})));
    Map<String,String> actual1 = getDebugDataMap(en,temp);
    Map<String,String> actual2 = getDebugDataMap(en,temp2);
    vertifyPTA(en, 9, new String[][] {
        new String[] {"b"},
        new String[] {"d"},

View Full Code Here

    SequenceSet temp2 = temp.crossWithSet(labelList(new String[] {"u","a","d"}))
    .crossWithSet(labelList(new String[] {"a"}))
    .crossWithSet(labelList(new String[] {"b"}))
    .crossWithSet(labelList(new String[] {"c"}));
    Map<String,String> actual3_1 = getDebugDataMap(en,temp2);// before PTA is updated, the long path should be a leaf ...
    Map<String,String> actual4 = getDebugDataMap(en,temp2.crossWithSet(labelList(new String[] {"b","a"})));
    Map<String,String> actual3_2 = getDebugDataMap(en,temp2);// after it is updated, that path should no longer be a leaf.
    Map<String,String> actual1 = getDebugDataMap(en,temp_0);
    Map<String,String> actual2 = getDebugDataMap(en,temp_1);
    vertifyPTA(en, 11, new String[][] {
        new String[] {"b"},

View Full Code Here

    fsm = buildLearnerGraph("A-a->B-a->A-b-#C\nA-d->M-a->N\nB-b->D-c->E", "test_sequenceSet3_5",mainConfiguration,converter);
    en = new PTA_FSMStructure(fsm,null);    
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    SequenceSet temp2 = seq.crossWithSet(labelList(new String[] {"b","a","d"}))
      .crossWithSet(labelList(new String[] {"b","a","d"}));
    Map<String,String> actual2 = getDebugDataMap(en,temp2.crossWithSet(labelList(new String[] {"a"})));
    Map<String,String> actual1 = getDebugDataMap(en,temp2);
    vertifyPTA(en, 7, new String[][] {
        new String[] {"b"},
        new String[] {"a","a","a"},
        new String[] {"a","b","a"},

View Full Code Here

  public final void test_sequenceSet3_6() // a more complex composition
  {
    fsm = buildLearnerGraph("A-a->A-b->B", "test_sequenceSet3_6",mainConfiguration,converter);
    en = new PTA_FSMStructure(fsm,null);    
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(labelList(new String[] {"b","a"}))
      .crossWithSet(labelList(new String[] {"b","a"}))
      .crossWithSet(labelList(new String[] {"a","b"})));
    vertifyPTA(en, 6, new String[][] {
        new String[] {"b","b"},
        new String[] {"b","a"},

View Full Code Here

          }      
        }); 
      }
    };
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(labelList(new String[] {"b","a"}))
      .crossWithSet(labelList(new String[] {"b","a"})));
    vertifyPTA(en, 1, new String[][] {
        new String[] {"a","b"}
    });
    Map<String,String> expected=TestFSMAlgo.buildStringMap(new Object[][] {

View Full Code Here

    vertifyPTA(filtered, 2, new String[][] {
        new String[] {"a","b"},
        new String[] {"b","b"}
    });
    // now modify the original PTA
    nodeD.crossWithSet(labelList(new String[]{"a","c"}));
    vertifyPTA(en, 2, new String[][] {
        new String[] {"a","b","c"},
        new String[] {"b","b","c"}
    });
    // and check that filtered version is not affected

View Full Code Here

          }      
        }); 
      }
    };
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(labelList(new String[] {"b","a"}))
      .crossWithSet(labelList(new String[] {"b","a"})));
    vertifyPTA(en, 0, new String[][] {
    });
    Map<String,String> expected=TestFSMAlgo.buildStringMap(new Object[][] {
        new Object[]{new String[] {"a","a"}, PTASequenceEngine.DebugDataValues.booleanToString(true, false)},

View Full Code Here

    
    PTASequenceEngine sequences = new PTA_FSMStructureAccept(buildLearnerGraph("A-a->A-b->B-b->B-a-#X / B-c->C-c->C-a-#X / C-b->D-a->D-c->D","testCheckPrecisionRecallBruteForce_reference",mainConfiguration,converter));
    PTASequenceEngine.SequenceSet initSet = sequences.new SequenceSet();initSet.setIdentity();
    Set<Label> alphabet = graph.pathroutines.computeAlphabet();
    for(int i=0;i < 12;++i)
      initSet = initSet.crossWithSet(alphabet);
    
    // Second, we run them on both graphs
    
    PosNegPrecisionRecall bruteForcePR = computePrecisionRecall(graph, sequences);
    PTA_computePrecisionRecall precRec = new PTA_computePrecisionRecall(graph);

View Full Code Here

0 1 2 3 4 5 6 7 8 9

TOP

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.