Commit c4778424 authored by balaskoa's avatar balaskoa
Browse files

New testcases have been mapped from titan.core 2


Signed-off-by: default avatarbalaskoa <Jeno.Balasko@ericsson.com>
parent 1aba521f
......@@ -15,6 +15,18 @@
</LocalBuildSettings>
</ProjectProperties>
<FileProperties>
<FileResource>
<FilePath>src/ASN1/enum1/enum1</FilePath>
<FileProperties>
<ExcludeFromBuild>true</ExcludeFromBuild>
</FileProperties>
</FileResource>
<FileResource>
<FilePath>src/ASN1/enum2/enum2</FilePath>
<FileProperties>
<ExcludeFromBuild>true</ExcludeFromBuild>
</FileProperties>
</FileResource>
<FileResource>
<FilePath>src/TverdictOper.ttcn</FilePath>
<FileProperties>
......@@ -23,6 +35,41 @@
</FileResource>
</FileProperties>
<FolderProperties>
<FolderResource>
<FolderPath>src/ASN1/Test330</FolderPath>
<FolderProperties>
<CentralStorage>false</CentralStorage>
<ExcludeFromBuild>true</ExcludeFromBuild>
</FolderProperties>
</FolderResource>
<FolderResource>
<FolderPath>src/ASN1/Test332</FolderPath>
<FolderProperties>
<CentralStorage>false</CentralStorage>
<ExcludeFromBuild>true</ExcludeFromBuild>
</FolderProperties>
</FolderResource>
<FolderResource>
<FolderPath>src/ASN1/errorMessages</FolderPath>
<FolderProperties>
<CentralStorage>false</CentralStorage>
<ExcludeFromBuild>true</ExcludeFromBuild>
</FolderProperties>
</FolderResource>
<FolderResource>
<FolderPath>src/ASN1/errorMessages2</FolderPath>
<FolderProperties>
<CentralStorage>false</CentralStorage>
<ExcludeFromBuild>true</ExcludeFromBuild>
</FolderProperties>
</FolderResource>
<FolderResource>
<FolderPath>src/ASN1/parse</FolderPath>
<FolderProperties>
<CentralStorage>false</CentralStorage>
<ExcludeFromBuild>true</ExcludeFromBuild>
</FolderProperties>
</FolderResource>
<FolderResource>
<FolderPath>src/json</FolderPath>
<FolderProperties>
......
......@@ -11,6 +11,10 @@
all_from_with_functions #TODO: JSON enc-dec function handling,
encdec_OK #TODO: JSON, BER encoder
[ORDERED_INCLUDE]
#First edit the cfg file! Line 21 should active
"src/assignmentNotation/TassignmentNotation.cfg" #Verdict Statistics: 0 none (0 %), 7 pass (100 %), 0 inconc (0 %), 0 fail (0 %), 0 error (0 %)
#HACK: escaped double quote added, ass. not. nok Error message:
# Error while setting parameter field 'tsp_editor' to 'vim': Referenced module parameter cannot be found. Module `vim' does not exist, and no parameter with name `vim' exists in any module.
[LOGGING]
# In this section you can specify the name of the log file and the classes of events
......
......@@ -31,8 +31,15 @@ smallany
#==anytypeOper:==
TanytypeOper
TanytypeWrapOper
#arrayOper:
#==arrayOper:
TarrayOper
#===ASN1:===
# codeGeneration #compile only tests, you can exclude all files from ASN1 (except Test330) if the compile time is critical
Test303T.control #ok
#==assignmentNotation
#TassignmentNotation # requires [ORDERED_INCLUDE] see there!
#basicStatem:
TbasicStatem # TODO: basicStatemLabelGoto2 => none because goto is not implemented, commented out
#
#json (There are testcases commented out in it!! In preinit of JsonTypes it stops with exception)
......@@ -156,6 +163,9 @@ TtemplateRecof.control
TanytypeWrapOper.control
#ImportedTemplates.control
TsetofOper.control
[ORDERED_INCLUDE]
"src/assignmentNotation/TassignmentNotation.cfg"
#HACK: escaped double quote added, ass. not. nok, Error while setting parameter field 'tsp_editor' to 'vim': Referenced module parameter cannot be found. Module `vim' does not exist, and no parameter with name `vim' exists in any module.
[LOGGING]
# In this section you can specify the name of the log file and the classes of events
......
......@@ -4,9 +4,9 @@
# This section shall contain the values of all parameters that are defined in your TTCN-3 modules.
[EXECUTE]
Fibonacci
[ORDERED_INCLUDE]
[ORDERED_INCLUDE]
"src/assignmentNotation/TassignmentNotation.cfg"
[LOGGING]
# In this section you can specify the name of the log file and the classes of events
# you want to log into the file or display on console (standard error).
......
--/////////////////////////////////////////////////////////////////////////////
-- Copyright (c) 2000-2019 Ericsson Telecom AB
-- All rights reserved. This program and the accompanying materials
-- are made available under the terms of the Eclipse Public License v2.0
-- which accompanies this distribution, and is available at
-- https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
--
-- Contributors:
-- Balasko, Jeno
-- Kovacs, Ferenc
-- Kulcsar, Endre
-- Raduly, Csaba
-- Szabados, Kristof
--
--/////////////////////////////////////////////////////////////////////////////
Test303A
DEFINITIONS
::=
BEGIN
IMPORTS ; -- nothing
MyBitstringType1 ::= BIT STRING { first(0), other (5) }
myBitstringValue1 MyBitstringType1 ::=
{first, other } --'100001'B
myGeneralStringValue1 GeneralString ::= "General"
END
/******************************************************************************
* Copyright (c) 2000-2019 Ericsson Telecom AB
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
*
* Contributors:
* Balasko, Jeno
* Kovacs, Ferenc
* Kulcsar, Endre
* Szabados, Kristof
*
******************************************************************************/
module Test303T
{
import from Test303A all;
type bitstring MyBitstringType2
const MyBitstringType2 myBitstringValue2 := '100001'B
const MyBitstringType1 myBitstringValue3 := '100001'B
type component MyMainComponent
{}
testcase Test1() runs on MyMainComponent
{
var MyBitstringType1 myBitstringValue4 := '100001'B
var MyBitstringType2 myBitstringValue5 := '100001'B
if ((myBitstringValue1 == myBitstringValue2)
and (myBitstringValue1 == myBitstringValue3)
and (myBitstringValue1 == myBitstringValue4)
and (myBitstringValue1 == myBitstringValue5))
{setverdict ( pass );}
else { setverdict ( fail );}
}
testcase Test2() runs on MyMainComponent
{
// For TR934 (HT).
if (myGeneralStringValue1 == "General") { setverdict(pass) } else { setverdict(fail) }
if ("General" == myGeneralStringValue1) { setverdict(pass) } else { setverdict(fail) }
}
control
{
execute (Test1())
execute (Test2())
}
}
###############################################################################
# Copyright (c) 2000-2019 Ericsson Telecom AB
# All rights reserved. This program and the accompanying materials
# are made available under the terms of the Eclipse Public License v2.0
# which accompanies this distribution, and is available at
# https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
#
# Contributors:
# Balasko, Jeno
# Kovacs, Ferenc
# Kulcsar, Endre
#
###############################################################################
[MODULE_PARAMETERS]
[EXECUTE]
Test303T.control
--/////////////////////////////////////////////////////////////////////////////
-- Copyright (c) 2000-2019 Ericsson Telecom AB
-- All rights reserved. This program and the accompanying materials
-- are made available under the terms of the Eclipse Public License v2.0
-- which accompanies this distribution, and is available at
-- https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
--
-- Contributors:
-- Balasko, Jeno
-- Kulcsar, Endre
-- Raduly, Csaba
-- Szabados, Kristof
--
--/////////////////////////////////////////////////////////////////////////////
Test307A
DEFINITIONS
AUTOMATIC TAGS
::=
BEGIN
IMPORTS ; -- nothing
MyNumericStringType1 ::= NumericString
myNumericStringValue1 MyNumericStringType1 ::=" 1234567890"
END
/******************************************************************************
* Copyright (c) 2000-2019 Ericsson Telecom AB
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
*
* Contributors:
* Balasko, Jeno
* Delic, Adam
* Forstner, Matyas
* Kulcsar, Endre
* Szabados, Kristof
*
******************************************************************************/
module Test307T
{
import from Test307A all;
type charstring MyStringType2
// AS A CONSTANT *********************************************
const MyStringType2 myStringValue2 := myNumericStringValue1
const MyNumericStringType1 myStringValue3 := "123 45 67 89"
// AS A CONSTANT *********************************************
type port MyPort message
{
inout MyType
} with { extension "internal" }
type record MyType
{
charstring field1
}
template MyType myMessage(charstring par_String) :=
{
field1 := par_String
}
template MyType myMessage2(MyNumericStringType1 par_String) :=
{
field1 := par_String
}
type component MyMainComponent
{
port MyPort M_PCO;
}
type component MyParallelComponent
{
port MyPort P_PCO;
}
function handle_msg_on_ptc() runs on MyParallelComponent
{
// AS A PARAMETER *********************************************
P_PCO.receive (myMessage(myNumericStringValue1))
P_PCO.receive (myMessage2("123 45 67 89"))
// AS A PARAMETER *********************************************
setverdict ( pass );
}
testcase Test() runs on MyMainComponent
{
// AS A VARIABLE *********************************************
var MyStringType2 myStringValue30 := myNumericStringValue1
var MyNumericStringType1 myStringValue4 := "123 45 67 89"
// AS A VARIABLE *********************************************
var MyParallelComponent myparallelcomponent := MyParallelComponent.create;
connect ( mtc:M_PCO, myparallelcomponent: P_PCO );
myparallelcomponent.start(handle_msg_on_ptc());
// AS A PARAMETER *********************************************
M_PCO.send(myMessage(myNumericStringValue1))
M_PCO.send(myMessage2("123 45 67 89"))
// AS A PARAMETER *********************************************
myparallelcomponent.done;
}
control
{
execute (Test())
}
}
--/////////////////////////////////////////////////////////////////////////////
-- Copyright (c) 2000-2019 Ericsson Telecom AB
-- All rights reserved. This program and the accompanying materials
-- are made available under the terms of the Eclipse Public License v2.0
-- which accompanies this distribution, and is available at
-- https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
--
-- Contributors:
-- Balasko, Jeno
-- Kulcsar, Endre
-- Raduly, Csaba
-- Szabados, Kristof
--
--/////////////////////////////////////////////////////////////////////////////
Test308A
DEFINITIONS
AUTOMATIC TAGS
::=
BEGIN
IMPORTS ; -- nothing
MyPrintableStringType1 ::= PrintableString
myPrintableStringValue1 MyPrintableStringType1 ::="ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz'()+,-./:=?1234567890"
END
/******************************************************************************
* Copyright (c) 2000-2019 Ericsson Telecom AB
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
*
* Contributors:
* Balasko, Jeno
* Delic, Adam
* Forstner, Matyas
* Kulcsar, Endre
* Szabados, Kristof
*
******************************************************************************/
module Test308T
{
import from Test308A all;
type charstring MyStringType2
// AS A CONSTANT *********************************************
const MyStringType2 myStringValue2 := myPrintableStringValue1
const MyPrintableStringType1 myStringValue3 := "abcdefgh"
// AS A CONSTANT *********************************************
type port MyPort message
{
inout MyType
} with { extension "internal" }
type record MyType
{
charstring field1
}
template MyType myMessage(charstring par_String) :=
{
field1 := par_String
}
template MyType myMessage2(MyPrintableStringType1 par_String) :=
{
field1 := par_String
}
type component MyMainComponent
{
port MyPort M_PCO;
}
type component MyParallelComponent
{
port MyPort P_PCO;
}
function handle_msg_on_ptc() runs on MyParallelComponent
{
// AS A PARAMETER *********************************************
P_PCO.receive (myMessage(myPrintableStringValue1))
P_PCO.receive (myMessage2("abcdefgh"))
// AS A PARAMETER *********************************************
setverdict ( pass );
}
testcase Test() runs on MyMainComponent
{
// AS A VARIABLE *********************************************
var MyStringType2 myStringValue30 := myPrintableStringValue1
var MyPrintableStringType1 myStringValue4 := "abcdefgh"
// AS A VARIABLE *********************************************
var MyParallelComponent myparallelcomponent := MyParallelComponent.create;
connect ( mtc:M_PCO, myparallelcomponent: P_PCO );
myparallelcomponent.start(handle_msg_on_ptc());
// AS A PARAMETER *********************************************
M_PCO.send(myMessage(myPrintableStringValue1))
M_PCO.send(myMessage2("abcdefgh"))
// AS A PARAMETER *********************************************
myparallelcomponent.done;
}
control
{
execute (Test())
}
}
--/////////////////////////////////////////////////////////////////////////////
-- Copyright (c) 2000-2019 Ericsson Telecom AB
-- All rights reserved. This program and the accompanying materials
-- are made available under the terms of the Eclipse Public License v2.0
-- which accompanies this distribution, and is available at
-- https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
--
-- Contributors:
-- Balasko, Jeno
-- Kulcsar, Endre
-- Szabados, Kristof
--
--/////////////////////////////////////////////////////////////////////////////
Test309A
DEFINITIONS
AUTOMATIC TAGS
::=
BEGIN
MyIA5StringType1 ::= IA5String
myIA5StringValue1 MyIA5StringType1 ::=
"~!@#$%^%&^*()_+`""HAHO"" 1234567890-=qwertyuiop[]\QWERTYUIOP{}|asdfghjkl;'ASDFGHJKL:zxcvbnm,./ZXCVBNM<>?"
END
/******************************************************************************
* Copyright (c) 2000-2019 Ericsson Telecom AB
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
*
* Contributors:
* Balasko, Jeno
* Kulcsar, Endre
* Raduly, Csaba
* Szabados, Kristof
*
******************************************************************************/
module Test309T
{
import from Test309A all;
type charstring MyIA5StringType2
// AS A CONSTANT *********************************************
const MyIA5StringType2 myIA5StringValue2 := myIA5StringValue1
const MyIA5StringType1 myIA5StringValue3 := "~!@#$%^%&^*()_+`""HAHO"" 1234567890-=qwertyuiop[]\\QWERTYUIOP{}|asdfghjkl;'ASDFGHJKL:zxcvbnm,./ZXCVBNM<>?"
// AS A CONSTANT *********************************************
type port MyPort message
{
inout MyType
} with { extension "internal" }
type record MyType
{
charstring field1
}
template MyType myMessage(charstring par_IA5String) :=
{
field1 := par_IA5String
}
template MyType myMessage2(MyIA5StringType1 par_IA5String) :=
{
field1 := par_IA5String
}
type component MyMainComponent
{
port MyPort M_PCO;
}
type component MyParallelComponent
{
port MyPort P_PCO;
}
function handle_msg_on_ptc() runs on MyParallelComponent
{
// AS A PARAMETER *********************************************
P_PCO.receive (myMessage(myIA5StringValue1))
P_PCO.receive (myMessage2("~!@#$%^%&^*()_+`""HAHO"" 1234567890-=qwertyuiop[]\\QWERTYUIOP{}|asdfghjkl;'ASDFGHJKL:zxcvbnm,./ZXCVBNM<>?"))
// AS A PARAMETER *********************************************
setverdict ( pass );
}
testcase Test() runs on MyMainComponent
{
// AS A VARIABLE *********************************************
var MyIA5StringType2 myIA5StringValue5 := myIA5StringValue1
var MyIA5StringType1 myIA5StringValue4 := "~!@#$%^%&^*()_+`""HAHO"" 1234567890-=qwertyuiop[]\\QWERTYUIOP{}|asdfghjkl;'ASDFGHJKL:zxcvbnm,./ZXCVBNM<>?"
// AS A VARIABLE *********************************************
var MyParallelComponent myparallelcomponent := MyParallelComponent.create;
connect ( mtc:M_PCO, myparallelcomponent: P_PCO );
myparallelcomponent.start(handle_msg_on_ptc());
// AS A PARAMETER *********************************************
M_PCO.send(myMessage(myIA5StringValue1))
M_PCO.send(myMessage2("~!@#$%^%&^*()_+`""HAHO"" 1234567890-=qwertyuiop[]\\QWERTYUIOP{}|asdfghjkl;'ASDFGHJKL:zxcvbnm,./ZXCVBNM<>?"))
// AS A PARAMETER *********************************************
myparallelcomponent.done;
}
control
{
execute (Test())
}
}
--/////////////////////////////////////////////////////////////////////////////
-- Copyright (c) 2000-2019 Ericsson Telecom AB
-- All rights reserved. This program and the accompanying materials
-- are made available under the terms of the Eclipse Public License v2.0
-- which accompanies this distribution, and is available at
-- https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
--
-- Contributors:
-- Balasko, Jeno
-- Kulcsar, Endre
-- Szabados, Kristof
--
--/////////////////////////////////////////////////////////////////////////////