(openPR) Paris, 1. Februar 2012 – AdaCore, Anbieter von Lösungen für missions- und sicherheitskritische Software, hat GNATtest, einen Generator von Unit-Test-Frameworks für Ada, vorgestellt. Mit GNATtest können Unternehmen die Entwicklung und Pflege von umfangreichen Tests in großen Softwareprojekten erheblich vereinfachen.
Die Erstellung und Wartung von Unit-Tests und dem dazugehörigen Framework ist zwar für die Entwicklung von verlässlichen Systemen unerlässlich, sie ist aber gerade für große Projekte umständlich und aufwändig, und bei manueller Ausführung überdies sehr fehleranfällig. Änderungen in der Anwendungssoftware, wie das Hinzufügen eines Subprogramms oder eines Pakets (Moduls), oder die Änderung der Spezifikation (der Schnittstelle) eines Subprogramms, bedingen entsprechende Änderungen in der Testsuite und dem Framework. GNATtest ermöglicht eine Vereinfachung dieses Prozesses, indem es automatisch den Framework-Code sowie ein Unit-Test-Gerüst für jedes zu testende Subprogramm erzeugt und aktualisiert. Dabei werden Sonderfälle der Programmiersprache Ada berücksichtigt, zum Beispiel Sichtbarkeitsregeln oder das Überladen von Subprogrammen. Der Entwickler kann sich damit ganz auf die eigentliche Arbeit, das Schreiben des Testcodes, konzentrieren.
"Bei AdaCore legen wir Wert auf das Prinzip, dass kritische Software effizienter entwickelt werden kann, wenn man Genauigkeit und Präzision mit agilen Methoden verknüpft", sagt Cyrille Comar, Präsident und technischer Direktor von AdaCore Europe in Paris. "Das erfordert kontinuierliches Testen, und ein Werkzeug wie GNATtest ist essentiell, damit die Unit-Tests mit einer sich schnell entwickelnden Anwendung Schritt halten können."
GNATtest ist ein wertvolles Werkzeug für viele Arten von Software, von nativ bis embedded in allen Anwendungsbereichen, und lässt sich problemlos mit modernen Entwicklungsprozessen, wie den agilen Methoden, kombinieren. GNATtest zeigt seine Stärken insbesondere im Kontext von verlässlichen, sicherheitskritischen und missionskritischen Systemen, da es den Aufwand verringert, der nötig ist, die von den Zertifikationsstandards, wie DO-178B und DO-178C, geforderten Testfälle und Testabläufe zu implementieren. Diese Standards sehen anforderungsbasierte Tests als kritischen Teil des Verifikationsprozesses. Da einzelne Subprogramme oft direkt eine bestimmte Low-Level-Anforderung implementieren, kann das Testframework und -gerüst, das von GNATtest erstellt wurde, sofort ein Teil des Zertifizierungsdokuments werden. In Zusammenarbeit mit einer Testabdeckungsanalyse, wie sie zum Beispiel von GNATcoverage erstellt wird, bietet GNATtest eine hervorragende Lösung für die Verifikation von in Ada entwickelter embedded Software.
Für Entwickler, die die neuesten Features von Ada nutzen, bietet GNATtest eine Unterstützung für den Test objektorientierter Programme, einschließlich der Verifikation des Liskovschen Substitutionsprinzips, wie es auch von dem DO-178C-Anhang "Object-Oriented Technology and Related Techniques" (DO-322) gefordert wird. GNATtest nutzt auch die in Ada 2012 verfügbaren Möglichkeiten des Programming-by-Contract, etwa Preconditions, Postconditions oder Invarianten.
GNATtest ist mit der Entwicklungsumgebung GNAT Pro verfügbar und unterstützt alle Zielsysteme.
Webinar
Ein Webinar stellt Strategien zum Unit-Test mit GNATtest und GNATcoverage vor und wird am Dienstag, dem 20. März stattfinden. Mehr Informationen: http://www.adacore.com/home/products/gnatpro/webinars
Diese Presseinformation kann auch unter www.pr-com.de abgerufen werden.
