-
Notifications
You must be signed in to change notification settings - Fork 20
RT Tester description
Verified Systems International GmbH
http://www.verified.de/en/products/rt-tester
- Modelling
- Code generation
- Test case generation
- Model verification
- Code verification
- Other (Please elaborate)
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
- Tool description
- Automated Test Case Generation with SMT-Solving and Abstract Interpretation, Jan Peleska, Elena Vorobev and Florian Lapschies,NFM 2011 pdf
Commercial support through a company.
- 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.
SyML/UML
- Test cases databases
- Test executables
- Model simulation executables
- Test cases/ requirements links
The SysML accepted is described in the user manual
- Fully autonatic tool
- It is better to kow the model we working on to debug it from test failure
- 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
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)?
- The tool support team working
- The tool will support versionning soon
The tool nay be in a SIL4 development process.
Verified Systems International GmbH
An Eclipse plug-in will be soon available
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
An Eclipse plug-in will be soon available