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.
"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.
Weitere Infos zu dieser Pressemeldung:
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 385 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).
28. März 2023 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, veröffentlicht RecordFlux. Das neue Toolset ermöglicht die Implementierung hochsicherer binärer Kommunikationsprotokolle. RecordFlux (www.adacore.com/re
AdaCore tritt der Rust Foundation bei ...
8. Februar 2023 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, gibt seinen Beitritt zur Rust Foundation als Silver Member bekannt. Die unabhängige und gemeinnützige Organisation fördert die Weiterentwicklung der Progr
AdaCore und Synopsys integrieren statische Analyse von Ada-Code in Coverity ...
Paris, 14. Dezember 2022 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für unternehmens- und sicherheitskritische Systeme, gibt die Zusammenarbeit mit der Synopsys Software Integrity Group bekannt, einem führenden Entwickler von Tools für Anwendungssicherheitstests.
Weitere Mitteilungen von AdaCore
Christian Haas ist neuer Vertriebsleiter für die Schweiz bei KEYMILE ...
Der gebürtige Schweizer Christian Haas (45) ist neuer Sales Director Market Switzerland bei der KEYMILE AG in Bern. Christian Haas verfügt über eine mehr als zwanzigjährige Erfahrung im Telekommunikationsmarkt. Seine berufliche Karriere begann er als Hardware-Entwicklungsingenieur. Danach war er
Allrounder für Digital Signage-Umgebungen ...
Heusden-Zolder (Belgien), 31. Januar 2012. Auf der heute startenden Integrated Systems Europe (ISE, 31.1. bis 02.02.2012 in Amsterdam) präsentiert ATEN, führender Entwickler und Hersteller moderner Konnektivitätslösungen, in Halle 11/ Stand 11N59 erstmals die VanCryst™ HDMI Media Distribution
Shopware veröffentlicht eigenes eCommerce-Framework ...
Das auf der Skriptsprache PHP aufgebaute eCommerce Framework Enlight wurde bereits vor einigen Monaten zu Testzwecken als partielle technische Basis für die Software Shopware 3.5, das eigentliche Hauptprodukt des westfälischen Unternehmens, eingesetzt. Nun ist Enlight ausgereift und wird ab der im
Dell bietet mit vStart 200m eine neue Virtualisierungslösung ...
Dell vStart 200m enthält ein Komplettpaket bestehend aus Dell-Servern, Massenspeicher, Netzwerk-Komponenten, Rack, Verkabelung, Microsoft Hyper-V und Windows Server 2008 R2 DataCenter Edition. Mit dem Komplettpaket können Unternehmen bis zu 200 virtuelle Maschinen einrichten und nutzen. Die Kompon
