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

Modeling and Test Sequence Generation of Web Application Workflow Based on CPN

作　　者：董路路[1] 李华[1,2] 张素梅[1] 

机构地区：[1]内蒙古大学计算机学院,呼和浩特010021 [2]内蒙古大学网络信息中心,呼和浩特010021

出　　处：《内蒙古大学学报（自然科学版）》2013年第5期545-551,共7页Journal of Inner Mongolia University：Natural Science Edition

基　　金：国家自然科学基金项目(61163011);教育部春晖项目(Z2007-1-01032);内蒙古自然科学基金项目(2011MS0912)

摘　　要：为了提高Web应用的质量和可靠性,避免对Web应用进行测试时才发现其工作流程不合理,提出了在Web应用开发前先建立其工作流程的CPN模型,并基于CPN模型的状态空间给出了一个扩展-深度优先遍历算法,可以在满足状态覆盖和变迁覆盖的前提下减少测试序列的冗余度.为了展示该方法的有效性,以物流管理系统中的下订单业务为例,使用CPN对工作流建模,并对CPN模型进行正确性验证,之后采用扩展-深度优先遍历算法得到下订单业务的测试序列集,进而证实了扩展-深度优先遍历算法可以减少测试序列的冗余.In order to improve the quality and the rationality of the web applications and avoid finding the irrational workflow during the final testing phase,a CPN modeling for workflow is first constructed before the developing and the testing of Web applications. Based on the state space of the constructed CPN model, an expansion--depth--first traversal algorithm is proposed to reduce the redundancy of the test sequences under the premise of meeting the state coverage and the transi- tion coverage. Furthermore, the process of CPN--based workflow modeling for an order business of logistics management system is as an example to demonstrate the validity of this method. The mod- el＇s correctness and rationality are verified and the test sequences are generated by using the expan- sion- depth--first traversal algorithm. The redundancy of the test sequences is reduced by the ex- pansion- depth-- first traversal algorithm.

关 键 词：PETRI网 CPN 建模 合理性 测试序列 

分 类 号：TP316[自动化与计算机技术—计算机软件与理论]