Automatisierte Unit- und
Integrationstests für Ada
Automatisierte Unit- und Integrationstests für Ada
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:
- Generieren von Test Frameworks
- Generieren von Testfällen
- Ausführen von Tests
- Diagnosen der Ergebnisse und Reports
UNIT-TESTS
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:
- Automatisierte Prüfungen für alle Standard-Ada 95 Datensätze und Arrays
- Generische Prüfungen für die Instanziierung mit benutzerdefinierten Typen
- Black-Box-Tests, White-Box-Tests
- Intuitive Testrichtlinien und Testskripte in Ada
- Test Support Package für die automatische Prüfung globaler Daten
- Ausnahmeprüfungen
- Hervorragende Möglichkeiten für die Simulation von „separaten“ Sub-Units
- Prüfungen der Aufrufabfolge
- Tests der Zustandsübergänge
- Analyse der Performance in real time
- Automatisierte Regressionstests
- Integrierte Prüfung der Codeabdeckung und der statischen Metriken
INTEGRATIONSTESTS
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:
- Automatisierte Ergebnisprüfungen
- Kombinierte Black- und White-Box-Techniken
- Auswählbare und programmierbare Stubs
- Prüfungen der Aufrufabfolge
- Nutzerbeobachtungstests
- Tests der Zustandsübergänge
- Multi-threaded Testausführung
- Analyse der Performance in real time
- Automatisierte Regressionstests
- Integrierte Prüfung der Codeabdeckung und der statischen Metriken
ENTDECKEN SIE AdaTEST 95
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
Sicherheitsstandards stellen Anforderungen. AdaTEST 95 erfüllt sie.
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:
IEC 61508
Functional Safety of Electrical/ Electronic/ Programmable Electronic Safety-related Systems
EN 50128
Railway applications - Communication, signalling and processing systems
IEC 60880
Nuclear Power
DO-178B/C
Software Considerations in Airborne Systems and Equipment Certification
DO-278A
Guidelines for Communication, Navigation, Surveillance and Air Traffic Management (CNS/ATM) Systems Software Integrity Assurance
ECCS-E-40
Space Engineering: Software
MIL STD 498
US Military-Standard-498 Software Development and Documentation
Def Stan 00-55
UK Requirements for Safety Related Software in Defence Equipment
BESONDERHEITEN
Codeabdeckung mit AdaTEST 95
Kurze Demo über AdaTEST 95 Codeabdeckung
Testtechniken für Ada 95
So testen Sie erfolgreich Ada 95 Hierarchical Libraries, Protected Objects und Controlled Types
Statische Analyse mit AdaTEST 95
Dieses Video zeigt Ihnen, wie AdaTEST 95 über 100 Metriken zur Verfügung stellt für die statische Analyse von Code mit Hilfe der Regelsätze.
Wieso ist QA Systems Ihr optimaler Partner?
- Seit über 20 Jahren sind wir ein zuverlässiger Anbieter von Testwerkzeugen
- Hunderte von Kunden - speziell aus dem sicherheits- und geschäftskritischen Bereich - vertrauen auf uns
- Unsere Produkte werden ständig verbessert – auch im Dialog mit unseren Kunden
- Wir sind DIE Spezialisten für zuverlässige Tests – im statischen oder dynamischen Bereich
- Unsere Teams für den technischen Support kennen sich aus
- Wir beraten umfassend und schulen gezielt für den Einsatz unserer Tools
