Forschung­s­pro­jekt für Mod­ell­basiertes Testen ge­star­tet – Die Zukun­ft der Spezi­fika­tion von Smart Card Pro­tokollen

Die HJP Consulting GmbH und ihre Konsortialpartner s-lab – Software Quality Lab der Universit?t Paderborn und T?V Informationstechnik (Unternehmensgruppe T?V NORD) haben den Teilnahmewettbewerb mit anschlie?endem Verhandlungsverfahren des Bundesamtes für Sicherheit in der Informationstechnik (BSI) für Modellbasiertes Testen mit Referenzimplementierungen (MOTEMRI) gewonnen.

Projekthintergrund – Testspezifikationen heute
Das BSI ist Herausgeber von Technischen Richtlinien für Konformit?tstests von ITSystemen. Basierend auf diesen Technischen Richtlinien (TR) werden IT-Systeme vor allem im Hinblick auf die Interoperabilit?t der IT-Sicherheitskomponenten geprüft. So umfasst z.B. die Technische Richtlinie BSI TR-03105 Teil 3 die Testspezifikation für Konformit?tsprüfungen von elektronischen ID-Dokumenten, wie z. B. eID-Karten und elektronische Reisep?sse. Basierend auf diesen Testspezifikationen implementieren Unternehmen, wie z. B. HJP Consulting die entsprechenden Testsuiten in ihren Testwerkzeugen, die wiederum von internationalen Kunden für den Test entsprechender IT-Komponenten eingesetzt werden. Im Fall der BSI TR-03105 handelt es sich um mehrere hundert einzelne Testf?lle. Bei ?nderungen in den Testspezifikationen müssen die jeweiligen Umsetzungen angepasst werden, was auf Basis des bisherigen Vorgehens ein erheblicher Aufwand ist.
Die Testspezifikationen werden heutzutage als Textdokumente ver?ffentlicht. Aufgrund des Interpretationsspielraums kann es bei der Umsetzung der Testspezifikationen zu Fehlern und Ungenauigkeiten kommen. Daneben ist die Erstellung einer sinnvollen Testspezifikation abh?ngig von der Erfahrung des jeweiligen Autors.

Projektziel – Testspezifikationen von morgen
Ziel des Projekts MOTEMRI ist es, eine Testspezifikation exemplarisch für das Protokoll "Password Authenticated Connection Establishment" (PACE) nicht mehr in einem Textdokument, sondern in einem Modell zu beschreiben, um Inkonsistenzen, Ungenauigkeiten und Fehlern entgegen zu wirken sowie den Prozess der Testimplementierung zu beschleunigen. Statt natürlicher Sprache kann in dem Modell eine Modellierungssprache wie die Unified Modeling Language (UML) verwendet werden.
Im Rahmen des Projekts soll au?erdem nachgewiesen werden, dass das Modell in sich konsistent ist. Aus diesem Modell wird anschlie?end zum einen eine Referenzimplementierung erstellt und zum anderen sollen Testf?lle (teil-) automatisiert abgeleitet werden.
 

?ber HJP Consulting

HJP Consulting, mit Sitz in Borchen bei Paderborn (Deutschland), ist ein international agierendes Beratungsunternehmen, spezialisiert auf die Planung und den Test von Smart Card L?sungen mit besonderem Schwerpunkt in der hoheitlichen Identifikation und dem Gesundheitswesen.
Die Spezialisten von HJP Consulting begleiten herstellerunabh?ngig auf technischer und strategischer Ebene, Gro?projekte zur Einführung von elektronischen Reisep?ssen. Das HJP-Team hat u. a. die Einführung von ePass-Systemen für die Innenministerien in Deutschland, Gro?britannien, VAE, Sudan und Oman begleitet.
Ein weiterer, wichtiger Gesch?ftsbereich ist das Testen. HJP entwickelt und vertreibt GlobalTester, eine umfangreiche Testplattform für den Konformit?tstest von elektronischen Reisep?ssen, Inspektionssystemen sowie dem deutschen elektronischen Personalausweis und dazugeh?rige Leseger?te. Gemeinsam mit Partnern bietet HJP Test- und Zertifizierungsservices für hoheitliche Dokumente und deren Leseger?te an.
Die neuesten Entwicklungen bei der HJP erstrecken sich auf die Bereiche Testplanoptimierung sowie Methoden und Werkzeuge für Requirements Engineering zur Unterstützung der Entwicklung gro?er, verteilter IT-Systeme.

Für weitere Informationen, kontaktieren 360直播吧 bitte:

Markus Hartmann
Managing Director
HJP Consulting GmbH
Hauptstra?e 35
33178 Borchen (Germany)

Telephone: + 49 52 51 – 4177 60
markus.hartmann@hjp-consulting.com
http://www.hjp-consulting.com
http://www.globaltester.org

Anke Larkworthy
Consultant, Sales & Marketing
anke.larkworthy@hjp-consulting.com
 

?ber s-lab

Das s-lab – Software Quality Lab (gegründet 2005) ist das wissenschaftliche Kompetenzzentrum der Universit?t Paderborn für kooperative Forschung sowie den Wissens-, Kompetenz- und Technologietransfer zwischen Wissenschaft und Wirtschaft im Bereich Software Engineering. Industriepartner arbeiten eng mit Forschungsgruppen der Universit?t Paderborn auf dem Gebiet der Softwaretechnik zusammen. Das s-lab unterstützt Unternehmen bei der Entwicklung, Optimierung und Qualit?tssicherung von Softwareentwicklungsmethoden und -prozessen und hochwertigen Softwareprodukten. Konstruktive und analytische Methoden sowie Werkzeuge der Softwaretechnik, die eine hohe Software-Qualit?t sicherstellen, werden entwickelt und evaluiert. Zielgruppe der Kooperation sind kleine, mittelst?ndische und gro?e Unternehmen, die anspruchsvolle Software entwickeln, z. B. für den Automobil- oder Finanzsektor. HJP Consulting ist eines von zurzeit neun assoziierten Partnerunternehmen.

Für weitere Informationen, kontaktieren 360直播吧 bitte:

Dr. Stefan Sauer
Gesch?ftsführer & Senior Researcher
s-lab – Software Quality Lab
Universit?t Paderborn
Zukunftsmeile 1
33102 Paderborn (Germany)

Telephone: +49 5251 60-5390
sauer@s-lab.upb.de
http://s-lab.upb.de
 

?ber T?ViT

Sicherheit und Qualit?t sind Ergebnisse unserer Dienstleistungen. Neutrale, unabh?ngige Prüfungen und Zertifizierungen durch T?ViT geben das n?tige Vertrauen in IT-Produkte, - Systeme und -Prozesse sowie in die IT-Infrastruktur.
T?ViT macht Erfolge greifbar und messbar. Wir bewerten Sicherheits- sowie Qualit?tseigenschaften anhand anerkannter Kriterien und Standards. Unsere Experten erkennen Risiken, bevor Sch?den entstehen, und unterstützen den Kunden, Projekte zum Erfolg zu führen.
Das Vertrauen in die Technik, in Funktion und Betrieb von IT-Produkten und -Systemen hat hohe Priorit?t. Dieses Ziel erreichen 360直播吧 mit T?ViT. Als Trust Provider sind wir Partner von Industrie und Beh?rden.

Für weitere Informationen, kontaktieren 360直播吧 bitte:

Stefan Kirse Marketing
Manager T?V Informationstechnik GmbH
Unternehmensgruppe T?V NORD
Langemarckstr. 20
45141 Essen (Germany)

Telephone: + 49 201 8999-404
s.kirse@tuvit.de
http://www.tuvit.de