电子学报 ›› 2013, Vol. 41 ›› Issue (2): 314-320.DOI: 10.3969/j.issn.0372-2112.2013.02.017

• 学术论文 • 上一篇    下一篇

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

彭成1, 杨路明1, 满君丰2   

  1. 1. 中南大学信息科学与工程学院,湖南长沙 410083;
    2. 湖南工业大学计算机与通信学院,湖南株洲 412007
  • 收稿日期:2012-07-20 修回日期:2012-10-12 出版日期:2013-02-25
    • 通讯作者:
    • 彭成
    • 作者简介:
    • 杨路明 男,1947年生于江西,汉族,中南大学信息科学与工程学院计算机系教授,博士生导师,主要研究方向为软件工程,计算机网络. E-mail:yang.601@163.com
    • 基金资助:
    • 国家技术创新基金 (No.11C26214302856); 湖南省自然科学基金 (No.12JJ2036,No.11JJ4050); 湖南省教育厅优秀青年项目 (No.11B039)

Dynamic Modeling of Networked Software Interactive Behavior

PENG Cheng1, YANG Lu-ming1, MAN Jun-feng2   

  1. 1. School of Information Science and Engineering, Central South University, Changsha, Hunan 410083, China;
    2. College of Computer and Communication, Hunan University of Technology, Zhuzhou, Hunan 412007, China
  • Received:2012-07-20 Revised:2012-10-12 Online:2013-02-25 Published:2013-02-25
    • Supported by:
    • National Technology Innovation Fund (No.11C26214302856); Natural Science Foundation of Hunan Province,  China (No.12JJ2036, No.11JJ4050); Excellent Youth Program of Education Department of Hunan Province (No.11B039)

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

关键词: 网络化软件, 交互行为, 不变量约束, 动态模型

Abstract: 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.

Key words: networked software, interactive behavior, invariant constraint, dynamic model

中图分类号: