电子学报
電子學報
전자학보
ACTA ELECTRONICA SINICA
2013年
2期
314-320
,共7页
网络化软件%交互行为%不变量约束%动态模型
網絡化軟件%交互行為%不變量約束%動態模型
망락화연건%교호행위%불변량약속%동태모형
目前的软件行为建模方法有其局限性,而网络化软件交互行为比传统软件更为复杂难控,对模型的定义和优化提出了更高的要求.本文提出一种基于不变量约束规则的挖掘方法,从监控收集的软件交互行为日志中挖掘出六类不变模式,简化了模型空间；并用事件描述状态,提高了数据集的表达能力；构建的动态模型考虑了参数传递和组件之间的交互,将数值关联关系映射到控制流中,从而更真实地刻画了软件交互行为；模型中的事件满足不变量约束规则,为软件行为分析提供了依据；同时,本文提出合并划分子图间的等价状态方法,对模型进行精化和抽象,确保了模型的确定性和完备性.仿真实验和实例分析证实了该方法的正确性和有效性.
目前的軟件行為建模方法有其跼限性,而網絡化軟件交互行為比傳統軟件更為複雜難控,對模型的定義和優化提齣瞭更高的要求.本文提齣一種基于不變量約束規則的挖掘方法,從鑑控收集的軟件交互行為日誌中挖掘齣六類不變模式,簡化瞭模型空間；併用事件描述狀態,提高瞭數據集的錶達能力；構建的動態模型攷慮瞭參數傳遞和組件之間的交互,將數值關聯關繫映射到控製流中,從而更真實地刻畫瞭軟件交互行為；模型中的事件滿足不變量約束規則,為軟件行為分析提供瞭依據；同時,本文提齣閤併劃分子圖間的等價狀態方法,對模型進行精化和抽象,確保瞭模型的確定性和完備性.倣真實驗和實例分析證實瞭該方法的正確性和有效性.
목전적연건행위건모방법유기국한성,이망락화연건교호행위비전통연건경위복잡난공,대모형적정의화우화제출료경고적요구.본문제출일충기우불변량약속규칙적알굴방법,종감공수집적연건교호행위일지중알굴출륙류불변모식,간화료모형공간；병용사건묘술상태,제고료수거집적표체능력；구건적동태모형고필료삼수전체화조건지간적교호,장수치관련관계영사도공제류중,종이경진실지각화료연건교호행위；모형중적사건만족불변량약속규칙,위연건행위분석제공료의거；동시,본문제출합병화분자도간적등개상태방법,대모형진행정화화추상,학보료모형적학정성화완비성.방진실험화실례분석증실료해방법적정학성화유효성.
