Examples of TestCaseGraph

net.sf.parteg.base.testcasegraph.generated.TestCaseGraph
A representation of the model object 'Test Case Graph'.
The following features are supported:
- {@link net.sf.parteg.base.testcasegraph.generated.TestCaseGraph#getRegions Regions}
- {@link net.sf.parteg.base.testcasegraph.generated.TestCaseGraph#getCompositeSuperState Composite Super State}
- {@link net.sf.parteg.base.testcasegraph.generated.TestCaseGraph#getContainedConnectionPoints Contained Connection Points}
- {@link net.sf.parteg.base.testcasegraph.generated.TestCaseGraph#getSubmachineStates Submachine States}
@see net.sf.parteg.base.testcasegraph.generated.GeneratedPackage#getTestCaseGraph() @model @generated
net.sf.parteg.base.testcasetree.generated.TestCaseGraph
A representation of the model object 'Test Case Graph'.
The following features are supported:
- {@link net.sf.parteg.base.testcasetree.generated.TestCaseGraph#getRoot Root}
- {@link net.sf.parteg.base.testcasetree.generated.TestCaseGraph#getNodes Nodes}
- {@link net.sf.parteg.base.testcasetree.generated.TestCaseGraph#getTransitions Transitions}
- {@link net.sf.parteg.base.testcasetree.generated.TestCaseGraph#getConditions Conditions}
- {@link net.sf.parteg.base.testcasetree.generated.TestCaseGraph#getAttributes Attributes}
@see net.sf.parteg.base.testcasetree.generated.GeneratedPackage#getTestCaseGraph() @model @generated

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

                 }
               }
               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)) {
                        TCGNode targetNode = oInitNode.getOutgoingTransitions().get(0).getTargetNode();
                        currentPath.add(new Pair<TCGTransition, TCGNode>(oPair.getFirst(), targetNode));
                        visitedNodeByAlgorithm.add(targetNode);
                        fuelOfAlgorithms--;

View Full Code Here

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


  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

View Full Code Here

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

    for(TCGNode oNode : in_oRegion.getNodes()) {
      if(oNode instanceof TCGRealNode) {
        TCGRealNode oRealNode = (TCGRealNode)oNode;
        List<TCGTransition> colSuperTransitions = 
          TCGTransitionHelperClass.getDefaultTriggeredOutgoingTransitions(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);
            if(!colSuperTransitions.isEmpty()) {
              List<TCGNode> colEndNodes = TCGRegionHelperClass.findNodesWithOutOutgoingTransitions(oSubRegion);
              // create outgoing connection point
              TCGIntermediateNode oOutNode = GeneratedFactory.eINSTANCE.createTCGIntermediateNode();
              oOutNode.setOriginalNode(null);

View Full Code Here

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

  }
  
  private boolean flattenRealNode(TCGRealNode in_oRealNode) throws Exception
  {
    boolean bNodeIsFlattened = false;
    TestCaseGraph oTCG = in_oRealNode.getSubGraph();
    if(oTCG != null) {
      bNodeIsFlattened = true;
      // first recursively flatten the contained state machine
      flattenTestCaseGraph(oTCG);

View Full Code Here

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

    return bNodeIsFlattened;
  }


  private void moveAllContainedRegionStatesTransitionsToUpperRegion(TCGRealNode in_oRealNode)
  {
    TestCaseGraph oTCG = in_oRealNode.getSubGraph();
    if(oTCG != null) {
      
      List<TCGNode> colNodes = new ArrayList<TCGNode>();
      List<TCGTransition> colTransitions = new ArrayList<TCGTransition>();
      for(TestCaseRegion oRegion : oTCG.getRegions()) {
        colNodes.addAll(oRegion.getNodes());
        colTransitions.addAll(oRegion.getTransitions());
      }
      
      // change regions for nodes

View Full Code Here

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

    }
  }
  
  private void createDirectConnectionsForIncomingTransitions(TCGRealNode in_oRealNode) throws Exception
  {
    TestCaseGraph oTCG = in_oRealNode.getSubGraph();
    if(oTCG != null) {
      for(TCGTransition oIncomingTransition : in_oRealNode.getIncomingTransitions()) {
        for(TestCaseRegion oRegion : oTCG.getRegions()) {
          for(TCGIntermediateNode oIntNode : TCGRegionHelperClass.findInitialNodes(oRegion)) {
            if(oIntNode.getOutgoingTransitions().size() != 1) {
              System.err.println("error: initial node with wrong number of outgoing transitions: "
                  + oIntNode.getOutgoingTransitions().size());
            }

View Full Code Here

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

      }
    }
  }


  private void removeAllInitialNodes(TCGRealNode in_oRealNode) throws Exception {
    TestCaseGraph oTCG = in_oRealNode.getSubGraph();
    if(oTCG != null) {
      List<TCGIntermediateNode> colInitialNodes = new ArrayList<TCGIntermediateNode>();
      for(TestCaseRegion oRegion : oTCG.getRegions()) {
        colInitialNodes.addAll(TCGRegionHelperClass.findInitialNodes(oRegion));
      }
      for(TCGIntermediateNode oIntNode : colInitialNodes) {
        m_oTCGHelper.removeIntermediateNode(oIntNode);
      }

View Full Code Here

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

  
  private void createDirectConnectionsForOutgoingTransitions(TCGRealNode in_oOuterNode) throws Exception
  {
    List<TransitionCreationInformationContainer> colTransitionInformations =
      new ArrayList<TransitionCreationInformationContainer>();
    TestCaseGraph oTCG = in_oOuterNode.getSubGraph();
    if(oTCG != null) {
      
      // connections for super-transitions with real event
      for(TCGTransition oTransition : in_oOuterNode.getOutgoingTransitions()) {
        if(!oTransition.getEvents().isEmpty() &&
            !oTransition.getEvents().get(0).isDefaultEvent()) {
          for(TestCaseRegion oRegion : oTCG.getRegions()) {
            for(TCGNode oInnerNode : oRegion.getNodes()) {
              // only connect real nodes!
              if(oInnerNode instanceof TCGRealNode) {
                
                if(Configuration.isInnerTransitionHasPriorityOverOuterTransition()) {
                  if(oInnerNode.getName().endsWith("WAITING_FOR_TRAIN_TO_REACH_STANDSTILL") &&
//                  if(oInnerNode.getName().endsWith("WAITING_FOR_ACK_OF_UNREACHABLE_LTO") &&
                      oTransition.getTargetNode().getName() != null &&
                      oTransition.getTargetNode().getName().endsWith("fail")) {
                  }
                  Map<TCGEvent, TCGDisjunctiveNormalForm> colEventGuardCombinations = 
                    TCGTransitionHelperClass.
                      returnAvailableEventsAndGuardsForStateAndOutgoingTransition(oInnerNode, oTransition);
                  if(!colEventGuardCombinations.keySet().isEmpty()) {
                    colTransitionInformations.add(
                        new TransitionCreationInformationContainer(
                            colEventGuardCombinations, oRegion,
                            oInnerNode, oTransition));
                  }
                }
                else {
                  colTransitionInformations.add(
                      new TransitionCreationInformationContainer(
                          null, oRegion,
                          oInnerNode, oTransition));
                }
              }
            }
          }          
        }
      }
      
      // connections for default transitions (only from states without outgoing transitions)
      for(TestCaseRegion oRegion : oTCG.getRegions()) {
        List<TCGNode> colEndNodes = new ArrayList<TCGNode>();
        colEndNodes.addAll(TCGRegionHelperClass.findNodesWithOutOutgoingTransitions(oRegion));
        
        for(TCGTransition oTransition : in_oOuterNode.getOutgoingTransitions()) {
          // default transitions are only triggered from final states

View Full Code Here

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

  {
    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));
        }
      }
    }
    else if(oTargetNode instanceof TCGIntermediateNode) {

View Full Code Here

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

      }
    }
    // in_oNode could have changed value
    if(in_oNode instanceof TCGRealNode) {
      TCGRealNode oRealNode = (TCGRealNode)in_oNode;
      TestCaseGraph oSubGraph = oRealNode.getSubGraph();
      if(oSubGraph != null) {
        for(TestCaseRegion oRegion : oSubGraph.getRegions()) {
          int nRegionCounter = searchForMinDistanceInRegion(
              oRegion, in_nCounter);
          if(nRegionCounter > nMaxCounter)
            nMaxCounter = nRegionCounter;
        }
      }
        
      TestCaseGraph oRefSubGraph = oRealNode.getReferencedSubmachine();
      if(oRefSubGraph != null) {
        System.err.println("BasicDistanceSetter does not support referenced submachines");
      }
    }

View Full Code Here

0 1 2

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.