基于软件交互行为日志的动态模型构建

摘要

建立软件交互行为模型是认识软件的内部机理和运行规律的基础。根据监控收集的典型的电子商务软件交互日志文档，挖掘其中的不变量约束规则，借鉴有限状态机构造方法构建动态模型。为确保模型的确定性和完备性，对模型进行精化和抽象，并给出了相应的建模算法。通过实例证实了该方法的正确性和有效性。%Modeling the networked software interaction behavior is the basis of understanding the internal mechanism and the 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.