Web应用工作流的CPN建模及测试序列生成.pdfVIP

2013年 9月 内蒙古大学学报 (自然科学版) Sept． 2013 第 44卷第5期 JournalofInnerMongoliaUniversity (NaturalScienceEdition) Vo1．44 No．5 文章编号 ：1000—1638(2013)05—0545—07 Web应用工作流的CPN建模及测试序列生成 董路路 ，李 华 ，张素梅 (1．内蒙古大学计算机学院，呼和浩特 010021；2．内蒙古大学网络信息中心，呼和浩特 010021) 摘要 ：为了提高Web应用的质量和可靠性，避免对Web应用进行测试时才发现其工作流程 不合理，提 出了在 Web应用开发前先建立其工作流程的 CPN模型，并基于 CPN模型的状态 空 间给 出了一个扩展一深度优先遍历算法 ，可 以在满足状态覆盖和变迁覆盖的前提下减少测 试序列的冗余度．为 了展示该方法的有效性，以物流管理系统中的下订单业务为例 ，使用 CPN 对工作流建模 ，并对 CPN模型进行正确性验证 ，之后采用扩展～深度优先遍历算法得到下订 单业务 的测试序列集 ，进而证实了扩展一深度优先遍历算法可以减少测试序列的冗余． 关键词 ：Petri网；CPN；建模；合理性；测试序列 中图分类号 ：TP316 文献标志码 ：A 随着 Internet的飞速发展 ，Web应用越来越多的渗入到了人们的生活及工作的方方面面．Web 应用程序的开发具有一定的随意性 ，工程量很大 ，其测试缺乏系统化 的方法．保证 Web应用系统的质 量和可靠性 的同时 ，提高开发及测试效率非常必要． 现在的Web应用系统功能复杂 ，开发量大 ，为了避免在测试阶段才发现其工作流程不合理 ，也为 了提高测试的效率 ，本文提出了图 l所示的开发及测试流程．将建模放到开发前 ，可以保证 Web应用 工作流 的合理性 ，根据模型获得测试序列 ，能保证测试序列 的覆盖度． 根据、lk务流：~it，例-定I：作流 CPN列工件流建模 对所构建的模 进行验证 N 合理? Y 根据CPN模型提取测试序列 ●— 开发 图 1 基于业务流程的开发及测试过程 Fig．1 Developmentandtestprocessbasedonbusinessprocess 1 相关研究工作 随着 Web应用的广泛使用 ，对于它的建模及测试 的研究越来越受到人们 的关注 ，取得了一些研 究成果 ，例如文献E53提到了四种工作流的建模方法 ，通过 比较分析 ，说 明了基于 Petri网的工作 流建模有明显的优势 ；文献E6]提出了一种 电子政务系统基于 Petri网的工作流建模方法 ，并证 明了 * 收稿 日期 ：2013—03—17 基金项 目：国家 自然科学基金项 目；教育部春晖项 目(Z2007—1—01032)；内蒙古 自然科学基金项 目 (2011MS0912) 作者简介 ：董路路 (1988一)，女 ，山东枣庄人 ，2011级硕士研究生．E—mail：dongll@imu．edu．cn． 通信作者 ：李 华 (1964～)，女，山西定襄县人 ，教授 ，博士．主要从事形式化建模与测试研究．E-mail：cslihua@ imu．edu．cn． 内蒙卉大学学报 (自然科学版) 此方法对电子政务系统的实用性和有效性．文献E7]主要讨论了Petri网在工作流领域的应用 ，论述 了使用 Petri网为工作流建模的三个原