Package statechum.analysis.learning.experiments.mutation.GraphMutator

Examples of statechum.analysis.learning.experiments.mutation.GraphMutator.ChangesRecorderAsCollectionOfTransitions

415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
 
  void linearDiff(LearnerGraphND from, LearnerGraphND to, Set<Transition> expectedMutations, ExperimentResult outcome)
  {
    GD<List<CmpVertex>,List<CmpVertex>,LearnerGraphNDCachedData,LearnerGraphNDCachedData> gd = new GD<List<CmpVertex>,List<CmpVertex>,LearnerGraphNDCachedData,LearnerGraphNDCachedData>();
    ChangesCounter<List<CmpVertex>,List<CmpVertex>,LearnerGraphNDCachedData,LearnerGraphNDCachedData>  rec3 = new ChangesCounter<List<CmpVertex>,List<CmpVertex>,LearnerGraphNDCachedData,LearnerGraphNDCachedData>(from,to,null);
    ChangesRecorderAsCollectionOfTransitions cd = new ChangesRecorderAsCollectionOfTransitions(rec3,false);
    final long startTime = System.nanoTime();
    gd.computeGD(from, to, ExperimentRunner.getCpuNumber(), cd, config);
    final long endTime = System.nanoTime();
   
    //displayDiff(from,to);
    outcome.setValue(LONG_V.DURATION_GD,endTime - startTime);
    Set<Transition> detectedDiff = cd.getDiff();
   
    outcome.experimentValid=true;outcome.setValue(DOUBLE_V.MUTATIONS_TO_TRANSITIONS,((double)expectedMutations.size())/from.pathroutines.countEdges());
    Map<CmpVertex,CmpVertex> keyPairs = gd.getKeyPairs();int mismatchedKeyPairs=0;
    for(Entry<CmpVertex,CmpVertex> pair:keyPairs.entrySet())
      if (!pair.getKey().getStringId().equals("o"+pair.getValue().getStringId()) && !pair.getValue().getStringId().startsWith("added"))
View Full Code Here
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
 
  void linearDiff(LearnerGraphND from, LearnerGraphND to, Set<Transition> expectedMutations, ExperimentResult outcome)
  {
    GD<List<CmpVertex>,List<CmpVertex>,LearnerGraphNDCachedData,LearnerGraphNDCachedData> gd = new GD<List<CmpVertex>,List<CmpVertex>,LearnerGraphNDCachedData,LearnerGraphNDCachedData>();
    ChangesCounter<List<CmpVertex>,List<CmpVertex>,LearnerGraphNDCachedData,LearnerGraphNDCachedData>  rec3 = new ChangesCounter<List<CmpVertex>,List<CmpVertex>,LearnerGraphNDCachedData,LearnerGraphNDCachedData>(from,to,null);
    ChangesRecorderAsCollectionOfTransitions cd = new ChangesRecorderAsCollectionOfTransitions(rec3,false);
    final long startTime = System.nanoTime();
    gd.computeGD(from, to, ExperimentRunner.getCpuNumber(), cd, config);
    final long endTime = System.nanoTime();
   
    //displayDiff(from,to);
    outcome.setValue(LONG_V.DURATION_GD,endTime - startTime);
    Set<Transition> detectedDiff = cd.getDiff();
   
    outcome.experimentValid=true;outcome.setValue(DOUBLE_V.MUTATIONS_TO_TRANSITIONS,((double)expectedMutations.size())/from.pathroutines.countEdges());
    Map<CmpVertex,CmpVertex> keyPairs = gd.getKeyPairs();int mismatchedKeyPairs=0;
    for(Entry<CmpVertex,CmpVertex> pair:keyPairs.entrySet())
      if (!pair.getKey().getID().toString().equals("o"+pair.getValue().getID().toString()) && !pair.getValue().getID().toString().startsWith("added"))
View Full Code Here
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
 
  void linearDiff(LearnerGraphND from, LearnerGraphND to, Set<Transition> expectedMutations, ExperimentResult outcome)
  {
    GD<List<CmpVertex>,List<CmpVertex>,LearnerGraphNDCachedData,LearnerGraphNDCachedData> gd = new GD<List<CmpVertex>,List<CmpVertex>,LearnerGraphNDCachedData,LearnerGraphNDCachedData>();
    ChangesCounter<List<CmpVertex>,List<CmpVertex>,LearnerGraphNDCachedData,LearnerGraphNDCachedData>  rec3 = new ChangesCounter<List<CmpVertex>,List<CmpVertex>,LearnerGraphNDCachedData,LearnerGraphNDCachedData>(from,to,null);
    ChangesRecorderAsCollectionOfTransitions cd = new ChangesRecorderAsCollectionOfTransitions(rec3,false);
    final long startTime = System.nanoTime();
    gd.computeGD(from, to, ExperimentRunner.getCpuNumber(), cd, config);
    final long endTime = System.nanoTime();
   
    //displayDiff(from,to);
    outcome.setValue(LONG_V.DURATION_GD,endTime - startTime);
    Set<Transition> detectedDiff = cd.getDiff();
   
    outcome.experimentValid=true;outcome.setValue(DOUBLE_V.MUTATIONS_TO_TRANSITIONS,((double)expectedMutations.size())/from.pathroutines.countEdges());
    Map<CmpVertex,CmpVertex> keyPairs = gd.getKeyPairs();int mismatchedKeyPairs=0;
    for(Entry<CmpVertex,CmpVertex> pair:keyPairs.entrySet())
      if (!pair.getKey().getID().toString().equals("o"+pair.getValue().getID().toString()) && !pair.getValue().getID().toString().startsWith("added"))
View Full Code Here
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
 
  void linearDiff(LearnerGraphND from, LearnerGraphND to, Set<Transition> expectedMutations, ExperimentResult outcome)
  {
    GD<List<CmpVertex>,List<CmpVertex>,LearnerGraphNDCachedData,LearnerGraphNDCachedData> gd = new GD<List<CmpVertex>,List<CmpVertex>,LearnerGraphNDCachedData,LearnerGraphNDCachedData>();
    ChangesCounter<List<CmpVertex>,List<CmpVertex>,LearnerGraphNDCachedData,LearnerGraphNDCachedData>  rec3 = new ChangesCounter<List<CmpVertex>,List<CmpVertex>,LearnerGraphNDCachedData,LearnerGraphNDCachedData>(from,to,null);
    ChangesRecorderAsCollectionOfTransitions cd = new ChangesRecorderAsCollectionOfTransitions(rec3,false);
    final long startTime = System.nanoTime();
    gd.computeGD(from, to, ExperimentRunner.getCpuNumber(), cd, config);
    final long endTime = System.nanoTime();
   
    //displayDiff(from,to);
    outcome.setValue(LONG_V.DURATION_GD,endTime - startTime);
    Set<Transition> detectedDiff = cd.getDiff();
   
    outcome.experimentValid=true;outcome.setValue(DOUBLE_V.MUTATIONS_TO_TRANSITIONS,((double)expectedMutations.size())/from.pathroutines.countEdges());
    Map<CmpVertex,CmpVertex> keyPairs = gd.getKeyPairs();int mismatchedKeyPairs=0;
    for(Entry<CmpVertex,CmpVertex> pair:keyPairs.entrySet())
      if (!pair.getKey().getStringId().equals("o"+pair.getValue().getStringId()) && !pair.getValue().getStringId().startsWith("added"))
View Full Code Here
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
 
  void linearDiff(LearnerGraphND from, LearnerGraphND to, Set<Transition> expectedMutations, ExperimentResult outcome)
  {
    GD<List<CmpVertex>,List<CmpVertex>,LearnerGraphNDCachedData,LearnerGraphNDCachedData> gd = new GD<List<CmpVertex>,List<CmpVertex>,LearnerGraphNDCachedData,LearnerGraphNDCachedData>();
    ChangesCounter<List<CmpVertex>,List<CmpVertex>,LearnerGraphNDCachedData,LearnerGraphNDCachedData>  rec3 = new ChangesCounter<List<CmpVertex>,List<CmpVertex>,LearnerGraphNDCachedData,LearnerGraphNDCachedData>(from,to,null);
    ChangesRecorderAsCollectionOfTransitions cd = new ChangesRecorderAsCollectionOfTransitions(rec3,false);
    final long startTime = System.nanoTime();
    gd.computeGD(from, to, ExperimentRunner.getCpuNumber(), cd, config);
    final long endTime = System.nanoTime();
   
    //displayDiff(from,to);
    outcome.setValue(LONG_V.DURATION_GD,endTime - startTime);
    Set<Transition> detectedDiff = cd.getDiff();
   
    outcome.experimentValid=true;outcome.setValue(DOUBLE_V.MUTATIONS_TO_TRANSITIONS,((double)expectedMutations.size())/from.pathroutines.countEdges());
    Map<CmpVertex,CmpVertex> keyPairs = gd.getKeyPairs();int mismatchedKeyPairs=0;
    for(Entry<CmpVertex,CmpVertex> pair:keyPairs.entrySet())
      if (!pair.getKey().getStringId().equals("o"+pair.getValue().getStringId()) && !pair.getValue().getStringId().startsWith("added"))
View Full Code Here
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
 
  void linearDiff(LearnerGraphND from, LearnerGraphND to, Set<Transition> expectedMutations, ExperimentResult outcome)
  {
    GD<List<CmpVertex>,List<CmpVertex>,LearnerGraphNDCachedData,LearnerGraphNDCachedData> gd = new GD<List<CmpVertex>,List<CmpVertex>,LearnerGraphNDCachedData,LearnerGraphNDCachedData>();
    ChangesCounter<List<CmpVertex>,List<CmpVertex>,LearnerGraphNDCachedData,LearnerGraphNDCachedData>  rec3 = new ChangesCounter<List<CmpVertex>,List<CmpVertex>,LearnerGraphNDCachedData,LearnerGraphNDCachedData>(from,to,null);
    ChangesRecorderAsCollectionOfTransitions cd = new ChangesRecorderAsCollectionOfTransitions(rec3,false);
    final long startTime = System.nanoTime();
    gd.computeGD(from, to, ExperimentRunner.getCpuNumber(), cd, config);
    final long endTime = System.nanoTime();
   
    //displayDiff(from,to);
    outcome.setValue(LONG_V.DURATION_GD,endTime - startTime);
    Set<Transition> detectedDiff = cd.getDiff();
   
    outcome.experimentValid=true;outcome.setValue(DOUBLE_V.MUTATIONS_TO_TRANSITIONS,((double)expectedMutations.size())/from.pathroutines.countEdges());
    Map<CmpVertex,CmpVertex> keyPairs = gd.getKeyPairs();int mismatchedKeyPairs=0;
    for(Entry<CmpVertex,CmpVertex> pair:keyPairs.entrySet())
      if (!pair.getKey().getStringId().equals("o"+pair.getValue().getStringId()) && !pair.getValue().getStringId().startsWith("added"))
View Full Code Here
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
 
  void linearDiff(LearnerGraphND from, LearnerGraphND to, Set<Transition> expectedMutations, ExperimentResult outcome)
  {
    GD<List<CmpVertex>,List<CmpVertex>,LearnerGraphNDCachedData,LearnerGraphNDCachedData> gd = new GD<List<CmpVertex>,List<CmpVertex>,LearnerGraphNDCachedData,LearnerGraphNDCachedData>();
    ChangesCounter<List<CmpVertex>,List<CmpVertex>,LearnerGraphNDCachedData,LearnerGraphNDCachedData>  rec3 = new ChangesCounter<List<CmpVertex>,List<CmpVertex>,LearnerGraphNDCachedData,LearnerGraphNDCachedData>(from,to,null);
    ChangesRecorderAsCollectionOfTransitions cd = new ChangesRecorderAsCollectionOfTransitions(rec3,false);
    final long startTime = System.nanoTime();
    gd.computeGD(from, to, ExperimentRunner.getCpuNumber(), cd, config);
    final long endTime = System.nanoTime();
   
    //displayDiff(from,to);
    outcome.setValue(LONG_V.DURATION_GD,endTime - startTime);
    Set<Transition> detectedDiff = cd.getDiff();
   
    outcome.experimentValid=true;outcome.setValue(DOUBLE_V.MUTATIONS_TO_TRANSITIONS,((double)expectedMutations.size())/from.pathroutines.countEdges());
    Map<CmpVertex,CmpVertex> keyPairs = gd.getKeyPairs();int mismatchedKeyPairs=0;
    for(Entry<CmpVertex,CmpVertex> pair:keyPairs.entrySet())
      if (!pair.getKey().getStringId().equals("o"+pair.getValue().getStringId()) && !pair.getValue().getStringId().startsWith("added"))
View Full Code Here
TOP

Related Classes of statechum.analysis.learning.experiments.mutation.GraphMutator.ChangesRecorderAsCollectionOfTransitions

  • statechum.analysis.learning.experiments.mutation.DiffExperiments
    • 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.