Betriebssystem und Tools:
Testwerkzeug für virtualisierte Umgebung
Mit einem Betriebssystem allein ist es oft nicht getan. Bei sicherheitskritischen Anwendungen muss nachgewiesen werden, dass das Betriebssystem wirklich das tut, was es soll. Testwerkzeuge helfen dabei.