Automatisierte Unit- und
Integrationstests für Ada
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:
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:
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:
ENTDECKEN SIE AdaTEST 95
> 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?
