基于AOP技術(shù)的軟件性質(zhì)監(jiān)控框架

摘要： 針對軟件運行時可信保障存在的相關(guān)問題,提出了基于AOP技術(shù)的軟件性質(zhì)監(jiān)控框架。本框架使用OCL(Object Constraint Language)和UML Profile的SPT(Schedulability,Performance and Time)規(guī)范實現(xiàn)了軟件性質(zhì)在模型上的描述,基于描述并獨立于被監(jiān)控軟件自動生成監(jiān)控方面,將監(jiān)控方面編織入被監(jiān)控軟件,從而使被監(jiān)控軟件具有運行時軟件性質(zhì)監(jiān)控能力。 （共5頁）