demo/EPTF_HTTP_Demo.cfg

[EXECUTE]
//EPTF_HTTP_Demo.control

EPTF_HTTP_Demo.tc_localTransportClientServer

[LOGGING]
FileMask := TTCN_ERROR | TTCN_WARNING | TTCN_USER | TTCN_VERDICTOP |
TTCN_TESTCASE |TTCN_STATISTICS |TTCN_PARALLEL | TTCN_MATCHING | TTCN_PORTEVENT | TTCN_DEBUG
ConsoleMask := TTCN_ERROR | TTCN_WARNING | TTCN_VERDICTOP | TTCN_TESTCASE |TTCN_STATISTICS
LogEventTypes := Yes
SourceInfoFormat := Stack #Single
LogEntityName := Yes
#MatchingHints := Detailed

[MODULE_PARAMETERS]
tsp_EPTF_HTTP_Transport_loggingEnable := true;
tsp_EPTF_HTTP_loggingEnable := true;
tsp_EPTF_HTTP_maxNumberOfEntities := 100;

tsp_EPTF_HTTP_dispatchLevel := Detailed;

tsp_EPTF_LGenBaseDebug := false;
tsp_EPTF_LGenBaseDebugTraffic := false;

tsp_EPTF_HTTP_userNumber := 10;
tsp_EPTF_HTTP_headerTemplatePath := "./";
tsp_EPTF_HTTP_headerTemplateName := "";
tsp_EPTF_HTTP_bodyTemplatePath := "./";
tsp_EPTF_HTTP_bodyTemplateName := "";

tsp_EPTF_HTTP_Demo_LocalAddress := "159.107.193.33"
tsp_EPTF_HTTP_Demo_LocalPort := 3000
tsp_EPTF_HTTP_Demo_RemoteAddress := "159.107.193.33"
tsp_EPTF_HTTP_Demo_RemotePort := 4000

