网络化软件交互行为动态建模.pdfVIP

第2期 电 子 学 报 V01．41 No．2 2013年 2月 A(lAE【CI．R0NICASINICA Feb． 2O13 网络化软件交互行为动态建模 彭 成 ，杨路明 ，满君丰 (1．中南大学信息科学与工程学院，湖南长沙410083；2．湖南工业大学计算机与通信学院，湖南株洲412007) 摘 要： 目前的软件行为建模方法有其局限性，而网络化软件交互行为比传统软件更为复杂难控，对模型的定 义和优化提出了更高的要求 ．本文提出一种基于不变量约束规则的挖掘方法，从监控收集的软件交互行为 日志中挖掘 出六类不变模式，简化了模型空间；并用事件描述状态 ，提高了数据集的表达能力；构建的动态模型考虑了参数传递和 组件之间的交互 ，将数值关联关系映射到控制流中，从而更真实地刻画了软件交互行为；模型中的事件满足不变量约 束规则，为软件行为分析提供了依据；同时，本文提出合并划分子图间的等价状态方法，对模型进行精化和抽象，确保 了模型的确定性和完备性．仿真实验和实例分析证实了该方法的正确性和有效性． 关键词： 网络化软件；交互行为 ；不变量约束；动态模型 中图分类号： TP302．7 文献标识码： A 文章编号： 0372．2112(2013)02．0314．07 电子学报Ul ：http：／／www．ejoun~．org．cn DOI：10．3969／j．issn．o372．2112．2013．02．017 DynamicModelingofNetworkedSoftwareInteractiveBehavior PENG Cheng，YANG Lu．ming1MANJun．fe ， (1．SchoolofInformationScienceandEngineering，CentralSouthUniversity，Changsha，Hunan410083，Ch／na； 2．CollieofComputerandCommunication，HunanUnaersltyofTechndogy，Zhuzhou，Hnnan412007，Chn／a) Al：~raet： Currentbehaviormode~ gmethodshaveitslimitation，todealwithmolecomplicatedanduncontrollablenet— workedsoftwarebehavior，modeldefinitionnadoptimizatino needtobesetup．Theinvarinatconstraintsminingalgorithm wasinves- figated，sixtypesofinvarinatsaleminedfrom thesoftwareinteractivebehaviro log，whichsimplifiesthemodelspace．Toin3prove thedatasetexpressioncapacity，eventswasadoptde todescribe htestates，anddatavaluerelationshipwasmappednitocontrolflow ， whichnl0 realisticallydescribestheniteractivebehaviro，meanwhile，eventsnihtemodelsatisfiedwiht nivarinatconstranitrules， whichprovidehtebasisforosftwarebehaviro analyfis．Toensul~htecertainytandcompleuenessofhtemodel，h