Product category:
Compliance Engineering
News Release from: Hitex Development Tools | Subject: Tessy
Edited by the Electronicstalk Editorial
Team on 21 December 2007
Software testing aids safety compliance
Tessy is a tool designed specifically to automate the module/unit testing of embedded software.
Hitex Development Tools has completed a successful module testing project for Becker Mining Systems The project involved testing the software for an active explosion barrier system for gasy underground mines
This article was originally published on Electronicstalk on 20 Feb 2004 at 8.00am (UK)
Related stories
Upgrade for embedded test automation
Tessy, the tool for automating the testing of embedded software, is now available in version 2.2.9.
Embedded software test tool is easier to run
The latest version of the Tessy automated embedded software test tool offers extended functionality and ease of use.
This is a safety system for use within a working mine, mainly consisting of a large reservoir of water.
In case of a gas explosion underground, this system will detonate and produce a shield of water from a local reservoir.
The water has to shield the personnel and the material in the mine against the effects of the explosion.
Obviously, such a system can only be ignited once, like an airbag.
Therefore, it is very important that it is not used prematurely by a "false alarm".
On the other hand, the system must not fail, in case it is needed.
Because of the safety-related functionality, the system had to be certified according to IEC61508, Safety Integrity Level 2.
Because of the safety integrity level, module testing of the software was mandatory.
The required tests were done by Hitex on behalf of Becker Mining Systems.
The software under test was written in C and runs on a multiprocessor system.
Testing was accomplished by using Tessy, a tool designed specifically to automate the module/unit testing of embedded software.
Tessy was also used to determine the branch/decision coverage.
The specification of the test cases was done according to the classification tree method.
A short time after the tests with Tessy were finalised, the active explosion barrier system for gasy underground mines received certification according to IEC61508 from the Dekra Exam.
• Hitex Development Tools: contact details and other news
• Email this article to a colleague
• Register for the free Electronicstalk email newsletter
• Electronicstalk Home Page
Search the Pro-Talk network of sites
