|
||||||
![]() |
RTDS V4.0 new features TestLatest release of RTDS introduces support of a standard testing language including syntax and semantic verification, simulation, debug, and graphical traces. The formal models can be simulated against their related test suites. Traces and breakpoints can be set within the model or within the test suites and stepping is available on both sides because the bug might be in the model or in the test suite.
A TTCN-3 example test suite The test verdict is displayed in the debugger window and in the graphical execution trace window.
Test verdict in an execution trace |
Prototyping interfaceReal Time Developer Studio has a built-in prototyping GUI design tool in order to easily interact with the model.
Prototyping GUI editor Executing the model with an end-user interface looking like the real system enables developers to verify that the model behaves as expected by your customer.
Prototyping GUI runner Built-in schedulerPart or all of the system can be executed in a single RTOS task or on a bare target. That allows for example all the instances of one process to be executed in one RTOS task.XMI importUML models can be imported with the new XMI import module.Merge utilityRTDS provides an automatic merge utility to be used by a configuration management tool.All new featuresAll the new features are described here for our existing customers. |