Lecture Notes in Computer Science 3472

470 George Din
16.3.1 Test Building Blocks
The top-level building-block of TTCN-3 is the module. A module contains all
other TTCN-3 constructs, but cannot contain sub-modules. It can import completely
or partially the definitions of other modules. The modules are defined
with the keyword module.
In our web service example we define the WebServiceModule. This module
imports all definitions from UtilsModule. The module parameter serviceId is a
parameter which can be configured by the tester at execution and which indicates
the service to be tested (serviceId takes the default value ”0”.
module WebServiceModule {
}
// imports some util functions from another module
import from UtilsModule all;
// module parameter -> the id of the tested service
modulepar { integer serviceId := 0; };
// other definitions ...
The modules can be parameterized; parameters are sets of values that are
supplied by the test environment at runtime. A parameter can be initialized with
a default value which can be changed, later, at execution time.
A module has two parts: the module definition part and the module control
part. The definition part contains the data defined by that module (functions,
test cases, components, types, templates), which can be used everywhere in the
module and can be imported from other modules. The control part is the main
program of the module, which describes the execution sequence of test cases or
functions. It can access the verdicts delivered by test cases and, according to
them, can decide the next steps of execution.
We define, in our example, a control part which tests if a Dino entry exists in
the web service database. If the verdict is fail, which means that the entry does
not exist, another test case is started. The float values in the execute commands
represent the maximal time the execution environment must wait until the test
cases finish. If the test case does not finish in the indicated period of time, the
test case is stopped with the verdict inconc.
// CONTROL PART
control {
verdicttype v;
v := execute(SeparateSearchFunctionalTest(serviceId), 1.0);
if(v == fail){
v := execute(SeparateAddFunctionalTest(serviceId), 2.0);
}
}