Suche   Â
AdaCore reduziert mit GNATtest den Entwicklungsaufwand in großen Softwareprojekten
ID: 565445
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.
(firmenpresse) - 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.
Unternehmensinformation / Kurzprofil:
AdaCore wurde 1994 gegründet und ist der führende Anbieter von kommerziellen Softwarelösungen für Ada, einer modernen Programmiersprache für große, langlebige Anwendungen, bei denen Sicherheit und Verlässlichkeit kritisch sind. Das wichtigste Produkt des Unternehmens ist die Entwicklungsumgebung GNAT Pro, die Online-Support bietet und auf mehr Plattformen als jede andere Ada-Technologie verfügbar ist. AdaCore hat eine große, weltweite Kundenbasis; bitte finden Sie weitere Informationen auf der folgenden Seite: http://www.adacore.com/home/company/customers.
Sowohl Ada als auch GNAT Pro werden immer häufiger im High-integrity-Bereich und für sicherheitszertifizierte Anwendungen eingesetzt, so vor allem in sicherheitssensiblen Bereichen wie der Luftfahrt, militärischen Systemen, der Flugverkehrskontrolle, dem Flugverkehrsmanagement, dem Eisenbahnbereich, der medizinischen Produkte oder dem Finanzsektor.
AdaCore hat seinen nordamerikanischen Hauptsitz in New York, der europäische Hauptsitz ist in Paris. Weitere Informationen unter www.adacore.com
AdaCore
Jamie Ayre
press(at)AdaCore.com
www.AdaCore.com
http://twitter.com/AdaCoreCompany
PR-COM GmbH
Frank Bauderer
frank.bauderer(at)pr-com.de
www.pr-com.de
Tel. +49-89-59997-803
  
  
  
Datum: 01.02.2012 - 13:03 Uhr
Sprache: Deutsch
News-ID 565445
Anzahl Zeichen: 3741
Kontakt-Informationen:
Ansprechpartner: Frank Bauderer
Stadt:
Paris
Telefon: +49-89-59997-803
Kategorie:
Computer & Technik
Meldungsart: Produktankündigung
Versandart: Veröffentlichung
Freigabedatum: 01.02.2012
Diese Pressemitteilung wurde bisher 0 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"AdaCore reduziert mit GNATtest den Entwicklungsaufwand in großen Softwareprojekten"
steht unter der journalistisch-redaktionellen Verantwortung von
AdaCore (Nachricht senden)
Beachten Sie bitte die weiteren Informationen zum Haftungsauschluß (gemäß TMG - TeleMedianGesetz) und dem Datenschutz (gemäß der DSGVO).