// Dieses Listing enthält Ausschnitte eines Testfalls

module SIP
{

type port SipPortType message		// Port-Typ
{
    inout Request, Response;
}

type component SipTestComponent		// Komponenten-Typ
{
    timer T1 := 2.5; 			// Timer T1 
    
    port SipPortType SIP_PCO		// Port SIP_PCO
}
	
	named alt Default_1(charstring cseq)	// Default-Definition
{
   	    [] any timer.timeout		// Unerwarteter Timeout
    {
	; verdict.set(fail); stop;
    }
	    [] any port.receive			// Unerwartete Nachricht
    {
	; verdict.set(fail); stop;
    }
}
	
/* Überprüfe, ob die SUT beim Empfang einer fehlerhaften
    Einladung eine Fehlermeldung liefert  */
testcase SIP_UA_REC_V_001() runs on SipTestComponent
{
   activate (Default_1("0")); 		// Default-Aktivierung
   SIP_PCO.send(Invite_s_1);      	// Senden einer ungültigen Einladung
   T1.start;				// Starten des Timers mit 
					// dem Default-Wert
   SIP_PCO.receive(Response_r_1);	// Empfangen der Fehlermeldung 
					// auf die ungültige Einladung
   verdict.set(pass);			// Test ist erfolgreich
   T1.stop;				// Stoppen des Timers
   postamble("0");			// Zurücksetzen der SUT
}					// Ende des Testfalls
}