KIEL (CW) - Eine unter Unix laufende Testumgebung fuer die Pruefung sicherheitskritischer Programme bietet die DST Deutsche System- Technik GmbH, Bremen, mit "Unit Testbed" an. Mit dem Produkt lassen sich bereits in der Programmierphase einer Anwendung Testrahmen bereitstellen, die eine Fehlersuche in noch unvollstaendigen Programmteilen ermoeglichen. Der Anwender muss lediglich die Testdaten definieren, da die Vorbereitung der Testumgebung aus dem C-Quellcode generiert wird. Nach dem Testlauf wertet das Programm die dabei entstandenen Protokolle aus und erstellt automatisch eine Testdokumentation, die den Qualitaetsnormen ISO 9000 sowie DO 178 entspricht.