Examples of TracesForSeed


Examples of statechum.analysis.learning.experiments.PaperUAS.TracesForSeed

  /** Both positive and negative traces. */
  @Test
  public void testLoad4()
  {
    paper.loadData(new StringReader("0,UAV3,4, + [[aa],[bb,cc]] - [[zz]]"));
    TracesForSeed tr = paper.collectionOfTraces.get("4");
    Map<Integer,Set<List<Label>>> uav3Positive = constructCollectionOfTraces(tr.tracesForUAVandFrame.get("UAV3"),true);
    Assert.assertEquals(1,uav3Positive.size());
    Assert.assertTrue(TestFSMAlgo.buildSet(new String[][]{new String[]{"aa"},new String[]{"bb","cc"}}, mainConfiguration,converter).equals(
        uav3Positive.get(0)));
    Map<Integer,Set<List<Label>>> uav3Negative = constructCollectionOfTraces(tr.tracesForUAVandFrame.get("UAV3"),false);
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.