tsp_EPTF_HTTP_Demo_FSMs := 
{
  { name := "EPTF HTTP: Basic Call",
    stateList := { "idle", "wait" },
    timerList := { { name := "TIMEOUT", startValue := 1.0 } },
    table := { 
      // TC tarted event
      { 
        eventToListen := { bName := "EPTF_CLL_LGenBase",  iName := "LGenBase: Traffic_case_started.", eventType := fsm },
        cellRow := {
          // state == idle 
          { actionList := omit, 
            nextStateCalculation := omit, 
            nextState := omit 
          },
          // state == wait
          { actionList := omit, 
            nextStateCalculation := omit, 
            nextState := omit 
          }
        }            
      },

      // start TC event
      { 
        eventToListen := { bName := "EPTF_CLL_LGenBase",  iName := "LGenBase: Start_the_traffic_case!", eventType := fsm },
        cellRow := {
          // state == idle 
          { actionList := {                 
              { stepOrFunctionName := "EPTF HTTP: Sends HTTP Request",     contextArgs := { stepContextArgs := {} } },
              { stepOrFunctionName := "LGenBase: StepFunction_timerStart", contextArgs := { timerName := "TIMEOUT"} }
            }, 
            nextStateCalculation := omit, 
            nextState := "wait" 
          },
          // state == wait
          { actionList := omit, 
            nextStateCalculation := omit, 
            nextState := omit 
          }
        }            
      },

      // answer OK event
      { 
        eventToListen := { bName := "HTTP Behavior", iName := "HTTP CHAR Response Message Received", eventType := fsm },
        cellRow := {
          // state == idle 
          { actionList := omit, 
            nextStateCalculation := omit, 
            nextState := omit 
          },         
          // state == wait
          { actionList := {                                 
              { stepOrFunctionName := "EPTF HTTP: Response message received", contextArgs := { stepContextArgs := {}  } },
              { stepOrFunctionName := "LGenBase: StepFunction_timerCancel",   contextArgs := { timerName := "TIMEOUT" } },
              { stepOrFunctionName := "LGenBase: StepFunction_trafficSuccess",contextArgs := { stepContextArgs := {}  } }
            }, 
            nextStateCalculation := omit, 
            nextState := "idle" 
          }          
        }            
      },

      // timeout event
      { 
        eventToListen := { bName := "Special behavior for timeout reporting", iName := "TIMEOUT", eventType :=  fsm },
        cellRow := {
          // state == idle 
          { actionList := omit, 
            nextStateCalculation := omit, 
            nextState := omit 
          },         
          // state == wait
          { actionList := {            
              { stepOrFunctionName := "EPTF HTTP: Timeout handler",           contextArgs := { stepContextArgs := {} } },
              { stepOrFunctionName := "EPTF HTTP: Closes port of user",       contextArgs := { stepContextArgs := {} } },
              { stepOrFunctionName := "LGenBase: StepFunction_trafficFailed", contextArgs := { stepContextArgs := {} } }
            }, 
            nextStateCalculation := omit, 
            nextState := "idle" 
          }        
        }            
      },

      // connection closed event
      { 
        eventToListen := { bName := "HTTP Behavior", iName := "HTTP Connection Closed ", eventType := fsm },
        cellRow := {
          // state == idle 
          { actionList := omit, 
            nextStateCalculation := omit, 
            nextState := omit 
          },         
          // state == wait
          { actionList := omit, 
            nextStateCalculation := omit, 
            nextState := omit 
          }        
        }            
      },

      // connection opened event
      { 
        eventToListen := { bName := "HTTP Behavior", iName := "HTTP Connection Opened ", eventType := fsm },
        cellRow := {
          // state == idle 
          { actionList := omit, 
            nextStateCalculation := omit, 
            nextState := omit 
          },         
          // state == wait
          { actionList := omit, 
            nextStateCalculation := omit, 
            nextState := omit 
          }        
        }            
      },

      // stop TC event
      { 
        eventToListen := { bName := "EPTF_CLL_LGenBase", iName := "LGenBase: Stop_the_traffic_case!", eventType := fsm },
        cellRow := {
          // state == idle 
          { actionList := { 
              { stepOrFunctionName := "LGenBase: StepFunction_entityStopped", contextArgs := { stepContextArgs := { } } } 
            }, 
            nextStateCalculation := omit, 
            nextState := "idle" 
          },
          // state == wait
          { actionList := { 
              { stepOrFunctionName := "LGenBase: StepFunction_entityStopped", contextArgs := { stepContextArgs := { } } } 
            }, 
            nextStateCalculation := omit, 
            nextState := "idle" 
          }
        }            
      }
    }
  },
  { name := "EPTF HTTP: Server",
    stateList := { "idle"},
    timerList := {},
    table := { 
      { 
        eventToListen := { bName := "HTTP Behavior", iName := "HTTP CHAR Request Message Received", eventType := entity },
        cellRow := {
          // state == idle
          { actionList := {                                 
              { stepOrFunctionName := "LGenBase: StepFunction_recordEntityStart",contextArgs := { stepContextArgs := {}  } },
              { stepOrFunctionName := "EPTF HTTP: Handle Request", contextArgs := { stepContextArgs := {}  } },
              { stepOrFunctionName := "EPTF HTTP: Send Response",   contextArgs := { stepContextArgs := {} } },
              { stepOrFunctionName := "LGenBase: StepFunction_trafficSuccess",contextArgs := { stepContextArgs := {}  } }
            }, 
            nextStateCalculation := omit, 
            nextState := "idle" 
          }          
        }            
      }
    }
  }  
}

[TESTPORT_PARAMETERS]
#*.IPL4_PCO.debug := "YES"
#*.v_IPL4_PCO.debug := "YES"

[MAIN_CONTROLLER]
#TCPPort := 1025
#NumHCs := 1
#KillTimer := 11