Modellbasiertes Testen mit Referenzimplementierungen (MOTEMRI)
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.
Deadline
Die Frist für den Eingang der Angebote war 2011-12-23.
Die Ausschreibung wurde veröffentlicht am 2011-11-23.
Anbieter
Die folgenden Lieferanten werden in Vergabeentscheidungen oder anderen Beschaffungsunterlagen erwähnt:
Wer?
Wie?
Wo?
Geschichte der Beschaffung
| Datum |
Dokument |
| 2011-11-23
|
Auftragsbekanntmachung
|
| 2012-07-12
|
Bekanntmachung über vergebene Aufträge
|
| 2013-01-03
|
Ergänzende Angaben
|