RT Tester description - openETCS/model-evaluation GitHub Wiki

RT-Tester description

RT-Tester

Verified Systems International GmbH

Website

http://www.verified.de/en/products/rt-tester

Contact email

[email protected]

Main usage:

  • Modelling
  • Code generation
  • Test case generation
  • Model verification
  • Code verification
  • Other (Please elaborate)

Summary

The RT-Tester test automation tool, made by Verified, performs automatic test generation, test execution and real-time test evaluation. It supports different testing approach such as unit testing, software integration testing for component, hardware/software integration testing and system integration testing. The Major features are :

  • One tool for all test levels
  • Automated test case generation
  • Model-based testing support
  • Hard real-time capabilities

Publications

  • Tool description
  • Automated Test Case Generation with SMT-Solving and Abstract Interpretation, Jan Peleska, Elena Vorobev and Florian Lapschies,NFM 2011 pdf

Support and Survivability

Commercial support through a company.

Applicability

Key capabilities

  • Scalable test bench performance supported by multiprocessor and cluster technology.
  • Hard real-time test control, simulation and optional on-the-fly checking supported by a Linux kernel extension.
  • Powerful test languages for efficient development of procedures for automated test execution.
  • Automated test data generation and checking of system behaviour against expected results based on formal specifications.
  • Automated test data generation for source code coverage.
  • A unified approach for testing on all integration levels - from unit tests to system integration testing.

Input

SyML/UML

Output

  • Test cases databases
  • Test executables
  • Model simulation executables
  • Test cases/ requirements links

Main restrictions

The SysML accepted is described in the user manual

Manual or automated use of the tool

  • Fully autonatic tool

Expertise level

  • It is better to kow the model we working on to debug it from test failure

Integration in the tool chain and development process

Currently distributed: Yes

Underlying technologies

  • write in C++
  • support for Ubutu/Windows/Mac
  • may be run as a server on a virtual machine and user just need a graphical interface

Traceability

Industrials need to maintain some traceability between source documents and deliverables, for certification purposes, as well as for maintenance and evolution purposes. Does the tool provide such traceability, or does it integrate in such a way that the traceability is maintained in a satisfactory way (notably WRT CENELEC requirements)?

Team work:

  • The tool support team working
  • The tool will support versionning soon

Certification issues:

The tool nay be in a SIL4 development process.

Participants

Verified Systems International GmbH

Tool available for openETCS participants? For non commercial use

If yes, Under which licence? to be defined

If no, or not under an Open Source licence, are there plan to do it? to be defined

Licenses of underlying technologies

Eclipse interface

An Eclipse plug-in will be soon available

Other integration possibilities

Existing industrial usage

See this [page] (http://www.verified.de/en/references) for reference s

Custommers

  • Airbus Deutschland GmbH
  • Rheinmetall Defence Electronics
  • Astrium
  • OHB
  • Daimler AG
  • Siemens AG
  • ELPRO
  • ESW-Extel
  • Transnet SA

Planned development

An Eclipse plug-in will be soon available