Software Quality: Tools
Handle standards using RiskCAT
Standards like IEC 61508 or ISO 26262 comprise of several hundreds of possible measures. RiskCAT helps to select and comment the measures of IEC 61508 and other standards.
Static software analysis
Static software analysis generates investigates the source code of a program. This may reveal questionable constructs in the code, or allows calculating metrics. Advanced techniques point to actual errors that will occur during runtime if not fixed.
Static software analysis using Goanna. Goanna uses model checking techniques to provide inter-procedural analysis and abstract data value tracking. Finds division by zero, NULL pointer dereferencing, index out of bounds, etc.
Static software analysis using PC-lint.
The command line tool PC-lint checks C / C++ source code. Works across modules. Supports MISRA C and C++.
Test case specification using CTE
Specify your test cases using the Classification Tree Method (CTM) which is supported by the Classification Tree Editor (CTE).
Unit / module / integration testing using Tessy
Tessy provides automated unit / module / integration testing of embedded software written in C/C++ directly on the actual target hardware. It determines code coverage and generates test documentation.
Contact Hitex
Please contact our sales team if you have any questions.
E-Mail: sales(at)hitex.de
Phone: +49-721-9628-0