摘要
建立软件交互行为模型是认识软件的内部机理和运行规律的基础。根据监控收集的典型的电子商务软件交互日志文档,挖掘其中的不变量约束规则,借鉴有限状态机构造方法构建动态模型。为确保模型的确定性和完备性,对模型进行精化和抽象,并给出了相应的建模算法。通过实例证实了该方法的正确性和有效性。
Modeling the networked software interaction behavior is the basis ot unaerstanmng me running rules of the networked software. The software interactive behavior log files are collected by monitoring, and the invari ant constraints are mined from it, a dynamic model learned from the construction of the finite state machine is presented. In order to ensure certainty and completeness of the model, the method of model refinement and abstraction is proposed. The corre sponding algorithms are also designed. Meanwhile, the effectiveness and feasibility of the proposed method are validated through experiments.
出处
《计算机工程与应用》
CSCD
2013年第20期34-39,共6页
Computer Engineering and Applications
基金
国家技术创新基金项目(No.11C26214302856)
湖南省自科基金项目(No.12JJ2036
No.11JJ4050)
关键词
交互行为
有限机
精化和抽象
interactive behavior
finite state machine
refinement and abstraction
