A Business Process of Web Services Testing Method Based on UML2.0 Activity Diagram
暂无分享,去创建一个
[1] Giuseppe A. Di Lucca,et al. Testing Web-based applications: The state of the art and future trends , 2006, Inf. Softw. Technol..
[2] Karsten Wolf,et al. Transforming BPEL to Petri Nets , 2005, Business Process Management.
[3] Li Xuandong,et al. Generating test cases from UML activity diagram based on Gray-box method , 2004 .
[4] Haithem Mezni,et al. Through Personalized Web Service Composition Specification: From BPEL to C-BPEL , 2006, Electron. Notes Theor. Comput. Sci..
[5] Shin Nakajima. Model-Checking Behavioral Specification of BPEL Applications , 2006, Electron. Notes Theor. Comput. Sci..
[6] Marc J. Balcer,et al. The category-partition method for specifying and generating fuctional tests , 1988, CACM.
[7] Eda Marchetti,et al. Introducing a Reasonably Complete and Coherent Approach for Model-based Testing , 2005, TACoS.
[8] Zhang Guang. Testing of IRCFG Coverage Criteria for Sequence Diagrams , 2006 .
[9] Vladimir Vasil'evich Lipaev,et al. A Methodology of Verification and Testing of Large Software Systems , 2003, Programming and Computer Software.