Bei AdaTEST 95 handelt es sich um ein Unit- und Integrationstesttool. Entwickler können damit standardkonformen oder geschäftskritischen Code prüfen – direkt auf dem Host und auf eingebetteten Zielplattformen.
All das geht schneller durch Automatisierung in AdaTEST:
AdaTEST 95 gibt Ihnen die Kontrolle über Ada Package Verification. Testskripte werden über einen Wizard in Ada 95 erstellt. So können Sie Tests in Ihrer Compiler-IDE aufbauen und ausführen. Das bietet AdaTEST 95 für Ihre Unit-Tests:
AdaTEST 95 erlaubt das Testen der Schnittstelle zwischen Ada Packages und Gruppen von Packages im Test, die für isolierte Unit-Tests nicht tragfähig sind. AdaTEST 95 stellt für Integrationstests folgendes zur Verfügung:
Einfach in der Anwendung und für die höchsten Regulierungsstandards. Voll integriert in die Tests. Das bedeutet eine einfache Tiefenanalyse, um Lücken in der Codeabdeckung exakt zu lokalisieren.
Unsere Kunden nutzen AdaTEST 95, um ihre Testkosten zu senken. Und das mit einem Tool, auf das sie sich verlassen können.
Die mehr als 100 Metriken im Ada Source Code bieten:
> Code Reviews
> Abschätzungen des Testaufwands
> In Tests integrierte Prüfungen
Wenn es darum geht, sicherheitskritischen Ada-Code zu prüfen, ist AdaTEST das perfekte Toolset. Und das seit 1991! Seither zeigt es, was es kann: in hochkarätigen Projekten der Flugischerung, der Avionik, im Bahnverkehr, in Raumfahrt, Verteidigung und Atomenergie.
AdaTEST 95 ist erfolgreich im Einsatz. Denn es erfüllt die Testanforderungen von:
Functional Safety of Electrical/ Electronic/ Programmable Electronic Safety-related Systems
Railway applications - Communication, signalling and processing systems
Nuclear Power
Software Considerations in Airborne Systems and Equipment Certification
Guidelines for Communication, Navigation, Surveillance and Air Traffic Management (CNS/ATM) Systems Software Integrity Assurance
Space Engineering: Software
US Military-Standard-498 Software Development and Documentation
UK Requirements for Safety Related Software in Defence Equipment
Testtechniken für Ada 95
So testen Sie erfolgreich Ada 95 Hierarchical Libraries, Protected Objects und Controlled Types