Überwachung-Software, Sicherheit-Anforderungen mithilfe von Instrumentierten Code
von William N. Robinson
AUTOREN-BESCHREIBUNG
Wir stellen einen Rahmen für die überwachung der Anforderungen an die software, wie es ausgeführt wird. Der Rahmen ist allgemein, und ermöglicht automatisierte Unterstützung. In diesem Papier, wir stellten den Rahmen, und zeigen, wie Java-code kann instrumentiert und überwacht durch einen model-checker. Wir zeigen unsere aktuellen automatisierten Unterstützung unter Verwendung der weithin bekannten problem der Ess-Philosophen. Aus diesem Vorbild ist, schlagen wir vor, wie das Konzept angewendet werden kann zur Bewältigung der Sicherheitsprobleme wie diejenigen, die auftreten, während der e-commerce-Transaktionen.
Datum der Veröffentlichung:
Wir stellen einen Rahmen für die überwachung der Anforderungen an die software, wie es ausgeführt wird. Der Rahmen ist allgemein, und ermöglicht automatisierte Unterstützung. In diesem Papier, wir stellten den Rahmen, und zeigen, wie Java-code kann instrumentiert und überwacht durch einen model-checker. Wir zeigen unsere aktuellen automatisierten Unterstützung unter Verwendung der weithin bekannten problem der Ess-Philosophen. Aus diesem Vorbild ist, schlagen wir vor, wie das Konzept angewendet werden kann zur Bewältigung der Sicherheitsprobleme wie diejenigen, die auftreten, während der e-commerce-Transaktionen.
Datum der Veröffentlichung:
