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

• 作者: 彭成 杨路明 满君丰
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 网络化软件 交互行为 不变量约束 动态模型
• 年，卷（期）: 2013,（2）
• 所属期刊栏目: 学术论文
• 页码范围: 314-320
• 页数: 7页
• 分类号: TP302.7
• 字数: 5492字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2013.02.017

摘要

目前的软件行为建模方法有其局限性,而网络化软件交互行为比传统软件更为复杂难控,对模型的定义和优化提出了更高的要求.本文提出一种基于不变量约束规则的挖掘方法,从监控收集的软件交互行为日志中挖掘出六类不变模式,简化了模型空间；并用事件描述状态,提高了数据集的表达能力；构建的动态模型考虑了参数传递和组件之间的交互,将数值关联关系映射到控制流中,从而更真实地刻画了软件交互行为；模型中的事件满足不变量约束规则,为软件行为分析提供了依据；同时,本文提出合并划分子图间的等价状态方法,对模型进行精化和抽象,确保了模型的确定性和完备性.仿真实验和实例分析证实了该方法的正确性和有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨路明	中南大学信息科学与工程学院	181	1754	20.0	35.0
2	满君丰	湖南工业大学计算机与通信学院	69	258	9.0	12.0
3	彭成	中南大学信息科学与工程学院	13	43	3.0	6.0