Anbieter: HJP Consulting GmbH
Eine archivierte Beschaffung
HJP Consulting GmbH war in der Vergangenheit ein Lieferant von forschungs- und Entwicklungsdienste und zugehörige Beratung, dienstleistungen im Bereich Forschung und experimentelle Entwicklung und experimentelle Entwicklung.
Neuere Beschaffungen, bei denen der Anbieter HJP Consulting GmbH erwähnt wird
2011-11-23
Modellbasiertes Testen mit Referenzimplementierungen (MOTEMRI) (Bundesamt für Sicherheit in der Informationstechnik (BSI))
Ziel des Projekts ist es, einen Teilaspekt der BSI TR-03110 in ein geeignetes Modell (UML, formale Beschreibungssprachen, o.a.) zu überführen. Zunächst soll das PACE-Protokoll der BSI TR-03110 modelliert werden. Das zu erstellende Modell soll nachweisbar in sich konsistent sein. Aus dem Modell soll im Anschluss eine Referenzimplementierung erstellt werden. Zudem sollen aus dem Modell (teil-)automatisiert Testfälle nach dem Schema der BSI TR-03105 generiert werden. Ansicht der Beschaffung »
Ziel des Projekts ist es, einen Teilaspekt der BSI TR-03110 in ein geeignetes Modell (UML, formale Beschreibungssprachen, o.a.) zu überführen. Zunächst soll das PACE-Protokoll der BSI TR-03110 modelliert werden. Das zu erstellende Modell soll nachweisbar in sich konsistent sein. Aus dem Modell soll im Anschluss eine Referenzimplementierung erstellt werden. Zudem sollen aus dem Modell (teil-)automatisiert Testfälle nach dem Schema der BSI TR-03105 generiert werden. Ansicht der Beschaffung »