AdaTEST 95

AdaTEST 95 ist ein nach den Anforderungen der Ada-Sprache entworfenes Werkzeug. Es ermöglicht Entwicklern, einen effizienten Unit-und Integrationstest durchzuführen und bietet eine einzigartige Kombination von Tests, Code Coverage und statischer Analyse.

Kostenlose Testlizenz

AdaTEST 95 – die Lösung für das Testen von Ada-Software

QA Systems AdaTEST Toolset ist seit der Einführung im Jahr 1991 mit an führender Stelle aller Ada Code-Verifikationen

Technical Overview (EN)

 

Alle wichtigen Funktionen von AdaTEST 95 im Überblick

  • Unit- und Integrationstest: auf Host- und Target-Plattformen
  • Integrierte Coverage Analyse: Anweisungs- und Entscheidungsüberdeckung, MC/DC, Entry Point und Call-Return-Metriken
  • Volle Unterstützung von: Ada 95, Ada 83 und diverse Ada Gruppen
  • GUI: Grafische Wizard-gesteuerte Testvorbereitung
  • Objektorientiert: OO-Aware Tests
  • Stubbing: zur Simulation und Kontrolle von externen Schnittstellen
  • Statische Analyse: Codekomplexität und Metriken
  • Technische Übersicht
  • Kunden Plattform-Verfügbarkeit

Das einzige Testtool für Ada das Sie benötigen

QA Systems AdaTEST Toolset ist seit der Einführung im Jahr 1991 mit an führender Stelle aller Ada Code-Verifikationen. AdaTEST wird in vielen hochkarätigen Projekten in Branchen wie zum Beispiel Flugsicherung, Automobil, Medizintechnik,  Luft- und Raumfahrt oder Atomindustrie eingesetzt. In jedem Projekt liegt der Faktor in der imperativen Programmierung, welche zuverlässig und zugleich kosteneffektiv „tut, was sie tun soll“.

Dynamischer Test

Dynamisches Testen demonstriert aktiv, ob Benutzer-Codes zu deren Spezifikationen führen.  

  • Verwendet Ihre Compiler IDE um Tests zur Minimierung der Produkt-Lernkurve aufzubauen und durchzuführen
  • Wizard-gesteuerte Testscript-Generierung einschließlich der Online-Hilfe und Schritt-für-Schritt-Einrichtung für die Erstellung einer vollständigen Testumgebung.
  • White Box und Black Box Tests werden unterstützt.
  • Intuitive Test-Direktionen für die schnelle Entwicklung von strukturierten und wiederholbaren Tests sowie Generierung von klaren eindeutigen Resultaten.
  • Automatisierte Kontrollen aller Standard Ada 95 Datentypen und allgemeine Überprüfung für objektorientiertes Programmieren mit benutzerdefinierten Datentypen.
  • Ausnahme-Verifikation: Prüft das Auftreten von erwarteten Ausnahmen sowie das Nicht-Auftreten von unerwarteten Ausnahmen.
  • Stubbing: zur Erstellung programmierbarer Versionen von externen ("separaten") Sub-Einheiten sowie zur Durchführung der Rufsequenz-Validierung.
  • Echtzeit-Performance-Analyse: Prüft Ausführungszeiten für angegebene Code-Blöcke.
  • Cross-Plattform-Ausführung von Tests ohne Modifikation des nativen Host-Rechners auf Embedded Target.
  • Automatisierte Regressionstests für die erneute Ausführung von Tests im Batch-Modus.
  • Test-Support-Package: Automatisch globale Daten überprüfen.

Coverage Analyse

