Commit 88be24cd authored by Yann Garcia's avatar Yann Garcia
Browse files

Add TDL project

parent 79f2087e
Loading
Loading
Loading
Loading

README.md

0 → 100644
+0 −0

Empty file added.

install.sh

0 → 100755
+0 −0

Empty file added.

tdl/.project

0 → 100644
+17 −0
Original line number Diff line number Diff line
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
	<name>TTF T029 Ext</name>
	<comment></comment>
	<projects>
	</projects>
	<buildSpec>
		<buildCommand>
			<name>org.eclipse.xtext.ui.shared.xtextBuilder</name>
			<arguments>
			</arguments>
		</buildCommand>
	</buildSpec>
	<natures>
		<nature>org.eclipse.xtext.ui.shared.xtextNature</nature>
	</natures>
</projectDescription>
+57.2 KiB

File added.

No diff preview for this file type.

+87 −0
Original line number Diff line number Diff line
Package AtsPNC_TCs {
    Import all from Standard

    Import all from ietf_yang_library
    Import all from ietf_networks

    Import all from HTTP
    Import all from HTTP.MessageBased
    Import all from mWT_Common
    Import all from mWT_Common.Data

    Import all from AtsPNC_TPs

    // Mappings for code generation
    //Import all from AtsPNC_API.JavaMapping
    Import all from HttpJavaMappings
    Import all from Java

    Annotation PICS_IUT_PNC
    Annotation PICS_RESTCONF
    Annotation PICS_SEC_TLS

    Objective: TO_mWT_PNC_RESTCONF_GET_BV_01
    @Test Purpose Description TP_mWT_PNC_RESTCONF_GET_BV_01
    @PICS_IUT_PNC and PICS_RESTCONF and PICS_SEC_TLS
    Test Description TC_mWT_PNC_RESTCONF_GET_BV_01 uses Config_mWT_2 {
        IUT receives vRequestGet(uri="/restconf/data/ietf-yang-library:modules-state") 
        from TEST_SYSTEM
        start TEST_SYSTEM::receiveTimer for default_recv_timeout
        alternatively {
            IUT sends r200 to TEST_SYSTEM
            body = (
                modules_state = (
                    name_ = "ietf-yang-library:modules-state",
                    modules )) // FIXME list not empty
            set verdict to pass
        } or {
            IUT sends vErrorResponse to TEST_SYSTEM
            set verdict to fail
        } or {
            // Timeout -> if using timers
            timeout on TEST_SYSTEM::receiveTimer
            set verdict to inconclusive
        } // End of 'alternate' statement
    }

    Objective: TO_mWT_PNC_RESTCONF_GET_BV_02
    @Test Purpose Description
    @PICS_IUT_PNC and PICS_RESTCONF and PICS_SEC_TLS
    Test Description TC_mWT_PNC_RESTCONF_GET_BV_02 uses Config_mWT_2 {
        IUT receives vRequestGet(uri="/restconf/data/ietf-yang-library:modules-state") 
        from TEST_SYSTEM
        start TEST_SYSTEM::receiveTimer for default_recv_timeout
        alternatively {
            IUT sends r200 to TEST_SYSTEM
            body = (
                modules_state = (
                    name_ = "ietf-yang-library:modules-state",
                    modules = ( // A list of items
                        (
                            name_ = "ietf-datastores",
                            revision = ?,
                            schema = ?,
                            namespace = ?,
                            conformance_type = ?
                        ),
                        (
                            name_ = "ietf-inet-types",
                            revision = ?,
                            schema = ?,
                            namespace = ?,
                            conformance_type = ?
                        )
                         // FIXME list of item
                    )))
            set verdict to pass
        } or {
            IUT sends vErrorResponse to TEST_SYSTEM
            set verdict to fail
        } or {
            // Timeout -> if using timers
            timeout on TEST_SYSTEM::receiveTimer
            set verdict to inconclusive
        } // End of 'alternate' statement
    }

} // End of Package AtsPNC_TCs
 No newline at end of file
Loading