Sample.tdltx

Package Sample {
    //standard annotations for STO
    //Annotation Initial conditions
    //Annotation Expected behaviour
    //Annotation Final conditions
    //Annotation Test Purpose Description
    //Annotation when
    //Annotation then
    //example types
    Type integer
    Type string
    Type float
    Time sec
    sec i
    float r
    string s
    //example configuration
    Message Gate http accepts string, integer
    Component node {
        gate http interface
    }
    Configuration base {
        node sut as SUT,
        node tester as Tester,
        connect sut::interface to tester::interface
    }
    //example test description
    Test example uses base {
        terminate
        //wait for i on tester
        //tester::interface sends "hello" {string} to sut::interface
        //example constraint violation
        //tester::interface sends s to sut::interface
    }
}