Coverage Analyse misst objektiv, wie effektiv das dynamische Testen in der Ausführung der Codes war. Code-Coverage Anforderungen können in RuleSets definiert werden:

  • Code Coverage Metriken
    • Entry points
    • Statements
    • Decisions (branches)
    • Conditions (Booleans)
    • MC/DC (DO-178B)
    • Exceptions
  • Datenwerterfassung von spezifischen variablen Werten "immer wahr" oder "wenigstens einmal wahr"
  • Pfadprüfung und Nachweisbarkeit um detaillierte Pfaderfassung durch den Code festzustellen
  • die Überdeckungsprüfung ist im dynamischen Test integriert und resultiert in Pass/Fail/Warnings.
  • Überdeckungsstatistiken können als Textfile und HTML erzeugt werden, welche den Sourcecode entsprechend hervorheben  

Statische Analyse

  • Die statische Analyse erzeugt über 100 Metriken auf dem Ada-Quellcode. Einfache RuleSets können verwendet werden, um Code-Qualitätsstandards wie die Einschränkung der Benutzung bestimmter Code-Konstrukte zu verstärken sowie bei der Grenzdefinierung der Komplexitätsmetriken.
  • Basis-Metriken beinhalten Code-Zeilen, Kommentare, Anzahl der Ada-Units, und Auszählung der meisten Code-Konstrukte, welche von der Ada Language Reference Manual (LRM) definiert wurden.
  • Komplexitäts-Metriken beinhalten McCabe, Halstead, und viele andere.
  • Metriken-Überprüfung ist im dynamischen Test integriert und resultiert in Pass/Fail/Warnings
  • Metrik-Reports können erzeugt werden.    


Unterstützte Plattformen
AdaTEST 95 ist verfügbar für alle gültigen Ada 95 Compilerumgebungen auf nativen Host-Rechnern und Embedded Target Plattformen.

Native Compiler Plattformen

  • Windows 9x, NT, 2000, XP
  • SolarisHP-UX
  • Linux
  • AIX
  • SGI IRIX
  • Compaq Tru64 Unix

Cross Compiler Plattformen

  • GreenHills AdaMULTI
  • Aonix Object Ada Realtime
  • GNATXGC
  • OCS Power Ada
  • DDC-I
  • Rational Apex

Registrierungspflichtige Downloads

Für folgende Downloads ist eine Registrierung erforderlich. Bitte füllen Sie folgendes Formular aus.

Standards Papers

This paper describes how AdaTEST 95 and Cantata can be used to assist with the development of software to the Galileo Software Standard (GSWS).
Testing Tools GSWS | PDF | 93 KB
This paper describes how QA Systems Testing Products can be used to assist with the verification and validation of software according to the FDA Software Validation Guidelines.
Testing Tools FDA Software Validation Guidelines | PDF | 68 KB
This paper describes how AdaTEST 95 and Cantata can be used to assist with the development of software to the standard RTCA/DO-178B.
Testing Tools RTCA DO-178B | PDF | 73 KB
This paper describes how QA Systems Testing Products can be used to assist with the verification and validation of software according to the ECSS E-40 Standard on Space Software Engineering.
Testing Tools ECSS E-40 | PDF | 53 KB
This paper describes how QA Systems Testing Products can be used within a software development adhering to the MISRA Development Guidelines for Vehicle Based Software.
Testing Tools MISRA Dev Guidelines | PDF | 61 KB
This paper describes how QA Systems Testing Products can be used within a software development using an ISO 9001 / BS5750 / TickIT compliant Quality Management System.
Testing Tools ISO9001/BS5750/Tick IT | PDF | 30 KB
This paper describes how QA Systems Testing Products can be used within the CMM framework, and details how they can be used to assist an organisation to transition between CMM levels.
Testing Tools SEI Capability Maturity Model | PDF | 59 KB
This paper describes how QA Systems Testing Products can be used within a software development to MIL-STD-498.
Testing Tools MIL-STD-498 | PDF | 73 KB
This paper shows how QA Systems Testing Products can be used to assist with the development of software to Defence Standard 00-55.
Testing Tools MoD Defence Standard 00-55 | PDF | 53 KB
This paper describes how QA Systems Testing Products can be used to assist with the development of software to EN50128, Software for Railway Control and Protection Systems.
Testing Tools EN50128 | PDF | 92 KB
This paper describes how QA Systems Testing Products can be used to assist with the development of software to IEC880, Software for Computers in the Safety Systems of Nuclear Power Stations.
Testing Tools IEC880 | PDF | 63 KB
This paper describes how QA Systems Testing Products can be used within a software development to DOD-STD-2167A.
Testing Tools DOD-STD 2167A | PDF | 62 KB

