Added conformance_test/negative_tests

Signed-off-by: ethbaat <jeno.balasko@ericsson.com>

conformance_test/negative_tests/08_empty_modules.script

+.******************************************************************************
+.* Copyright (c) 2000-2016 Ericsson Telecom AB
+.* All rights reserved. This program and the accompanying materials
+.* are made available under the terms of the Eclipse Public License v1.0
+.* which accompanies this distribution, and is available at
+.* http://www.eclipse.org/legal/epl-v10.html
+.*
+.* Contributors:
+.*   Adrien Kirjak – initial implementation
+.*
+.******************************************************************************/
+text.
+:lang eng.
+.*
+:docname.Test Description
+:docno.xz/152 91-CRL 113 200 Uen
+:rev.PA1
+:date.2016-04-04
+.*
+:prep.ETH/XZ EADRKIR
+:subresp.EADRKIR
+:appr.ETH/XZ (Elemer Lelik)
+:checked.
+.*
+:title.ETSI TTCN3 Negative Conformance Test
+:contents level=3.
+.*---------------------------------------------------------------------*
+:h1.PREREQUISITES AND PREPARATIONS
+.*---------------------------------------------------------------------*	
+.*---------------------------------------------------------------------*
+:h2.Scope of the Test Object
+.*---------------------------------------------------------------------*
+:xmp tab=1 nokeep.
+This TD contains syntactic tests with empty modules from ETSI TTCN3 Conformance Test's 08_modules folders. 
+
+:exmp.
+
+.*---------------------------------------------------------------------*
+:h2.Test Tools
+.*---------------------------------------------------------------------*
+:p.:us.Software Tools:eus.
+:xmp tab=2 nokeep.
+
+	SAtester.pl
+
+:exmp.
+:np.
+
+.*---------------------------------------------------------------------*
+:h1.REQUIREMENT-BASED TESTS
+.*---------------------------------------------------------------------*
+.*---------------------------------------------------------------------*
+:h2. 0801_definition_of_a_module folder
+.*---------------------------------------------------------------------*
+*---------------------------------------------------------------------*
+:h3. Syn_0801_DefinitionOfAModule_001 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - Ensure that a "plain" module definition is accepted. >
+
+<COMPILE>
+
+<MODULE TTCN Syn_0801_DefinitionOfAModule_001 Syn_0801_DefinitionOfAModule_001.ttcn >
+/*****************************************************************
+ ** @version  0.0.1
+ ** @purpose  1:8.1, Ensure that a "plain" module definition is accepted.
+ ** @verdict  pass accept, noexecution
+ *****************************************************************/
+
+module Syn_0801_DefinitionOfAModule_001 {
+
+}
+<END_MODULE>
+
+<RESULT IF_PASS NEGATIVE>
+error
+<END_RESULT>
+
+<END_TC>
+:exmp
+
+*---------------------------------------------------------------------*
+:h3. Syn_0801_DefinitionOfAModule_002 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - Ensure that a module definition with language specification is accepted. >
+
+<COMPILE>
+
+<MODULE TTCN Syn_0801_DefinitionOfAModule_002 Syn_0801_DefinitionOfAModule_002.ttcn >
+/*****************************************************************
+ ** @version  0.0.1
+ ** @purpose  1:8.1, Ensure that a module definition with language specification is accepted.
+ ** @verdict  pass accept, noexecution
+ *****************************************************************/
+
+module Syn_0801_DefinitionOfAModule_002 language "TTCN-3:2005" {
+
+}
+<END_MODULE>
+
+<RESULT IF_PASS NEGATIVE>
+error
+<END_RESULT>
+
+<END_TC>
+:exmp
+
+*---------------------------------------------------------------------*
+:h3. Syn_0801_DefinitionOfAModule_004 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - Ensure that a module definition with package and without language is accepted. >
+
+<COMPILE>
+
+<MODULE TTCN Syn_0801_DefinitionOfAModule_004 Syn_0801_DefinitionOfAModule_004.ttcn >
+/*****************************************************************
+ ** @version  0.0.1
+ ** @purpose  1:8.1, Ensure that a module definition with package and without language is accepted.
+ ** @verdict  pass accept, noexecution
+ *****************************************************************/
+
+module Syn_0801_DefinitionOfAModule_004 language "TTCN-3:2010 Advanced Parameterization" {
+
+}
+<END_MODULE>
+
+<RESULT IF_PASS NEGATIVE>
+error
+<END_RESULT>
+
+<END_TC>
+:exmp
+
+*---------------------------------------------------------------------*
+:h3. Syn_0801_DefinitionOfAModule_005 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - Ensure that a module definition with ed4.3.1 language and package is accepted. >
+
+<COMPILE>
+
+<MODULE TTCN Syn_0801_DefinitionOfAModule_005 Syn_0801_DefinitionOfAModule_005.ttcn >
+/*****************************************************************
+ ** @version  0.0.1
+ ** @purpose  1:8.1, Ensure that a module definition with ed4.3.1 language and package is accepted.
+ ** @verdict  pass accept, noexecution
+ *****************************************************************/
+
+module Syn_0801_DefinitionOfAModule_005 language "TTCN-3:2011" {
+
+}
+<END_MODULE>
+
+<RESULT IF_PASS NEGATIVE>
+error
+<END_RESULT>
+
+<END_TC>
+:exmp
+
+*---------------------------------------------------------------------*
+:h3. Syn_0801_DefinitionOfAModule_006 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - Ensure that a module definition with ed4.4.1 language and package is accepted. >
+
+<COMPILE>
+
+<MODULE TTCN Syn_0801_DefinitionOfAModule_006 Syn_0801_DefinitionOfAModule_006.ttcn >
+/*****************************************************************
+ ** @version  0.0.1
+ ** @purpose  1:8.1, Ensure that a module definition with ed4.4.1 language and package is accepted.
+ ** @verdict  pass accept, noexecution
+ *****************************************************************/
+
+module Syn_0801_DefinitionOfAModule_006 language "TTCN-3:2012" {
+
+}
+<END_MODULE>
+
+<RESULT IF_PASS NEGATIVE>
+error
+<END_RESULT>
+
+<END_TC>
+:exmp
+
+*---------------------------------------------------------------------*
+:h3. Syn_0801_DefinitionOfAModule_007 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - Ensure that a module definition with ed4.5.1 language and package is accepted. >
+
+<COMPILE>
+
+<MODULE TTCN Syn_0801_DefinitionOfAModule_007 Syn_0801_DefinitionOfAModule_007.ttcn >
+/*****************************************************************
+ ** @version  0.0.1
+ ** @purpose  1:8.1, Ensure that a module definition with ed4.5.1 language and package is accepted.
+ ** @verdict  pass accept, noexecution
+ *****************************************************************/
+
+module Syn_0801_DefinitionOfAModule_007 language "TTCN-3:2013" {
+
+}
+<END_MODULE>
+
+<RESULT IF_PASS NEGATIVE>
+error
+<END_RESULT>
+
+<END_TC>
+:exmp
+
+*---------------------------------------------------------------------*
+:h3. Syn_0801_DefinitionOfAModule_008 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - Ensure that a module definition with ed4.6.1 language and package is accepted. >
+
+<COMPILE>
+
+<MODULE TTCN Syn_0801_DefinitionOfAModule_008 Syn_0801_DefinitionOfAModule_008.ttcn >
+/*****************************************************************
+ ** @version  0.0.1
+ ** @purpose  1:8.1, Ensure that a module definition with ed4.6.1 language and package is accepted.
+ ** @verdict  pass accept, noexecution
+ *****************************************************************/
+
+module Syn_0801_DefinitionOfAModule_008 language "TTCN-3:2014" {
+
+}
+<END_MODULE>
+
+<RESULT IF_PASS NEGATIVE>
+error
+<END_RESULT>
+
+<END_TC>
+:exmp
+
+*---------------------------------------------------------------------*
+:h3. Syn_0801_DefinitionOfAModule_009 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - Ensure that a module definition with ed4.7.1 language and package is accepted. >
+
+<COMPILE>
+
+<MODULE TTCN Syn_0801_DefinitionOfAModule_009 Syn_0801_DefinitionOfAModule_009.ttcn >
+/*****************************************************************
+ ** @version  0.0.1
+ ** @purpose  1:8.1, Ensure that a module definition with ed4.7.1 language and package is accepted.
+ ** @verdict  pass accept, noexecution
+ *****************************************************************/
+
+module Syn_0801_DefinitionOfAModule_009 language "TTCN-3:2015" {
+
+}
+<END_MODULE>
+
+<RESULT IF_PASS NEGATIVE>
+error
+<END_RESULT>
+
+<END_TC>
+:exmp
+
+.*---------------------------------------------------------------------*
+:h1.References
+.*---------------------------------------------------------------------*
+:list.
+:li D='[1]'.1/1/174 02-CRL 113 200/5 Uen
+:nl.Statement of Compliance for TITAN project
+:li D='[2]'.ETSI ES 201 873-1, v4.7.1 Mockup v1 (2015-06):
+:nl.Testing and Test Control Notation version 3.,
+:nl.Part 1: TTCN-3 Core Language
+:elist.

conformance_test/negative_tests/README.txt

+// README to negative conformance tests
+
+How to run:
+The tests can be started all at once:
+	./run_test_all
+
+How to run scripts individually:
+	./SAtester.pl scriptname.script

conformance_test/negative_tests/Temp.ttcn

+module Temp {
+}

conformance_test/negative_tests/run_test_all

+#!/bin/bash
+
+SCRIPTFLAGS=
+while [ $# -gt 0 ]; do
+case $1 in
+"-coverage") SCRIPTFLAGS+=" -coverage"; shift 1 ;;
+"-rt2") SCRIPTFLAGS=" -rt2"; shift 1 ;;
+*) echo "Usage: $0 [-rt2] [-coverage]"; exit 1 ;;
+esac
+done
+
+echo "Batch execution of SA tests: creating 1 report for each script file"
+echo "You must have a symlink in this directory named perl and pointing to perl 5.6.0 or higher"
+
+echo "./perl ../Tools/SAtester.pl $SCRIPTFLAGS -log SA_log.report *.script"
+./perl ../../function_test/Tools/SAtester.pl $SCRIPTFLAGS -log SA_log.report *.script