1. 中南大学信息科学与工程学院,湖南,长沙,410083
2. 湖南工业大学计算机与通信学院,湖南,株洲,412007
3. 中南大学信息科学与工程学院湖南长沙,410083
4. 湖南工业大学计算机与通信学院湖南株洲,412007
纸质出版:2013
移动端阅览
彭成, 杨路明, 满君丰. 网络化软件交互行为动态建模[J]. 电子学报, 2013,41(2):314-320.
PENG Cheng, YANG Lu-ming, MAN Jun-feng. Dynamic Modeling of Networked Software Interactive Behavior[J]. Acta Electronica Sinica, 2013, 41(2): 314-320.
彭成, 杨路明, 满君丰. 网络化软件交互行为动态建模[J]. 电子学报, 2013,41(2):314-320. DOI: 10.3969/j.issn.0372-2112.2013.02.017.
PENG Cheng, YANG Lu-ming, MAN Jun-feng. Dynamic Modeling of Networked Software Interactive Behavior[J]. Acta Electronica Sinica, 2013, 41(2): 314-320. DOI: 10.3969/j.issn.0372-2112.2013.02.017.
目前的软件行为建模方法有其局限性
而网络化软件交互行为比传统软件更为复杂难控
对模型的定义和优化提出了更高的要求.本文提出一种基于不变量约束规则的挖掘方法
从监控收集的软件交互行为日志中挖掘出六类不变模式
简化了模型空间;并用事件描述状态
提高了数据集的表达能力;构建的动态模型考虑了参数传递和组件之间的交互
将数值关联关系映射到控制流中
从而更真实地刻画了软件交互行为;模型中的事件满足不变量约束规则
为软件行为分析提供了依据;同时
本文提出合并划分子图间的等价状态方法
对模型进行精化和抽象
确保了模型的确定性和完备性.仿真实验和实例分析证实了该方法的正确性和有效性.
Current behavior modeling methods have its limitation
to deal with more complicated and uncontrollable networked software behavior
model definition and optimization need to be set up.The invariant constraints mining algorithm was investigated
six types of invariants are mined from the software interactive behavior log
which simplifies the model space.To improve the data set expression capacity
events was adopted to describe the states
and data value relationship was mapped into control flow
which more realistically describes the interactive behavior
meanwhile
events in the model satisfied with invariant constraint rules
which provide the basis for software behavior analysis.To ensure the certainty and compleueness of the model
the method of merging equivalent states in the divided sub-diagram was proposed.The experimental and analysis results show that the effectiveness and feasibility of the methods are validated.
0
浏览量
2
下载量
2
CSCD
关联资源
相关文章
相关作者
相关机构
京公网安备11010802024621