$Suite $ITEX_MP $SuiteId www $SuiteOverviewPart $Begin_SuiteStructure $SuiteId www $StandardsRef /* */ $PICSref /* */ $PIXITref /* */ $TestMethods /* */ $Comment /* */ $Structure&Objectives $End_Structure&Objectives $Comment /* */ $End_SuiteStructure $End_SuiteOverviewPart $DeclarationsPart $Begin_TC_VarDcls $TC_VarDcl $TC_VarId NumTimes $TC_VarType INTEGER $TC_VarValue 0 $End_TC_VarDcl $Comment /* */ $End_TC_VarDcls $Begin_PCO_TypeDcls $PCO_TypeDcl $PCO_TypeId LOWER_PCO $PCO_Role LT $End_PCO_TypeDcl $Comment /* */ $End_PCO_TypeDcls $Begin_PCO_Dcls $PCO_Dcl $PCO_Id N $PCO_TypeId LOWER_PCO $PCO_Role LT $End_PCO_Dcl $Comment /* */ $End_PCO_Dcls $ASP_TypeDefs $TTCN_ASP_TypeDefs $Begin_TTCN_ASP_TypeDef $ASP_Id Connect $PCO_Type LOWER_PCO $ASP_ParDcls $End_ASP_ParDcls $Comment /* */ $End_TTCN_ASP_TypeDef $Begin_TTCN_ASP_TypeDef $ASP_Id StopGet $PCO_Type LOWER_PCO $ASP_ParDcls $End_ASP_ParDcls $Comment /* */ $End_TTCN_ASP_TypeDef $End_TTCN_ASP_TypeDefs $End_ASP_TypeDefs $PDU_TypeDefs $TTCN_PDU_TypeDefs $Begin_TTCN_PDU_TypeDef $PDU_Id SendGet $PCO_Type LOWER_PCO $PDU_FieldDcls $PDU_FieldDcl $PDU_FieldId GetKeyWord $PDU_FieldType IA5String $End_PDU_FieldDcl $PDU_FieldDcl $PDU_FieldId URL_name $PDU_FieldType IA5String $End_PDU_FieldDcl $PDU_FieldDcl $PDU_FieldId http_version $PDU_FieldType IA5String $End_PDU_FieldDcl $End_PDU_FieldDcls $Comment /* */ $End_TTCN_PDU_TypeDef $Begin_TTCN_PDU_TypeDef $PDU_Id HostName $PCO_Type LOWER_PCO $PDU_FieldDcls $PDU_FieldDcl $PDU_FieldId HostNameWord $PDU_FieldType IA5String $End_PDU_FieldDcl $PDU_FieldDcl $PDU_FieldId HostNameString $PDU_FieldType IA5String $End_PDU_FieldDcl $End_PDU_FieldDcls $Comment /* */ $End_TTCN_PDU_TypeDef $Begin_TTCN_PDU_TypeDef $PDU_Id ReceiveError $PCO_Type LOWER_PCO $PDU_FieldDcls $PDU_FieldDcl $PDU_FieldId http_version $PDU_FieldType IA5String $End_PDU_FieldDcl $PDU_FieldDcl $PDU_FieldId return_code $PDU_FieldType IA5String $End_PDU_FieldDcl $PDU_FieldDcl $PDU_FieldId Msg $PDU_FieldType IA5String $End_PDU_FieldDcl $PDU_FieldDcl $PDU_FieldId ResultContent $PDU_FieldType IA5String $End_PDU_FieldDcl $End_PDU_FieldDcls $Comment /* */ $End_TTCN_PDU_TypeDef $End_TTCN_PDU_TypeDefs $End_PDU_TypeDefs $CM_TypeDefs $ASN1_CM_TypeDefs $Begin_ASN1_CM_TypeDef $CM_Id ReceiveResult $ASN1_TypeDefinition SEQUENCE { http_version IA5String, return_code IA5String, OK_KeyWord IA5String, ResultContent IA5String } $End_ASN1_TypeDefinition $Comment /* */ $End_ASN1_CM_TypeDef $End_ASN1_CM_TypeDefs $End_CM_TypeDefs $End_DeclarationsPart $ConstraintsPart $ASP_Constraints $TTCN_ASP_Constraints $Begin_TTCN_ASP_Constraint $ConsId CONNECTC $ASP_Id Connect $DerivPath $ASP_ParValues $End_ASP_ParValues $Comment /* */ $End_TTCN_ASP_Constraint $Begin_TTCN_ASP_Constraint $ConsId STOPGETC $ASP_Id StopGet $DerivPath $ASP_ParValues $End_ASP_ParValues $Comment /* */ $End_TTCN_ASP_Constraint $End_TTCN_ASP_Constraints $End_ASP_Constraints $PDU_Constraints $TTCN_PDU_Constraints $Begin_TTCN_PDU_Constraint $ConsId SGETC $PDU_Id SendGet $DerivPath $PDU_FieldValues $PDU_FieldValue $PDU_FieldId GetKeyWord $ConsValue "GET " $End_PDU_FieldValue $PDU_FieldValue $PDU_FieldId URL_name $ConsValue "/~bernard/index.html " $End_PDU_FieldValue $PDU_FieldValue $PDU_FieldId http_version $ConsValue "HTTP/1.1" $End_PDU_FieldValue $End_PDU_FieldValues $Comment /* */ $End_TTCN_PDU_Constraint $Begin_TTCN_PDU_Constraint $ConsId SENDHOSTNAME $PDU_Id HostName $DerivPath $PDU_FieldValues $PDU_FieldValue $PDU_FieldId HostNameWord $ConsValue "Host:" $End_PDU_FieldValue $PDU_FieldValue $PDU_FieldId HostNameString $ConsValue "www.site.uottawa.ca" $End_PDU_FieldValue $End_PDU_FieldValues $Comment /* */ $End_TTCN_PDU_Constraint $Begin_TTCN_PDU_Constraint $ConsId RERRORC $PDU_Id ReceiveError $DerivPath $PDU_FieldValues $PDU_FieldValue $PDU_FieldId http_version $ConsValue "HTTP/1.1 " $End_PDU_FieldValue $PDU_FieldValue $PDU_FieldId return_code $ConsValue "404 " $End_PDU_FieldValue $PDU_FieldValue $PDU_FieldId Msg $ConsValue ? $End_PDU_FieldValue $PDU_FieldValue $PDU_FieldId ResultContent $ConsValue ? $End_PDU_FieldValue $End_PDU_FieldValues $Comment /* */ $End_TTCN_PDU_Constraint $End_TTCN_PDU_Constraints $End_PDU_Constraints $CM_Constraints $ASN1_CM_Constraints $Begin_ASN1_CM_Constraint $ConsId RRESULTC(theResultValue:IA5String) $CM_Id ReceiveResult $DerivPath $ASN1_ConsValue { http_version "HTTP/1.1 ", return_code "200 ", OK_KeyWord "OK*", ResultContent theResultValue } $End_ASN1_ConsValue $Comment /* */ $End_ASN1_CM_Constraint $End_ASN1_CM_Constraints $End_CM_Constraints $End_ConstraintsPart $DynamicPart $TestCases $Begin_TestCase $TestCaseId www_GET $TestGroupRef www/ $TestPurpose /* send a GET and receive a result */ $DefaultsRef $SelectExprId $Description /* */ $BehaviourDescription $BehaviourLine $LabelId top $Line [0] N ! Connect [ NumTimes < 2] $Cref CONNECTC $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [1] +GetOneRequest(N) $Cref $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [2] GOTO top $Cref $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [0] N ! StopGet $Cref STOPGETC $VerdictId PASS $End_BehaviourLine $End_BehaviourDescription $Comment /* */ $End_TestCase $End_TestCases $TestStepLibrary $Begin_TestStep $TestStepId GetOneRequest(thePCO:LOWER_PCO) $TestStepRef www/ $Objective /* */ $DefaultsRef $Description /* */ $BehaviourDescription $BehaviourLine $LabelId $Line [0] thePCO ! SendGet $Cref SGETC $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [1] thePCO ! HostName $Cref SENDHOSTNAME $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [2] +DoReceive $Cref $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [2] thePCO ? ReceiveError $Cref RERRORC $VerdictId FAIL $End_BehaviourLine $BehaviourLine $LabelId $Line [2] thePCO ? OTHERWISE $Cref $VerdictId FAIL $End_BehaviourLine $Header DoReceive $BehaviourLine $LabelId $Line [0] thePCO ? ReceiveResult (NumTimes := NumTimes + 1) $Cref RRESULTC(?) $VerdictId (PASS) $End_BehaviourLine $End_BehaviourDescription $Comment /* */ $End_TestStep $End_TestStepLibrary $End_DynamicPart $End_Suite