Package net.sf.parteg.base.testcasegraph.generated

Examples of net.sf.parteg.base.testcasegraph.generated.TCGRealNode

121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
        if(colElements != null) {
          // evaluate all found references
          for(TCGElement oElement : colElements)
          {
            TestCaseRegion oRegion = null;
            TCGRealNode oNode = null;
            TCGTransition oTransition = null;
           
            if(oElement instanceof TCGRealNode)
            {
              oNode = (TCGRealNode)oElement;
              oRegion = oNode.getContainer();
            }
            else if(oElement instanceof TCGTransition)
            {
              oTransition = (TCGTransition)oElement;
              oRegion = oTransition.getContainer();
View Full Code Here
140
141
142
143
144
145
146
147
148
149
150
151
           LinkedList<Pair<TCGTransition, TCGNode>> adjancentNodesAndTransitions =
               new LinkedList<Pair<TCGTransition, TCGNode>>();
          
         //Check final state of composite state
           if(currentPath.getLast().getSecond().getOriginalNode() instanceof FinalState && modelDepth > 0){
          TCGRealNode oCompositeState = TCGNodeHelperClass.getSuperState(currentPath.getLast().getSecond());
          for (TCGTransition oTran : oCompositeState.getOutgoingTransitions()) {
              if (numberOfNodeInList(visitedNodeByAlgorithm, oTran.getTargetNode())  <= numberOfAllowedIteration){
                adjancentNodesAndTransitions.add(new Pair<TCGTransition, TCGNode>(oTran, oTran.getTargetNode()));
               }
          }
         }
View Full Code Here
216
217
218
219
220
221
222
223
224
225
226
227
228
229
                    depthFirst(currentPath);
                 }
               }
               else if(oPair.getSecond() instanceof TCGRealNode) { //the type of node is vertex
                
                  TCGRealNode oTR = (TCGRealNode) oPair.getSecond();
                  TestCaseGraph subGraph = oTR.getSubGraph();
                  if(subGraph == null)
                    subGraph = oTR.getReferencedSubmachine();
                 
                  if(subGraph != null) { //node is composite state (1)
                    modelDepth++;
                       for (TestCaseRegion oRegion : subGraph.getRegions()) {
                      for (TCGIntermediateNode oInitNode : TCGRegionHelperClass.findInitialNodes(oRegion)) {
View Full Code Here
32
33
34
35
36
37
38
39
40
41
42
43
44
      result.append("\n");
    }
    result.append("\n");
    for (TCGNode oNode : sm.getAllNodes()){
      if(oNode instanceof TCGRealNode){
        TCGRealNode oRealNode = (TCGRealNode) oNode;
        if(oRealNode.getCondition() != null && !oRealNode.getCondition().getConjunctions().isEmpty()){
          if(oRealNode.getCondition().getOriginalExpression() != null){
            result.append(ConvertToAMPL.stateToAMPL(oRealNode));
            result.append("\n");
          }
        }
      }
View Full Code Here
27
28
29
30
31
32
33
34
35
36
37
38
39
 
  private static boolean compareToUpperRegion(
      TestCaseRegion in_oCurrent,
      TestCaseRegion in_oRegion1,
      TestCaseRegion in_oRegion2) {
    TCGRealNode oNode = in_oCurrent.getContainer().getCompositeSuperState();
    if(oNode != null) {
      TestCaseRegion oTmp = oNode.getContainer();
      if(oTmp.equals(in_oRegion2))
        return true;
      if(!oTmp.equals(in_oRegion1)) {
        if(compareToUpperRegion(oTmp, in_oRegion1, in_oRegion2) == true)
          return true;
View Full Code Here
56
57
58
59
60
61
62
63
64
65
66
67
68
69
      TCGTransition in_oTransition)
  {
    List<TCGNode> colTargetNodes = new ArrayList<TCGNode>();
    TCGNode oTargetNode = in_oTransition.getTargetNode();
    if(oTargetNode instanceof TCGRealNode) {
      TCGRealNode oRealTargetNode = (TCGRealNode)oTargetNode;
      TestCaseGraph oTCG = oRealTargetNode.getSubGraph();
      if(oTCG == null) {
        oTCG = oRealTargetNode.getReferencedSubmachine();
      }
      if(oTCG != null) {
        for(TestCaseRegion oRegion : oTCG.getRegions()) {
          colTargetNodes.addAll(TCGRegionHelperClass.findInitialNodes(oRegion));
        }
View Full Code Here
134
135
136
137
138
139
140
141
142
143
144
145
        }
      }*/
      //moderate state invariants
      TCGNode oNode = pair.getSecond();
      if(oNode instanceof TCGRealNode){
        TCGRealNode oRealNode = (TCGRealNode) oNode;
        if(oRealNode.getCondition() != null && !oRealNode.getCondition().getConjunctions().isEmpty()){
          sb.append("      assertEquals(true, " + ConvertTCGOCLExpressionToString.constraintVisitor(oRealNode.getCondition().getOriginalExpression()) + ");\n");
        }
      }
    }   
  }
View Full Code Here
54
55
56
57
58
59
60
61
62
63
64
65
66
        amplPathForPost.put(oTran, places);
      }
      //state invariant
      TCGNode oNode = oPair.getSecond();
      if(oNode instanceof TCGRealNode){
        TCGRealNode oRealNode = (TCGRealNode) oNode;
        if(oRealNode.getCondition() != null && !oRealNode.getCondition().getConjunctions().isEmpty()){
          if(oRealNode.getCondition().getOriginalExpression() != null){           
            Set<Integer> places = null;
            if (amplPathForStateInv.containsKey(oRealNode))
              places = amplPathForStateInv.get(oRealNode);
            if (places == null)
              places = new HashSet<Integer>();
View Full Code Here
190
191
192
193
194
195
196
197
198
199
    return colEvents;
  }
 
  public TCGRealNode addRealNode(TestCaseRegion in_oRegion)
  {
    TCGRealNode oNode = GeneratedFactory.eINSTANCE.createTCGRealNode();
    in_oRegion.getNodes().add(oNode);
    oNode.setContainer(in_oRegion);
    return oNode;
  }
View Full Code Here
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
  }

  private void replaceInitialNodesWithConnectionPointsInRegion(TestCaseRegion in_oRegion) {
    for(TCGNode oNode : in_oRegion.getNodes()) {
      if(oNode instanceof TCGRealNode) {
        TCGRealNode oRealNode = (TCGRealNode)oNode;
        TestCaseGraph oSubGraph = oRealNode.getSubGraph();
        if(oSubGraph != null) {
          // check all sub-regions
          // TODO parallel sub-regions!!!
          if(!oSubGraph.getRegions().isEmpty()) {
            TestCaseRegion oSubRegion = oSubGraph.getRegions().get(0);
            List<TCGIntermediateNode> colInitialNodes = TCGRegionHelperClass.findInitialNodes(oSubRegion);
            if(!colInitialNodes.isEmpty()) {
              // each region is allowed to have at most one initial node
              TCGIntermediateNode oInitialNode = colInitialNodes.get(0);
              // convert initial node into connection point
              oInitialNode.setNodeType(TCGNodeType.ENTRY);
              oInitialNode.setContainer(oRealNode);
              oRealNode.getContainedConnectionPoints().add(oInitialNode);
              oInitialNode.setOriginalNode(null);
              oInitialNode.setUseAllTransitionsInParallel(true);
              // outgoing transitions are the same ...
              // change all incoming transitions of the composite state
              for(TCGTransition oTransition : oRealNode.getIncomingTransitions()) {
                oTransition.setTargetNode(oInitialNode);
                oInitialNode.getIncomingTransitions().add(oTransition);
              }
              oRealNode.getIncomingTransitions().clear();
            }
            // recursion
            replaceInitialNodesWithConnectionPointsInRegion(oSubRegion);
          }
        }
View Full Code Here
TOP

Related Classes of net.sf.parteg.base.testcasegraph.generated.TCGRealNode

  • net.amin.mobateg.ampl.SmToAMPLModel
  • net.amin.mobateg.ampl.visitor.ModelVisitor
  • net.amin.mobateg.helper.ampl.PathToAMPLData
  • net.amin.mobateg.helper.generatennittest.GenerateJUnitTest
  • net.sf.parteg.base.testcasegraph.generated.impl.TestCaseGraphImpl
  • net.sf.parteg.base.testcasegraph.helperclasses.BasicDistanceSetter
  • net.sf.parteg.base.testcasegraph.helperclasses.DecisionNodeSplitter
  • net.sf.parteg.base.testcasegraph.helperclasses.TCGNodeHelperClass
  • net.sf.parteg.base.testcasegraph.helperclasses.TCGRegionHelperClass
  • net.sf.parteg.base.testcasegraph.helperclasses.TCGTransitionHelperClass
    • 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.