04
Tessy V2.9.16 beta is available
Filed Under (News, Produkte, Tessy) by Buechner on 04-11-2009
Tagged Under : Tessy
Tessy V2.9.16 beta is available for download from the Tessy main page.
04
Tessy V2.9.16 beta is available for download from the Tessy main page.
19
Das Programm des Tessy User Day wird in wesentlichem Maße bestimmt von der Mitwirkung und den Wünschen der Teilnehmer.
Themen:
Weitere Infos hierzu finden Sie unter http://www.hitex.com/index.php?id=1356&L=2
12
Tessy V2.9.15 beta is available from the Tessy main page on the Hitex web.
30
Tessy V2.9.14 beta is available from the Tessy main page.
18
As an update to Tessy V2.9.12 beta, Tessy V2.9.13 beta is available for download from the Tessy main page. Also V2.9.12 beta is available from there, in case you don’t have it already installed.
31
On Monday, September 28th, an introductive seminar on unit / module / integration testing using Tessy will take place at the Hitex’ facilities in Karlsruhe, Germany.
The seminar is free-of-charge for Tessy users under maintenance.
Seminar language is German.
31
On a regular base, Hitex organizes the Tessy User Day, where users of Tessy meet to learn about features of upcoming versions of Tessy, share tips and tricks on Tessy usage, and provide input about required features in new Tessy versions. At the next Tessy User Day on October 1st, Michael Wittner will participate. Michael is CEO of Razorcat, the manufacturer of Tessy. Hence, Michael is the right person to talk to, if you need a special feature implemented in Tessy!
Participation is free-of-charge for Tessy users with maintenance contract.
26
Sometimes, a company which uses Tessy and is pleased with Tessy provides a report about the usage of Tessy. Such a user report is also called a testimonial. Recently, a new testimonial from BMW was added to the lists of user reports for Tessy.
26
This is the first entry about Tessy, the tool to automate unit / module / integration testing of embedded software. This blog is intended to post news about Tessy. To go to the Tessy main page on Hitex.com, click here.
12

Insider's Guide "Modul-/Unit-Test"
So genannte Modul- oder Unit-Tests haben sich als zuverlässige Methode zum Aufspüren von Software-Fehlern bewährt. Doch was sind Modul-/Unit-Tests oder Integrationstests eigentlich und wie gestaltet sich der Testablauf?
Diese und viele weitere Fragen behandelt Hitex ausführlich im „Insider’s Guide To Module/Unit/Integration Testing of Embedded Software“.
Das englischsprachige Buch ist eine umfassende Einführung in das Thema Modul-/Unittest sowie Integrationstest und vermittelt die erforderlichen Grundlagen. Anhand des verbreiteten Modul-/Unit-Testwerkzeugs Tessy werden die relevanten Themen praktisch nachvollziehbar dargestellt und mit vielen Screenshots untermauert. Auch Anwender, die Tessy nicht einsetzen möchten, erhalten mit diesem knapp 400-seitigen Praxisführer einen umfassenden Überblick. Ein ausführlicher Index macht den Insider’s Guide außerdem zum wertvollen Nachschlagewerk – sowohl für Einsteiger wie auch für erfahrene Anwender.
Die gedruckte Ausgabe mit Softcover kann im Hitex-Webshop unter www.ehitex.de bestellt werden.
24
Hitex stellt ein neues Release des bewährten Modul/Unittest-Werkzeugs Tessy vor.
So setzt Tessy nun Maßstäbe mit einer neuartigen Funktion, die einen temporalen Komponententest erlaubt. Darunter versteht man den Test von mehreren kooperierenden Funktionen (in der Komponente zusammengefasst), wobei auch zeitliche Bedingungen aufgrund einer Zeitsimulation getestet werden können. Dabei handelt es sich um Fragestellungen wie zum Beispiel: „Tritt zwischen 30 und 60 ms nach einem bestimmten Ereignis auch die erwartete Reaktion ein?“
Weitere Informationen zu Tessy: http://www.hitex.com/perm/tessy.html
03
Wird ein sicherheitskritisches Projekt nach dem Luftfahrtstandard DO-178B entwickelt, kann eine Qualifizierung der eingesetzten Entwicklungswerkzeuge erforderlich sein.
Dies gilt auch für Tessy, ein Werkzeug zum automatisierten Test der Low Level Requirements nach DO-178B.
Zur Qualifizierung von Tessy wird ein Paket zur Verfügung gestellt, mit dem sich nachweisen lässt, dass kein Test mit unerwartetem Ergebnis als „bestanden“ im Testbericht erscheint.
Das Paket besteht aus Dokumenten und sorgfältig zusammengestellten Testfällen. Die Dokumente beschreiben beispielsweise die Funktionalität von Tessy und inwieweit diese durch das vorliegende Paket überprüft werden muss. Die Testfälle dienen zum Nachweis, dass ein tatsächlich fehlgeschlagener Testfall im Testbericht auch als solcher ausgewiesen wird. So gibt es zum Beispiel Testfälle, die überprüfen, ob ein Testergebniswert außerhalb der zugelassenen Abweichung (z.B. -2%) auch tatsächlich zum Fehlschlagen des Testfalls führt. Andere Testfälle überprüfen beispielsweise, dass sich nicht eine Testüberdeckung von 100% ergibt, wenn das Testobjekt nur teilweise durchlaufen wurde.
Falls erforderlich, kann das Qualifizierungspaket sehr schnell an das Projekt des Anwenders angepasst werden, um z.B. die Testfälle mit genau der Version des Cross-Compilers durchzuführen, die in dem fraglichen sicherheitskritischen Projekt verwendet wird.
Obwohl das Qualifizierungs-Paket im Hinblick auf DO-178B konzipiert ist, ist es auch für Projekte nützlich, die nach einem anderen Standard, z.B. IEC 61508, entwickelt werden.
Auch Tessy-Anwender, die das Qualifizierungspaket nicht explizit verwenden, profitieren davon, denn selbstverständlich wird Tessy vor jedem neuen Release mit den Testfällen des Pakets überprüft.