基于監控的可信軟件構造模型研究與實現
2009-12-31 00:00:00李仁杰張矚熹江海燕王懷民
計算機應用研究 2009年12期
摘要：如何在開發階段通過提高系統的可監控性從而提升軟件可信性是當前的研究熱點，這些研究取得了重要成果，但是還存在許多亟待解決的關鍵問題。針對這些問題，通過對現有研究成果的綜述，在借助面向方面設計思想的基礎上，設計了基于監控的可信軟件構造模型TSCM，并以基于監控的可信軟件開發環境TSIDE為背景分析了模型的實現要點和應用實例，最后分析了模型的主要特色。
關鍵詞：可信軟件；基于方面的編程；監控；模型
中圖分類號：TP339 文獻標志碼：A 文章編號：1001－3695(2009)12－4585－04
