1 / 12

Objektorientierung und sichere Software mit Ada

Objektorientierung und sichere Software mit Ada. Ada Compiler Konformitätsprüfungen: Ein Modell für andere Programmiersprachen? Michael Tonndorf IABG Labor für Ada Konformitätsprüfungen D-85521 Ottobrunn Tonndorf@iabg.de Ada Deutschland Workshop Karlsruhe, 21. und 22. April 1999.

meghan
Download Presentation

Objektorientierung und sichere Software mit Ada

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Objektorientierung und sichere Software mit Ada Ada Compiler Konformitätsprüfungen:Ein Modell für andere Programmiersprachen? Michael Tonndorf IABG Labor für Ada Konformitätsprüfungen D-85521 Ottobrunn Tonndorf@iabg.de Ada Deutschland Workshop Karlsruhe, 21. und 22. April 1999

  2. Gliederungsübersicht • Entwicklung des Ada-Zertifizierungssystems • Aktuelle Situation • Ein Modell für Konformitätsprüfungen von Programmiersprachen • Die Situation bei den Programmiersprachen C, C++ und Java • Zusammenfassung und Bewertung

  3. Entwicklung des Ada-Zertifizierungssystems • ISO als weltweite Dachorganisation für Standardisierungen • Ada 83: Verankerung bei NIST, USA; Umsetzung durch DoD / AJPO • Certification Body mit • Ada Validation Organization • Ada Validation Facilities • ACVC Maintenance Team • Ada 9X: • Rückzug des DoD und NIST • Schließung der franz. und brit. AVF • Ada 95: • ISO als direkter Host des Zertifizierungssystems • Ada Resource Association (ARA) als Sponsor

  4. Grundlagen der Neuordnung unter ISO • Übergang zu neuen Begriffen, kompatibel zur ISO-Terminologie • Beibehaltung der unter AJPO erarbeiteten Prinzipien und „best practices“ • Anforderungen an ein Zertifizierungssystem unter ISO: Ada - Conformity Assessment of a Language Processor,Final Committee Draft ISO/IEC CD 18009; Komponenten: • Ada Conformity Assessment Laboratory (ACAL) • Ada Conformity Assessment Authority (ACAA) • Ada Conformity Assessment Process • Ada Conformity Assessment Procedure (ACAP) • Ada Conformity Assessment Test Suite (ACATS)

  5. Ein Modell für Konformitätsprüfungen • Ein weltweit akzeptiertes und einheitliches Zertifizierungssystem • Eine definierte Prüfmethode • Eine Testsuite mit definierten • positiven Testfällen • negativen Testfällen • Anleitung zur Interpretation der Testergebnisse • Prozeduren zum Ablaufen und Auswerten von Tests • Regeln für die Ausdehnung des Status konformitätsgeprüft auf weitere • Prozessoren • Versionen unter Wartung • Plattformen,OS-Umgebungen

  6. Überblick Ada Zertifizierungssystem ISO NIST DIN CERTCO(Akkreditierung) ISOJTC1/SC22Working Group 9Ada SponsorAda Resource Association Testsuite Development and Maintenance Ada Conformity Assessment Authority Ada Conformity Assessment Authority Advisory Board Ada Conformity Assessment Laboratory IABG Ada Conformity Assessment Laboratory EDS

  7. Von ISO standardisierte Programmiersprachen

  8. Situation bei C, C++ und Java • Anbieter kommerzieller, konkurrierender Testsuiten: • Plum Hall • Perennial • Testsuiten als kommerzielle SW-Produkte • hohe Lizenzgebühren • befristete Wartung und Updateberechtigung • Wartung unter alleiniger Zuständigkeit des Herstellers • Komfortable Ablauf- und Auswerte-Umgebung • kein globaler Überblick über geprüfte Implementierungen

  9. Die Testsuiten von Plum Hall

  10. Die Testsuiten von Perennial

  11. Zusammenfassung

  12. Bewertung; Thesen • Bedeutung von formalen Validierungen von Compilern rückläufig • Umsetzung von Standards auf nationaler Ebene nicht mehr forciert • Validierungen als eine Massnahme zur Qualitätsverbesserung von Compilern unter mehreren • Gereifte Compilertechnik • Im sicherheitskritischen Bereich unabhängige Konformitätspfüfungen weiterhin notwendig (und von Standards gefordert) • Herstellerunabhängiges System für Konformitätsprüfungen nur bei Ada

More Related