
314 Model-Based Testing for Embedded Systems
Listing 12.7 shows the retrieval of the step size for different measurement records.
Listing 12.7
Sampling Access
1var float myStepSize1 , myStepSize2 , myStepSize3 ;
2
...
3myStepSize1 := ti Engine Speed . delta ;
4myStepSize2 := ti Engine
Speed .prev ().delta ;
5myStepSize3 := ti Engine Speed .at (10.0).delta ;
12.4.1.4 Integration of streams with existing TTCN-3 data structures
To enable the processing and assessment of stream values by means of existing TTCN-3
statements, we provide a mapping of streams, stream values, and the respective measure-
ment records to standard TTCN-3 data structures, namely records ...