- | Home |
- Company |
- Contact |
- News |
- S/ware Eng |
- Standards |
- Academic Support |
- Documents |
- | Requirements |
- Validation |
- RTOS |
- Analysis |
- Software |
- Resources |
- Products |
Analysis Tools
From project estimation to source code analysis and reverse engineering
Tessy Dynamic Test System
TESSY automates the whole unit test cycle including regression testing for your embedded software in C/C++ on different target systems. As an easy-to-install and easy to operate testing tool TESSY guides you through the unit test workflow from the project setup through the test design and execution to the result analysis and reporting. TESSY takes additionally care of the complete test organization as well as the test management, including requirements, coverage measurement, and traceability. >more information
AbsInt tools for validation, verification and certification of safety-critical software.
AbsInt provides advanced Static Anaysis, Stack usage and timing tools for embedded systems, and tools for validation, verification and certification of safety-critical software. > Link to