Registrierungspflichtige Downloads

Für folgende Downloads ist eine Registrierung erforderlich. Bitte füllen Sie folgendes Formular aus.

Aerospace and Avionics

This company used AdaTEST 95 to help validate a new Ravenscar-compliant Ada run-time for use on European Space Agency on-board systems.
Case Study Ada Core Technologies | PDF | 37 KB
Use of AdaTEST 95 by Astrium UK on two projects: RadarSat-2 and Beagle 2.
Case Study Astrium01 | PDF | 86 KB
Experiences of BAe Space Systems with AdaTEST on a key satellite, Polar Platform.
Case Study Astrium02 | PDF | 88 KB
Evaluation and deployment of AdaTEST for the New En-Route Centre system for the UK Civil Aviation Authority.
Case Study BAe Systems01 | PDF | 80 KB
Evaluation of AdaTEST on Video Image Tracking System in aircraft, and its successful deployment on a number of other projects.
Case Study BAe Systems02 | PDF | 134 KB
Testing with AdaTEST by the LMAS company in Marietta for the F-22 fighter aircraft.
Case Study Lockheed Martin-F22 | PDF | 81 KB
Use of AdaTEST 95 on the Gripen Stores Management System - a DO-178B Level A project.
Case Study Saab Aerosystems | PDF | 90 KB
Use of AdaTEST 95 by Smiths Aerospace on two Boeing 777, DO-78B Level B projects.
Case Study Smiths Aerospace | PDF | 105 KB
Selection and use of AdaTEST for an Infra-Red Search and Track system on the European Fighter Aircraft.
Case Study Thales Optronics | PDF | 68 KB
Use of AdaTEST on the de Havilland Dash 8 Q 400's Propeller Electronic Controller and several varied other projects since.
Case Study Ultra Electronics | PDF | 83 KB

Miscellaneous

Use of AdaTEST and Cantata on several high-integrity projects: a Def Stan 00-55 pilot project, a Digital Electronic Engine Controller, and a Nuclear Monitoring system.
Case Study Optimized Systems and Solutions | PDF | 95 KB

Registrierungspflichtige Downloads

Für folgende Downloads ist eine Registrierung erforderlich. Bitte füllen Sie folgendes Formular aus.

Sector Briefs

AdaTEST 95 solutions for the Space industry, focusing on the use of the tool to meet ECSS E-40 / GSWS standards
Ada TEST95 Space Sector Brief | PDF | 327 KB
QA Systems Testing Products solutions for the civil avionics industry, focusing on using the tools to meet DO-178B / ED-12B
Civil Avionics Sector Brief | PDF | 246 KB
QA Systems Testing Products solutions for the military avionics industry, focusing on using the tools to meet DO-178B / ED-12B / Mil-Std-498 / Def-Stan 00-55
Military Avionics Sector Brief | PDF | 235 KB
QA Systems Testing Products solutions for the defence sector, focusing on using the tools to meet Mil-Std-498 / Def-Stan 00-55
Defence Sector Brief | PDF | 234 KB
QA Systems Testing Products solutions for the railways sector, focusing on using the tools to meet CENELEC PR-EN50128
Railway Sector Brief | PDF | 200 KB

Sie möchten gerne mehr über AdaTEST95 erfahren? Hier erhalten Sie weitere Informationen, technische Features und Downloads zu unserem Produkt.

Kostenlose Testlizenz