基于过程模拟树的Web软件一致性检测方法.pdfVIP

第34 卷 第1 期 上海第二工业大学学报 Vol. 34 No. 1 2017 年3 月 JOURNAL OF SHANGHAI POLYTECHNIC UNIVERSITY Mar. 2017 : 1001-4543(2017)01-0049-09 DOI: 10.19570/j.cnki.jsspu.2017.01.009 基基基于于于过过过程程程模模模拟拟拟树树树的的的Web 软软软件件件一一一致致致性性性检检检测测测方方方法法法 , , (, 201209) : 随着大数据、云计算的发展, Web 软件越来越复杂, 人们对其质量要求也越来越严格。研究了一种Web 软 件一致性检测的方法。针对Web 软件的独特性质, 研究了Web 软件创建可执行模型的方法, 动态模拟系统运行。引 入文法的概念, 设计一个模拟器, 在模拟过程中动态检测可执行模型在外部事件(文法描述的) 触发下的执行是否存 在不一