期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

BPEL的测试用例生成研究 被引量：2

Research on BPEL test case generation
下载PDF
导出
摘要 BPEL是能表达复杂的并发行为的一个语言,被用于描述Web服务的组合。提出一个算法来生成BPEL过程的单元测试用例。首先通过给定的转换规则把用BPEL描述的过程转换成BPEL流图(FGBPEL),然后提出CTP算法来生成测试用例。对提出的方法做适当的扩展,也可以运用到其它的业务过程处理语言中。 BPEL is a language that could express complex concurrent behaviors for web services composition. An efficient algorithm is presented to generate BPEL unit test case. Firstly, BPEL process source code is translated into BPEL flow diagram （FGBPEL） with the transformation rules, and then CTP algorithm is presented to generate test cases. This method also can be applied to test other business process languages with possible extension and adoption.
作者 曾云峰 周航 黄志球
机构地区 南京航空航天大学计算机科学与技术系
出处 《计算机工程与设计》 CSCD 北大核心 2008年第20期5243-5246,5249,共5页 Computer Engineering and Design
关键词 业务过程执行语言 测试用例 WEB服务 服务组合 测试 BPEL test case web service web service composition test
分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献8

  • 1Business process execution language for web services[EB/OL]. http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf.
  • 2Taylor R N,Levine D L,Kelly C D.Structural testing of concurrent programs[J].IEEE Transactions on Software Engineering, 1992,18(3):206-215.
  • 3Katayama T, Itoh E,Furukawa Z.Test-case generation for concurrent programs with the testing criteria using interaction sequences[C].Proceedings of the 6th Asian-Pacific Software Engineering Conference, 1999:590-597.
  • 4Yang R D,Chung C G.A path analysis approach to concurrent program testing[C].Computers and Communication Conference Proceedings, 1990:425-432.
  • 5Li Z, Sun W, Jiang ZB. BPEL4WS unit testing: Framework and implementation[C].Proceeding of 2005 IEEE International Conference on Web Services(ICWS'2005),2005:103- 110.
  • 6Yan J,Li Z,Yuan Y, et al.BPEL4WS unit testing:Test case generation using a concurrent path analysis approach[C]. 17th International Symposium on Software Reliability Engineering (ISSRE'06),2006:75-84.
  • 7Yuan Y, Li Z J, Sun W. A graph-search based approach to BPEL4WS test generation[C].Intemational Conference on Software Engineering Advances(ICSEA'06),2006.
  • 8Mayer P, Lubke D.Towards a BPEL unit testing framework[C]. Proceedings of Workshop on Testing, Analysis, and Verification of Web Services and Applications,2006:33-42.

同被引文献13

  • 1BPMI org, OMG. Business Process Modeling Notation (BPMN) 1.1 [ OL ]. http://www, omg. org/spec/BPMN/ 1.1/,2008.
  • 2Tsai W T, et al. Extending WSDL to facilitate web services testing[A]. Proceedings of the 7th IEEE International Sympo- sium on High Assurance Systems Engineering[ C]. IEEE Press, 2002. 171 - 172.
  • 3Bai Xiaoying, et al. WSDL-based automatic test case generation for Web Services testing[ A] .Proceedings of the IEEE International Workshop on Service-Oriented System Engineering (SOSE) [ C]. IEEE Press, 2005.215 - 220.
  • 4Mayer P, D Lubke. Towards a BPEL unit testing framework [ A]. Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications [ C ]. New York, USA: ACM Press,2006.33 - 42.
  • 5Yah Ping Y, et al. Transformation BPEL to CP-nets for verifying web services composition in next generation web services practices[A]. Proceedings of International Conference on Next Generation Web Services Practices (NWeSP) [ C]. IEEE Press, 2005.137 - 142.
  • 6W Dong, H Yu, Y Zhang. Testing BPEL-based web service composition using high-level Petri nets[A]. Proceedings of the lOth IEEE International Enterprise Distributed Object Computing Conference ( EDOC ) [ C ]. Washington, DC, USA: Computer Society, 2006.441 - 444.
  • 7Dong W L. Test case reduction technique for BPEL-based testing[ A]. Proceedings of the 2008 International Symposium on Electronic Commerce and Security (ISECS) [ C ]. Washington, DC, USA: IEEE Computer Society,2008.814 - 817.
  • 8Rapps S, E J Weyuker. Selecting software test data using data flow infonnation[ J]. IEEE Transactions on Sottware Engineering, 1985,11(4) :367 - 375.
  • 9D M Cohen, et al. The AETG system: an approach to testing based on combinatorial design[ J]. IEEE Transactions on Software Engineering,2000,23(7) :437 - 444.
  • 10Kuhn D R, Reilly M J. An investigation of the applicability of design of experiments to software testing[ A]. Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW - 27'02) [ C]. Washington, DC, USA: IEEE Computer Society,2002.91 - 95.

引证文献2

二级引证文献1

计算机工程与设计
2008年 第20期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部