Commit 43e797f9 authored by pintar's avatar pintar
Browse files

New tests added

parent 80f4ff96

ATS/06_built_in_data_types/0604_float_types/060401_decimal/Pos_060401_decimal_001/Pos_060401_decimal_001.ttcn

0 → 100644
+58 −0
Original line number Diff line number Diff line 
/***************************************************

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:6.4.1 Verify that decimal type shall be translated to TTCN-3 as a plain float

 ** @verdict  pass accept, ttcn3verdict:pass

 ***************************************************/

module Pos_060401_decimal_001 {



    import from schema_Pos_060401_decimal_001 language "XSD" all;



    template E1 m_msg := -5.0;





    type universal charstring Raw;

    type universal charstring XsdFile;

    type record of XsdFile XsdFileList;



    type port P message {

        inout all;

    }

    type component C {

        port P p;

    }



	external function matchFile(Raw p_textToMatch, XsdFile p_referenceXmlFile, XsdFileList p_xsdFileList, out universal charstring p_matchError) return boolean;

//    external function matchFile(Raw p_textToMatch, charstring p_filePath, out charstring p_matchError) return boolean;



    testcase TC_Pos_060401_decimal_001() runs on C system C {

        var Raw v_rcv;

        var charstring v_matchError;

        map(self:p, system:p);

        p.send(m_msg);

        alt {

            []	p.check(receive(Raw:?) -> value v_rcv) {

                if (matchFile(v_rcv, "Pos_060401_decimal_001.xml", { "Pos_060401_decimal_001.xsd" }, v_matchError)) {

                    alt {

                        [] p.receive(m_msg) {

                            setverdict(pass);

                        }

                        [] p.receive {

                            setverdict(fail, "XML decoding failure");

                        }

                    }

                } else {

                    setverdict(fail, v_matchError);

                }

            }

            [] p.receive {

                setverdict(fail, "Raw decoding failure");

            }

        }

    }



    control {

        execute(TC_Pos_060401_decimal_001(), 5.0);

    }



}

ATS/06_built_in_data_types/0604_float_types/060401_decimal/Pos_060401_decimal_001/Pos_060401_decimal_001.xml

0 → 100644
+4 −0
Original line number Diff line number Diff line 
<?xml version="1.0" encoding="UTF-8"?>

<e1el

    xmlns="schema:Pos_060401_decimal_001"

>-5.0</e1el>

ATS/06_built_in_data_types/0604_float_types/060401_decimal/Pos_060401_decimal_001/Pos_060401_decimal_001.xsd

0 → 100644
+9 −0
Original line number Diff line number Diff line 
<?xml version="1.0" encoding="UTF-8"?>

<schema xmlns="http://www.w3.org/2001/XMLSchema"

  targetNamespace="schema:Pos_060401_decimal_001"

  xmlns:types="schema:Pos_060401_decimal_001">

    <simpleType name="t1">

        <restriction base="decimal"/>

    </simpleType>

    <element name="e1" type="types:t1"/>

</schema>

ATS/06_built_in_data_types/0604_float_types/060403_double/Pos_060403_double_001/Pos_060403_double_001.ttcn

0 → 100644
+58 −0
Original line number Diff line number Diff line 
/***************************************************

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:6.4.3 Verify that double type shall be translated to TTCN-3 as an IEEE754double as defined in clause D.2.1.4 of ES 201 873 1 [1]:

 ** @verdict  pass accept, ttcn3verdict:pass

 ***************************************************/

module Pos_060403_double_001 {



    import from schema_Pos_060403_double_001 language "XSD" all;



    template E1 m_msg := 1.23E9;





    type universal charstring Raw;

    type universal charstring XsdFile;

    type record of XsdFile XsdFileList;



    type port P message {

        inout all;

    }

    type component C {

        port P p;

    }



	external function matchFile(Raw p_textToMatch, XsdFile p_referenceXmlFile, XsdFileList p_xsdFileList, out universal charstring p_matchError) return boolean;

//    external function matchFile(Raw p_textToMatch, charstring p_filePath, out charstring p_matchError) return boolean;



    testcase TC_Pos_060403_double_001() runs on C system C {

        var Raw v_rcv;

        var charstring v_matchError;

        map(self:p, system:p);

        p.send(m_msg);

        alt {

            []	p.check(receive(Raw:?) -> value v_rcv) {

                if (matchFile(v_rcv, "Pos_060403_double_001.xml", { "Pos_060403_double_001.xsd" }, v_matchError)) {

                    alt {

                        [] p.receive(m_msg) {

                            setverdict(pass);

                        }

                        [] p.receive {

                            setverdict(fail, "XML decoding failure");

                        }

                    }

                } else {

                    setverdict(fail, v_matchError);

                }

            }

            [] p.receive {

                setverdict(fail, "Raw decoding failure");

            }

        }

    }



    control {

        execute(TC_Pos_060403_double_001(), 5.0);

    }



}

ATS/06_built_in_data_types/0604_float_types/060403_double/Pos_060403_double_001/Pos_060403_double_001.xml

0 → 100644
+4 −0
Original line number Diff line number Diff line 
<?xml version="1.0" encoding="UTF-8"?>

<e1el

    xmlns="schema:Pos_060403_double_001"

>1.23E9</e1el>