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
Dynamic unit testing for AdaTEST 95 video screenshot - Automated unit & integration testing for Ada - hand holding up a tool - search - scanning - analysis - complete

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
Unit testing example screenshot - AdaTEST 95 puts you in control of Ada package verification with wizard driven test scripting in the Ada 95 language, building and executing your tests in your compiler IDE
Integration testing screenshot - AdaTEST 95 allows you to test the interfaces between Ada packages and on test groups of packages which are just not viable for isolation unit testing

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

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 - ROI
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

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

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:

Safety standards for AdaTEST 95 - compliance with testing requirements of safety standards - IEC 61508 - EN 50128 - IEC 60880 - DO - 178B/C - DO-278A - ECCS-E-40 - MIL STD 498 - Def Stan 00-55
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

Screenshot of AdaTESt Code Coverage Video Screenshot

 

Codeabdeckung mit AdaTEST 95

Kurze Demo über AdaTEST 95 Codeabdeckung

Testing techniques for AdaTEST 95 - techniques which can be utilised to improve the likelihood of achieving testing success with Ada 95 - Screenshot whitepaper

 

Testtechniken für Ada 95

So testen Sie erfolgreich Ada 95 Hierarchical Libraries, Protected Objects und Controlled Types

Screenshot of AdaTEST Static Analysis Video Screenshot

 

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
Start
Trial
Learn
more
QA-Systems