计算机工程与应用 ›› 2013, Vol. 49 ›› Issue (20): 34-39.
欧阳广1,彭 成2,李倩倩1,2
OUYANG Guang1, PENG Cheng2, LI Qianqian1,2
摘要: 建立软件交互行为模型是认识软件的内部机理和运行规律的基础。根据监控收集的典型的电子商务软件交互日志文档,挖掘其中的不变量约束规则,借鉴有限状态机构造方法构建动态模型。为确保模型的确定性和完备性,对模型进行精化和抽象,并给出了相应的建模算法。通过实例证实了该方法的正确性和有效性。