Commit 35f5b85b authored by urbant's avatar urbant
Browse files

Updated according to the feedback from Spirent

parent c10a913a
......@@ -9,7 +9,7 @@
// Restriction e)
// The expression shall not refer to elements of the component type of the optional runs on clause.
module NegSem_05040101_parameters_of_kind_value_008 {
module NegSem_05040101_parameters_of_kind_value_008 language "TTCN-3:2016" {
type component GeneralComp {
var integer vc_int := 0;
}
......
......@@ -9,7 +9,7 @@
// Restriction e)
// The template instance shall not refer to elements of the component type in a runs on clause.
module NegSem_05040102_parameters_of_kind_template_008 {
module NegSem_05040102_parameters_of_kind_template_008 language "TTCN-3:2016" {
type component GeneralComp {
var template integer vc_int := ?;
}
......
/***************************************************
** @author STF 470
** @version 0.0.1
** @author STF 470 (updated by STF 521)
** @version 0.0.2
** @purpose 1:5.5, Verify that an error is detected when a forbidded cyclic reference occurs in cyclic import
** @verdict pass reject
***************************************************/
......@@ -19,6 +19,14 @@ module NegSem_0505_cyclic_definitions_002 {
import from NegSem_0505_cyclic_definitions_002_import { const c_test1 }
type record ARecordType { integer a, integer b };
const ARecordType c_test2 := { 1 , c_test1.b}; // c_test2 refers to c_test1
testcase TC_Sem_0505_cyclic_definitions_005() runs on GeneralComp system GeneralComp {
log(c_test2);
}
control{
execute(TC_Sem_0505_cyclic_definitions_005());
}
}
module NegSem_0505_cyclic_definitions_002_import {
......
/***************************************************
** @author STF 409
** @version 0.0.1
** @author STF 409 (updated by STF 521)
** @version 0.0.2
** @purpose 1:6.3.2, Ensure that the IUT rejects assignments from incompatible types or type ranges
** @verdict pass reject
***************************************************/
module NegSem_060302_structured_types_009 {
module NegSem_060302_structured_types_009 language "TTCN-3:2016"{
type enumerated EnumeratedType {e_black, e_white};
type enumerated EnumeratedRedefinition {e_black, e_white};
......
/*****************************************************************
** @author STF 433
** @version 0.0.1
** @author STF 433 (updated by STF 521)
** @version 0.0.2
** @purpose 1:8.2.3.1, Ensure that name handling of imported enumerations is properly handled
** @verdict pass reject
*****************************************************************/
module NegSem_08020301_GeneralFormatOfImport_002 {
module NegSem_08020301_GeneralFormatOfImport_002 language "TTCN-3:2016"{
import from NegSem_08020301_GeneralFormatOfImport_002_import all;
const EnumType2 c_enum := enumX;
......
......@@ -5,7 +5,7 @@
** @verdict pass accept, ttcn3verdict:pass
*****************************************************************/
module Sem_1509_MatchOperation_009 {
module Sem_1509_MatchOperation_009 language "TTCN-3:2016"{
type component GeneralComp { }
......
......@@ -5,7 +5,7 @@
** @verdict pass accept, ttcn3verdict:pass
*****************************************************************/
module Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_014 {
module Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_015 {
type component GeneralComp { }
......@@ -13,7 +13,7 @@ type record of charstring RecOfChar;
template RecOfChar m_myRec_par(integer p_num) := {"ABC"} & ? & * length(p_num) & {"EF"};
testcase TC_Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_014() runs on GeneralComp {
testcase TC_Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_015() runs on GeneralComp {
var integer v_int := 3;
var template RecOfChar v_recofChar;
v_recofChar :={ "ABC" } & { "Z" } & { "Z" } & { "Z" } & { "EF" };
......@@ -27,7 +27,7 @@ testcase TC_Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_014() runs on Ge
}
control{
execute(TC_Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_014());
execute(TC_Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_015());
}
}
\ No newline at end of file
/***************************************************
** @author STF 409
** @version 0.0.1
** @purpose 1:19.3, Ensure that the IUT properly evaluates select-case statements
** @verdict pass accept, ttcn3verdict:pass
***************************************************/
module Sem_190301_select_case_statement_004 {
type component GeneralComp {
}
testcase TC_Sem_190301_select_case_statement_004 () runs on GeneralComp{
var integer v_i:=2;
select (v_i) {
case(1) {
setverdict(fail);
}
case(2) {
setverdict(pass);
}
case(2) {
setverdict(fail);
}
case else {
setverdict(fail);
}
}
}
control{
execute(TC_Sem_190301_select_case_statement_004());
}
}
/***************************************************
** @author STF 451
** @version 0.0.1
** @author STF 451 (updated by STF 521)
** @version 0.0.2
** @purpose 1:21.1.1, Ensure that IUT cannot map input port with output port
** @verdict pass reject
***************************************************/
......@@ -9,7 +9,7 @@
module NegSem_210101_map_operation_002{
type port loopbackPort message {
in integer
inout integer
}
type port IntegerOutputPortType message {
out integer
......
/***************************************************
** @author STF 451
** @version 0.0.1
** @author STF 451 (updated by STF 521)
** @version 0.0.2
** @purpose 1:21.1.2, Ensure that mapped port cannot disconnect
** @verdict pass reject
** @verdict pass accept, ttcn3verdict:pass
***************************************************/
// System and component interface cannot disconnect
module NegSem_210102_disconnect_operation_001{
module Sem_210102_disconnect_operation_003 {
type port myport message {
inout integer
......@@ -18,7 +18,7 @@ module NegSem_210102_disconnect_operation_001{
}
function f() runs on Mysystem {}
testcase TC_NegSem_210102_disconnect_operation_001() runs on Mysystem system Mysystem {
testcase TC_Sem_210102_disconnect_operation_003() runs on Mysystem system Mysystem {
var Mysystem MyCompA;
MyCompA:=Mysystem.create;
......@@ -27,11 +27,11 @@ module NegSem_210102_disconnect_operation_001{
MyCompA.start(f());
disconnect(MyCompA:messagePort,system:messagePort); // system interface cannot disconnect
disconnect(MyCompA:messagePort); // should not cause any error
setverdict(pass);
}
control{
execute(TC_NegSem_210102_disconnect_operation_001());
execute(TC_Sem_210102_disconnect_operation_003());
}
}
......@@ -28,7 +28,7 @@ module NegSem_210305_alive_operation_002 {
if (i mod 2 == 0) { v_ptc[i].kill; } // kill components on even indices
else { v_ptc[i].start(f());} // activate v_ptc
}
v_isAlive := any from v_ptc.alive -> @index v_index;
v_isAlive := any from v_ptc.alive -> @index value v_index;
if(v_index[0] == 1){
setverdict(pass);
} else {
......
......@@ -28,7 +28,7 @@ module NegSem_210305_alive_operation_003 {
if (i mod 2 == 0) { v_ptc[i].kill; } // kill components on even indices
else { v_ptc[i].start(f());} // activate v_ptc
}
v_isAlive := any from v_ptc.alive -> @index v_index;
v_isAlive := any from v_ptc.alive -> @index value v_index;
if(v_index == 1.0){
setverdict(pass);
} else {
......
......@@ -32,7 +32,7 @@ module NegSem_210305_alive_operation_004 {
else { v_ptc[i][j].start(f());} // activate v_ptc
}
}
v_isAlive := any from v_ptc.alive -> @index v_index;
v_isAlive := any from v_ptc.alive -> @index value v_index;
if(v_index[0] == 1 and v_index[1] == 0){
setverdict(pass);
} else {
......
......@@ -32,7 +32,7 @@ module NegSem_210305_alive_operation_005 {
else { v_ptc[i][j].start(f());} // activate v_ptc
}
}
v_isAlive := any from v_ptc.alive -> @index v_index;
v_isAlive := any from v_ptc.alive -> @index value v_index;
if(v_index == 1){
setverdict(pass);
} else {
......
......@@ -23,7 +23,7 @@ module NegSyn_210305_alive_operation_001 {
var integer v_index;
var GeneralComp v_ptc := GeneralComp.create;
v_ptc.start(f());
v_isAlive := v_ptc.alive -> @index v_index;
v_isAlive := v_ptc.alive -> @index value v_index;
if(v_isAlive){
setverdict(pass);
} else {
......
......@@ -23,7 +23,7 @@ module NegSyn_210305_alive_operation_002 {
var integer v_index;
var GeneralComp v_ptc := GeneralComp.create;
v_ptc.start(f());
v_isAlive := any component.alive -> @index v_index;
v_isAlive := any component.alive -> @index value v_index;
if(v_isAlive){
setverdict(pass);
} else {
......
......@@ -23,7 +23,7 @@ module NegSyn_210305_alive_operation_003 {
var integer v_index;
var GeneralComp v_ptc := GeneralComp.create;
v_ptc.start(f());
v_isAlive := all component.alive -> @index v_index;
v_isAlive := all component.alive -> @index value v_index;
if(v_isAlive){
setverdict(pass);
} else {
......
......@@ -27,7 +27,7 @@ module NegSyn_210305_alive_operation_004 {
testcase TC_NegSyn_210305_alive_operation_004() runs on GeneralComp system GeneralComp {
var boolean v_isAlive;
var integer v_index;
v_isAlive := initComp().alive -> @index v_index;
v_isAlive := initComp().alive -> @index value v_index;
if(v_isAlive){
setverdict(pass);
} else {
......
......@@ -20,7 +20,7 @@ module Sem_210305_alive_operation_008 {
v_ptc[i] := GeneralComp.create;
v_ptc[i].kill;
}
v_isAlive := any from v_ptc.alive -> @index v_index;
v_isAlive := any from v_ptc.alive -> @index value v_index;
if(not isbound(v_index)){
setverdict(pass);
} else {
......
......@@ -27,7 +27,7 @@ module Sem_210305_alive_operation_009 {
if (i mod 2 == 0) { v_ptc[i].kill; } // kill components on even indices
else { v_ptc[i].start(f());} // activate v_ptc
}
v_isAlive := any from v_ptc.alive -> @index v_index;
v_isAlive := any from v_ptc.alive -> @index value v_index;
if(v_index == 1){
setverdict(pass);
} else {
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment