Examples of nextMachine()

Examples of statechum.analysis.learning.experiments.mutation.DiffExperiments.MachineGenerator.nextMachine()

646
647
648
649
650
651
652
653
654
655
656
      ThreadResult outcome = new ThreadResult();
      Label uniqueFromInitial = null;
      MachineGenerator mg = new MachineGenerator(states, 400 , (int)Math.round((double)states/5));mg.setGenerateConnected(true);
      do
      {
        referenceGraph = mg.nextMachine(alphabet,seed, config, converter).pathroutines.buildDeterministicGraph();// reference graph has no reject-states, because we assume that undefined transitions lead to reject states.
        if (pickUniqueFromInitial)
        {
          Map<Label,CmpVertex> uniques = uniqueFromState(referenceGraph);
          if(!uniques.isEmpty())
          {
View Full Code Here

Examples of statechum.analysis.learning.experiments.mutation.DiffExperiments.MachineGenerator.nextMachine()

1613
1614
1615
1616
1617
1618
1619
1620
1621
1622
1623
    @Test
    public final void testRandomFSMMergers() throws IncompatibleStatesException
    {
      final int states = 50;
      MachineGenerator mg = new MachineGenerator(states, 400 , (int)Math.round((double)states/5));mg.setGenerateConnected(true);
      LearnerGraph referenceGraph = mg.nextMachine(states/2,fsmNumber, config,getLabelConverter()).pathroutines.buildDeterministicGraph();// reference graph has no reject-states, in the mergers below we can still attempt to merge arbitrary subsets of states.

      for(CmpVertex a:referenceGraph.transitionMatrix.keySet())
        for(CmpVertex b:referenceGraph.transitionMatrix.keySet())
        {
          Collection<AMEquivalenceClass<CmpVertex,LearnerGraphCachedData>> verticesToMerge = new LinkedList<AMEquivalenceClass<CmpVertex,LearnerGraphCachedData>>();
View Full Code Here

Examples of statechum.analysis.learning.experiments.mutation.DiffExperiments.MachineGenerator.nextMachine()

180
181
182
183
184
185
186
187
188
189
190
      final int tracesAlphabet = (int)(tracesAlphabetMultiplier*states);
     
      LearnerGraph referenceGraph = null;
      ThreadResult outcome = new ThreadResult();
      MachineGenerator mg = new MachineGenerator(states, 400 , (int)Math.round((double)states/5));mg.setGenerateConnected(true);
      referenceGraph = mg.nextMachine(alphabet,seed, config, converter).pathroutines.buildDeterministicGraph();// reference graph has no reject-states, because we assume that undefined transitions lead to reject states.
     
      LearnerEvaluationConfiguration learnerEval = new LearnerEvaluationConfiguration(config);learnerEval.setLabelConverter(converter);
      final Collection<List<Label>> testSet = PaperUAS.computeEvaluationSet(referenceGraph,states*3,makeEven(states*tracesAlphabet));
     
     
 
View Full Code Here

Examples of statechum.analysis.learning.experiments.mutation.DiffExperiments.MachineGenerator.nextMachine()

1817
1818
1819
1820
1821
1822
1823
1824
1825
1826
1827
      Label uniqueFromInitial = null;
      Timer timerToDetectLongRunningAutomata = new Timer("timer_to_detect_lengthy_tasks");
      MachineGenerator mg = new MachineGenerator(states, 400 , (int)Math.round((double)states/5));mg.setGenerateConnected(true);
      do
      {
        referenceGraph = mg.nextMachine(alphabet,seed, config, converter).pathroutines.buildDeterministicGraph();// reference graph has no reject-states, because we assume that undefined transitions lead to reject states.
        if (pickUniqueFromInitial)
        {
          Map<Label,CmpVertex> uniques = uniqueFromState(referenceGraph);
          if(!uniques.isEmpty())
          {
View Full Code Here

Examples of statechum.analysis.learning.experiments.mutation.DiffExperiments.MachineGenerator.nextMachine()

174
175
176
177
178
179
180
181
182
183
184
      final int tracesAlphabet = (int)(tracesAlphabetMultiplier*states);
     
      LearnerGraph referenceGraph = null;
      ThreadResult outcome = new ThreadResult();
      MachineGenerator mg = new MachineGenerator(states, 400 , (int)Math.round((double)states/5));mg.setGenerateConnected(true);
      referenceGraph = mg.nextMachine(alphabet,seed, config, converter).pathroutines.buildDeterministicGraph();// reference graph has no reject-states, because we assume that undefined transitions lead to reject states.
     
      LearnerEvaluationConfiguration learnerEval = new LearnerEvaluationConfiguration(config);learnerEval.setLabelConverter(converter);
      final Collection<List<Label>> testSet = PaperUAS.computeEvaluationSet(referenceGraph,states*3,makeEven(states*tracesAlphabet));

      for(int attempt=0;attempt<2;++attempt)
View Full Code Here

Examples of statechum.analysis.learning.experiments.mutation.DiffExperiments.MachineGenerator.nextMachine()

646
647
648
649
650
651
652
653
654
655
656
      ThreadResult outcome = new ThreadResult();
      Label uniqueFromInitial = null;
      MachineGenerator mg = new MachineGenerator(states, 400 , (int)Math.round((double)states/5));mg.setGenerateConnected(true);
      do
      {
        referenceGraph = mg.nextMachine(alphabet,seed, config, converter).pathroutines.buildDeterministicGraph();// reference graph has no reject-states, because we assume that undefined transitions lead to reject states.
        if (pickUniqueFromInitial)
        {
          Map<Label,CmpVertex> uniques = uniqueFromState(referenceGraph);
          if(!uniques.isEmpty())
          {
View Full Code Here

Examples of statechum.analysis.learning.experiments.mutation.DiffExperiments.MachineGenerator.nextMachine()

1689
1690
1691
1692
1693
1694
1695
1696
1697
1698
1699
      Label uniqueFromInitial = null;
      Timer timerToDetectLongRunningAutomata = new Timer("timer_to_detect_lengthy_tasks");
      MachineGenerator mg = new MachineGenerator(states, 400 , (int)Math.round((double)states/5));mg.setGenerateConnected(true);
      do
      {
        referenceGraph = mg.nextMachine(alphabet,seed, config, converter).pathroutines.buildDeterministicGraph();// reference graph has no reject-states, because we assume that undefined transitions lead to reject states.
        if (pickUniqueFromInitial)
        {
          Map<Label,CmpVertex> uniques = uniqueFromState(referenceGraph);
          if(!uniques.isEmpty())
          {
View Full Code Here

Examples of statechum.analysis.learning.experiments.mutation.DiffExperiments.MachineGenerator.nextMachine()

917
918
919
920
921
922
923
924
925
926
927
      ThreadResult outcome = new ThreadResult();
      Label uniqueFromInitial = null;
      MachineGenerator mg = new MachineGenerator(states, 400 , (int)Math.round((double)states/5));mg.setGenerateConnected(true);
      do
      {
        referenceGraph = mg.nextMachine(alphabet,seed, config, converter).pathroutines.buildDeterministicGraph();// reference graph has no reject-states, because we assume that undefined transitions lead to reject states.
        if (pickUniqueFromInitial)
        {
          Map<Label,CmpVertex> uniques = uniqueFromState(referenceGraph);
          if(!uniques.isEmpty())
          {
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.