Commit f6499999 authored by zeiss's avatar zeiss
Browse files

No commit message

No commit message
parent 0ce3a932
Loading
Loading
Loading
Loading

.project

0 → 100644
+17 −0
Original line number Diff line number Diff line
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
	<name>ATS</name>
	<comment></comment>
	<projects>
	</projects>
	<buildSpec>
		<buildCommand>
			<name>de.ugoe.cs.swe.trex.ui.rulebuilder</name>
			<arguments>
			</arguments>
		</buildCommand>
	</buildSpec>
	<natures>
		<nature>de.ugoe.cs.swe.trex.ui.trexnature</nature>
	</natures>
</projectDescription>
+3 −8
Original line number Diff line number Diff line
/*****************************************************************
 ** @author   STF 380     
 ** @author   STF 409
 ** @version  0.0.1
 ** @desc     Test cases for clause 5.1 Identifiers and keywords                     
 ** @purpose  1:5.1, Ensure that cannot pass a charstring value to an integer variable.
 ** @verdict  pass reject
 *****************************************************************/
module NegSem_0501_Identifier_001 {

type component GeneralComp {	    	    
}	

/****************************************************************************
 ** @desc     Negative test!
 ** @config   General config, MTC: GeneralComp
 ** @purpose  Ensure that cannot pass a charstring value to an integer variable.
 ** @verdict  Negative test! No verdict!
 ***************************************************************************/
testcase TC_NegSem_0501_Identifier_001() runs on GeneralComp {
    var integer v_i := "wrong_type";     
}			
+5 −9
Original line number Diff line number Diff line
/*****************************************************************
 ** @author   STF 380     
 ** @version  0.0.1
 ** @desc     Test cases for clause 5.1 Identifiers and keywords                     
 ** @author   STF 409
 ** @version  %version%
 ** @purpose  1:5.1, Ensure that when the IUT loads a module containing an 
              identifier named with a keyword then the module is rejected.
 ** @verdict  pass reject
 *****************************************************************/
module NegSyn_0501_Identifier_001 {

type component GeneralComp {	    	    
}	

/****************************************************************************
 ** @desc     Negative test!
 ** @config   General config, MTC: GeneralComp
 ** @purpose  Ensure that TTCN-3 reserved world cannot be an identifier.
 ** @verdict  Negative test! No verdict!
 ***************************************************************************/
testcase TC_NegSyn_0501_Identifier_001() runs on GeneralComp {
    var integer component := 1;     
}			
+4 −6
Original line number Diff line number Diff line
/*****************************************************************
 ** @author   STF 380     
 ** @author   STF 409
 ** @version  0.0.1
 ** @desc     Test cases for clause 5.1 Identifiers and keywords                     
 ** @purpose  1:5.1, Ensure that the IUT handle the identifiers case sensitively.
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Syn_0501_Identifier_001 {

type component IdComp {	    	    
    const integer c_int := 0;
}	

/****************************************************************************
 ** @config   General config, MTC: IdComp
 ** @purpose  Ensure that the IUT handle the identifiers case sensitively.
 ***************************************************************************/
testcase TC_Syn_0501_Identifier_001() runs on IdComp {
    const integer C_INT := 1;
    if (c_int == 0){		
+4 −7
Original line number Diff line number Diff line
/***************************************************
 ** @author   STF 380 
 ** @author   STF 409
 ** @version  0.0.1
 ** @desc     Test cases for clause 5.2 Scope rules                     
 ** @purpose  1:5.2, Ensure that the IUT handle scope hieararchy of component constants.
 ** @verdict  pass accept, ttcn3verdict:pass
 ***************************************************/
module Sem_0502_Scope_001 {

@@ -9,10 +10,6 @@ type component GeneralComp {
    const integer c_int := 0;
}	

/**********************************************************************************
 ** @config   General config, MTC: GeneralComp
 ** @purpose  Ensure that the IUT handle scope hieararchy of component constants.
 **********************************************************************************/
testcase TC_Sem_0502_Scope_001() runs on GeneralComp {
    if (c_int == 0){
		setverdict(pass);
Loading