A business process of web services testing method based on UML2.0 activity diagram

Proceedings - Workshop on Intelligent Information Technology Application, IITA 2007

Volumn , Issue , 2007, Pages 59-60

  Zhang, Guangquan ^a,c   Rong, Mei ^b   Zhang, Jun ^a  

^a SOOCHOW UNIVERSITY   (China)

^b JINAN UNIVERSITY   (China)

^c CHONGQING NORMAL UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; DYNAMIC MODELS; INFORMATION SERVICES; SYSTEMS ANALYSIS; TECHNOLOGY; TESTING; WEB SERVICES; WORLD WIDE WEB;

ACTIVITY DIAGRAM (AD); AUTOMATED TESTING; BUSINESS PROCESSING; DYNAMIC TESTING; FORMAL SPECIFICATIONS; IN ORDER; INTELLIGENT INFORMATION; TECHNOLOGY APPLICATIONS; TEST CASES; TEST CASES GENERATION; TEST COVERAGE CRITERIA; TESTING METHODS;

INFORMATION TECHNOLOGY;

EID: 44949093377     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IITA.2007.2     Document Type: Conference Paper

References (12)

1. Bertolino A, Marchetti E, Muccini H. Introducing a reasonably complete and coherent approach for Model-based testing[J]. Theoretical Computer Science, 2005, 116(1): 85-97.
2. Fu X, Bultan T, Su J. Analysis of interacting BPEL web services[C]//Stuart Feldman. Proceedings of the 13th International Conference on World Wide Web.New York: ACM Press, 2004.621-630.
3. Sebastian Hinz, Karsten Schmidt, Christian Stah. Transforming BPEL to Petri Nets[J]. Springer-Verlag, 2005, LNCS3649:220-235.
4. Giuseppe A, Di.Lucca, Anna Rita Fasolino. Testing Web-based applications: The state of the art and future trends[J]. Information and Software Technology, 2006, 48(12): 1172-1186.
5. Lipaev V V. A methodology of verification and testing of large software system[J]. Programming and Computer Software, 2003, 29(6): 298-309.
6. Ghedira C, Mezni H. Through personalized web service composition specification: from BPEL to C-BPEL [J]. Electronic Notes in Theoretical Computer Science, 2006, 146(1): 117-132.
7. Li Liuying, Wang Ji, Qi Zhichang. A test case generation method for UML statecharts[J]. Journal of Computer Research and Development, 2001, 38 (6):691-697. (Ch)
8. Wang Linzhang, Yuan Jiesong, Yu Xiaofeng, et al. Generating test cases from UML activity diagram based on Gray-Box method[C]//Alain Jean. Proceedings of the 11th Asia-Pacific Software engineering conference. Busan: IEEE Computer Society, 2004.284-291.
9. Ostrand TJ, Balcer MJ. The Category-Partition method for specifying and generating functional tests[J]. Communication of ACM, 1988, 31 (6):676-686.
10. Zhang Guangquan, Li Lifeng, Rong Mei, Dai Ye. Testing of IRCFG coverage criteria for sequence diagrams[J]. Computer Science, 2006, 33(12):270-273. (Ch)
11. Shin Nakajima. Model-Checking behavioral specification of BPEL applications[J]. Electronic Notes in Theoretical Computer Science, 2006, 151 (2):89-105.
12. Rountev A, Kagan S, Sawin J. Coverage criteria for testing of object interactions in sequence diagrams[C]//Mauca Cerioli. Proceedings of the 8th International Conference on Fundamental Approaches to Software Engineering.Edinburgh: Springer-Verlag, 2005.234-248.