[1]蔡菊,王迪,李必信.基于扩展的层次有色petri网的组合服务测试用例生成[J].东南大学学报(自然科学版),2008,38(4):598-604.[doi:10.3969/j.issn.1001-0505.2008.04.011]
 Cai Ju,Wang Di,Li Bixin.Extended hierarchical color petri net-based test case generation for composite services[J].Journal of Southeast University (Natural Science Edition),2008,38(4):598-604.[doi:10.3969/j.issn.1001-0505.2008.04.011]
点击复制

基于扩展的层次有色petri网的组合服务测试用例生成()
分享到:

《东南大学学报(自然科学版)》[ISSN:1001-0505/CN:32-1178/N]

卷:
38
期数:
2008年第4期
页码:
598-604
栏目:
计算机科学与工程
出版日期:
2008-07-20

文章信息/Info

Title:
Extended hierarchical color petri net-based test case generation for composite services
作者:
蔡菊 王迪 李必信
东南大学计算机科学与工程学院, 南京 211189
Author(s):
Cai Ju Wang Di Li Bixin
School of Computer Science and Engineering, Southeast University, Nanjing 211189, China
关键词:
有色petri网 数据流 测试序列 OWL-S 组合服务
Keywords:
color petri net data flow test sequence Web ontology language for services(OWL-S) composite service
分类号:
TP311.5
DOI:
10.3969/j.issn.1001-0505.2008.04.011
摘要:
为了更好地对Web组合服务中各个服务间的交互行为进行测试,提出了一种基于扩展的层次有色petri网的组合服务测试用例生成方法.首先将OWL-S文档映射成为扩展的层次有色petri网,使其中丰富的语义信息、数据流信息和控制流信息模型化.然后利用扩展的层次有色petri网,着重对各服务之间的数据流关系进行分析,找到所有的输出输入定义使用链,并将其扩展成可执行的测试序列,最后将测试序列和测试数据组合,生成测试用例.其中生成的所有测试序列符合全定义-使用路径覆盖标准.
Abstract:
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.

参考文献/References:

[1] Tsai W T,Paul R,Wang Yamin,et al.Extending WSDL to facilitate Web services testing[C] //Proceedings of the 7th IEEE International Symposium on High Assurance Systems Engineering.Tokyo,Japan,2002:171-172.
[2] Bai Xiaoying,Dong Wenli,Tsai Wei-Tek,et al.WSDL-based automatic test case generation for Web services testing[C] //Proceedings of the 2005 IEEE International Workshop on Service-Oriented System Engineering.Washington DC,USA,2005:207-212.
[3] Yang Yanping,Tan Qingping,Yu Jinshan,et al.Transformation BPEL to CP-nets for verifying Web services composition[C] //Proceedings of the International Conference on Next Generation Web Services Practices.Seoul,Korea,2005:137-142.
[4] Yang Yanping,Tan Qingping,Xiao Yong,et al.Exploiting hierarchical CP-nets to increase the reliability of Web services workflow[C] //Proceedings of the 2005 Symposium on Applications and the Internet.Phoenix,AZ,USA,2005:116-122.
[5] Li Hua,Ye Xinming.Generation executable test sequence based on petri-net for combined control and data flow of communication protocol[C] //International Conference on Communication Technology.Beijing,China,1998:21-25.
[6] 王生原,余鹏,霍金键,等.系统工程petri网[M].北京:电子工业出版社,2005.
[7] Bourhfir C,Dssouli R,Aboulhamid E,et al.Automatic executable test case generation for extended finite state machine protocols[C] //IWTCS’97.Cheju Island,Korea,1997:75-90.
[8] 姜瑛,辛国茂,单锦辉,等.一种Web服务的测试数据自动生成方法[J].计算机学报,2005,28(4):568-577.
  Jiang Ying,Xin Guomao,Shan Jinhui,et al.A method of automated test data generation for Web service[J].Chinese Journal of Computers,2005,28(4):568-577.(in Chinese)
[9] Zheng Yongyan,Zhou Jiong,Krause Paul.A model checking based test case generation framework for Web services[C] //Fourth International Conference on Information Technology.Las Vegas,NV,USA,2007:715-722.
[10] Wang Yongbo,Bai Xiaoying,Li Juanzi,et al.Ontology-based test case generation for testing Web services[C] //Eighth International Symposium on Autonomous Decentralized Systems.Sedona,AZ,USA,2007:43-50.

相似文献/References:

[1]赵传申,孙志挥.半结构化文档数据流的快速频繁模式挖掘[J].东南大学学报(自然科学版),2006,36(3):452.[doi:10.3969/j.issn.1001-0505.2006.03.025]
 Zhao Chuanshen,Sun Zhihui.Fast mining frequent patterns in semi-structured data stream[J].Journal of Southeast University (Natural Science Edition),2006,36(4):452.[doi:10.3969/j.issn.1001-0505.2006.03.025]
[2]李春林,邢汉承.逻辑程序“与并行”计算模型的研究[J].东南大学学报(自然科学版),1987,17(6):125.[doi:10.3969/j.issn.1001-0505.1987.06.014]
 Li Chunling Xin Hancheng (Department of Computer Science and Engineering).On the AND-Parallel Compution Models of Logic Programs[J].Journal of Southeast University (Natural Science Edition),1987,17(4):125.[doi:10.3969/j.issn.1001-0505.1987.06.014]

备注/Memo

备注/Memo:
作者简介: 蔡菊(1983—),女,硕士生; 李必信(联系人),男,博士,教授,博士生导师, bx.li@seu.edu.cn.
基金项目: 国家自然科学基金资助项目(60773105,60473065)、江苏省自然科学基金资助项目(BK2007513)、国家高技术研究发展计划(863计划)资助项目(2007AA01Z141)、教育部新世纪优秀人才支持计划资助项目(NCET-06-0466).
引文格式: 蔡菊,王迪,李必信.基于扩展的层次有色petri网的组合服务测试用例生成[J].东南大学学报:自然科学版,2008,38(4):598-604.
更新日期/Last Update: 2008-07-20