Verified Home

Verified Systems International GmbH

Quality Assurance for Embedded Systems

RT-Tester 7.1.0 now available (new feature)

Posted on July 28, 2025 in category Releases/RT-Tester

A new feature release is now available for all supported platforms.
Consider updating if you are using Version 7.0.6 or older.

Attention: Windows Users with License Server

If you are using a (floating) license located on a local or remote license server, then you need to make sure to use an up-to-date vendor daemon verified[.exe] there. The new vendor daemon is provided in <RTTDIR>/share/rt-tester/RTT-LIC-SERVER.tgz. for details see <RTTDIR>/share/doc/packages/rt-tester/rt-tester-license-mgmt.pdf:
Appendix A.5 Checkout failed: Bad message command Contact license@verified.de in case of problems.

New Features

  1. Configuration and Automation:

    • Implicitly applied command line options can be configured in a project-global or TLA-local file rtt.cfg (FR #20470)
    • Projects and/or test procedures can activate MAKE_HOOKS that
      invoke make before or after scripts are run (FR #21960)
    • New RTTL command @beginHook configure @rttBeginTestStep to always invoke a function, e.g., in order to reset fixtures (FR #22201)

  2. New or updated RTTL Commands and Macros:

    • New RTTL command @delayUntil(timer, value) (FR #20130)
    • New (optional) trailing parameter for the signal commands
      @sigWaitForAllChg(), @sigWaitForAllRd(), @sigWaitForAllVal() and @sigWaitForAllUpdate()
      to collect received signal values (FR #5944)
    • New RTTL macro @tag that evaluates to the most previous defined tag; this simplifies tracing by allowing: @rttAssert(<expression>, @tag); (FR #22137)
    • They are used / demonstrated in the included DEMO project

  3. Define Test Data Vectors in RTTL:

    • The CSV-style table definitions inside @rttPrint are now allow for long data entries (line continuations), one-line comments, and commented-out sections
    • The CSV entries may be equipped with type information and then referenced as @csvVal(), which evaluates to the column-fitting type (FR #22096)
    • The CSV data is part of the test sources, appears in the test log and can be pretty-printed as LaTeX or HTML for documentation; thus this can serve as test data vector that combines set of inputs with expected results.

  4. Test Configuration Fields:

    • Cluster: allow value EXPLICIT_STARTUP_SYNC; ptp (FR #21835)
      to leave time synchronization to external mechanisms
      like Precision Time Protocol (PTP) configuration
    • New configuration field STOP_ON_TESTERROR (FR #20371)

  5. Extend Transmission of Signals to UDP Socket:

    • Allow to override default setting by command line
      (run,crd): --signal-socket <ip>:<port> (FR #22042)
    • Equip init datagram with start of test (FR #22092)
      "C,<abs-time>,<scale>,<testproc-name>,<testcontext>"
    • Also transmit test termination datagram
      "T,<timestamp>,<scale>,<testproc-name>,<testcontext>"
      and rescale the plot to this, if received (FR #22064)

Improvements

  1. Refactored rtt-msword-doc-testproject:

    • Now this is a much faster python script based on jinja2 (FR #21501)
      contact support@verified.de if you have trouble getting jinja2 installed
    • The old bash version may still be used as rtt-msword-doc-testproject-legacy

  2. Script Operations:

    • rtt-run-test: add delay (2 seconds) before forcing termination (SIGKILL);
      this allows more time for processing the @FINIT sections or writing memory log files to disk
    • rtt-doc-test: do not abort, if COMPONENTNAMES does not exist or is not readable (implements #22212)
    • rtt-list-results, rtt-handle-suite: added option --color (use ANSI terminal colors for status)
    • rtt-handle-suite: apply lexicographic sorting when showing suites or storing test procedures

  3. Robustness (of Tracing):

    • if ALL-TC-COV.csv is detected to be outdated, it is removed;
      (it will be re-created on demand);
      this also resolves an issue with *.csv data that rtt-html-doc created
      while a test procedure was still running
    • concerns all rtt-doc-test, rtt-get-tc-coverage, rtt-html-doc

  4. Cadul Compiler:

    • add warning about command line size limit to FAQ
    • add possibility for smooth termination (FR #21964)
    • include order now uses -I. early
      (to resolve clashes with headers in ./stubsrc/ directories)

  5. Stub Handling:

    • commit the type names in STUB/UUT call to the test log (FR #22024)
    • extended stub syntax: align the @now counter with the call counter (FR #22165)

  6. License Management:

    • upgrade Linux license daemon to FlexLM/lmhostid 11.19.6.0 (compare #21489)
    • rtt-request-node-lock-license uses use newer FlexLM 11.19.6.0 version of lmhostid
    • Appendix A.5 Checkout failed: Bad message command explains upgrade of the vendor daemon

  7. User Manual:

    • add and explain new @beginHook, @delayUntil, @tag, @csvType and @csvVal
    • documented optional index for @uut / @rttCall
    • address precision time protocol (PTP) in section 13.7.2 Cluster Clock Drift
    • added section on abnormal termination (13.3.1) and list flag -DRTT_CONFIG_CHECK_TERMINATION_FILE
    • added note on temporary files (see #5487)

Bugfixes

  1. Stub Definitions:

    • Recognize char const* parameters as strings (fixes #22111)
      and also the related char unsigned*

  2. Test Tag Documentation (HTML):

    • avoid double-escaping of doublequotes/backslashes;
      also affects output of rtt-html-doc (see #21831)

Latest Releases

Publications