Building a safe and secure embedded world

Static & dynamic software analysis

Software testing for Arm microcontrollers

Software testing at its best: Frank Büchner, recognized expert for software testing and Principle Engineer Software Testing at Hitex, explains in a video the most important basics for static and dynamic software analysis with ECLAIR and TESSY

ECLAIR: Powerful platform for software verification ECLAIR is a powerful platform for software verification. ECLAIR works on the desktop to find critical defects while software is being coded, in the context of the build environment and compiler. The extreme flexibility of ECLAIR allows it to be tailored for any software verification problem and to any software development process.

TESSY – the invaluable test tool TESSY performs automated dynamic module / unit and integration testing of embedded software and determines the code coverage along the way. This kind of test is required for certifications according to standards such as DO-178, IEC 61508 or ISO 26262.

Search FormContactOnlineshop