%0 Journal Article
%T 网络化软件交互行为动态建模
%A 彭成
%A 杨路明
%A 满君丰
%J 电子学报
%P 314-320
%D 2013
%R 10.3969/j.issn.0372-2112.2013.02.017
%X 目前的软件行为建模方法有其局限性,而网络化软件交互行为比传统软件更为复杂难控,对模型的定义和优化提出了更高的要求.本文提出一种基于不变量约束规则的挖掘方法,从监控收集的软件交互行为日志中挖掘出六类不变模式,简化了模型空间;并用事件描述状态,提高了数据集的表达能力;构建的动态模型考虑了参数传递和组件之间的交互,将数值关联关系映射到控制流中,从而更真实地刻画了软件交互行为;模型中的事件满足不变量约束规则,为软件行为分析提供了依据;同时,本文提出合并划分子图间的等价状态方法,对模型进行精化和抽象,确保了模型的确定性和完备性.仿真实验和实例分析证实了该方法的正确性和有效性.
%K 网络化软件
%K 交互行为
%K 不变量约束
%K 动态模型
%U http://www.ejournal.org.cn/CN/abstract/abstract7118.shtml