基于扩展的层次有色petri网的组合服务测试用例生成  

Extended hierarchical color petri net-based test case generation for composite services

作　　者：蔡菊[1] 王迪[1] 李必信[1] 

机构地区：[1]东南大学计算机科学与工程学院,南京211189

出　　处：《东南大学学报（自然科学版）》2008年第4期598-604,共7页Journal of Southeast University：Natural Science Edition

基　　金：国家自然科学基金资助项目(60773105;60473065);江苏省自然科学基金资助项目(BK2007513);国家高技术研究发展计划(863计划)资助项目(2007AA01Z141);教育部新世纪优秀人才支持计划资助项目(NCET-06-0466)

摘　　要：为了更好地对Web组合服务中各个服务间的交互行为进行测试,提出了一种基于扩展的层次有色petri网的组合服务测试用例生成方法.首先将OWL-S文档映射成为扩展的层次有色petri网,使其中丰富的语义信息、数据流信息和控制流信息模型化.然后利用扩展的层次有色petri网,着重对各服务之间的数据流关系进行分析,找到所有的输出输入定义使用链,并将其扩展成可执行的测试序列,最后将测试序列和测试数据组合,生成测试用例.其中生成的所有测试序列符合全定义-使用路径覆盖标准.To test the interactive behaviors between Web services in one composite service, an extended hierarchical color petri net-based test case generation approach is proposed. First, the Web ontology language for services （OWL-S） document is mapped to extended hierarchical color petri net which includes the sematic, control flow and data flow information. Then, using this petri net, the data flow is mainly analyzed to find all output-input-define-use chain. Those chains are extended to form executable test sequences. Finally, the test sequence and the test data are combined to generate the test case. All the test sequences generated by this approach satisfy the all-du-path criterion.

关 键 词：有色PETRI网 数据流 测试序列 OWL—S 组合服务 

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