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

 AdaTEST 95 deep Code Coverage - deep sea diver
Analyse der Codeabdeckung
Analyse der Codeabdeckung Analyse der Codeabdeckung 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.

Mehr erfahren

Cost against efficiency, speed and quality coordinate system - why invest in AdaTEST 95 - how AdaTEST 95 will improve a company with lower costs - high efficiency - high speed - high quality - low costs
Warum in AdaTEST 95 investieren?
Warum in AdaTEST 95 investieren?

Unsere Kunden nutzen AdaTEST 95, um ihre Testkosten zu senken. Und das mit einem Tool, auf das sie sich verlassen können.



Mehr erfahren

AdaTESt 95 Static Code Metrics - tool
Statische Codemetriken
Statische Codemetriken Die mehr als 100 Metriken im Ada Source Code bieten:
> Code Reviews
> Abschätzungen des Testaufwands
> In Tests integrierte Prüfungen

Mehr erfahren

“AdaTEST 95 has been fantastic for us. It is easy to use, reliable, and gives us exactly what we want, both from our own point of view as developers, and also looking at the need to give our customers results data which they can understand and depend on.”

Dan Marshman, Astrium

"AdaTEST has been a great help to us. Its use has significantly increased the quality of the software products we are delivering, and it is wholly evident that the use of properly tested software units has led to greatly reduced integration testing times."

Mike Morton, Senior Software Engineer, Lockheed Martin

"AdaTEST 95 will continue to be used on this program. It has proved to be an effective and efficient tool for module testing.”

John Parrott, Software Testing Lead, GE Aviation

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 25 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 automatisierte funktionale Sicherheit
  • Unsere Teams für den technischen Support kennen sich aus
  • Wir beraten umfassend und schulen gezielt für den Einsatz unserer Tools
Slide 1
Slide 1 - copy
Slide 1 - copy - copy
previous arrowprevious arrow
next arrownext arrow