A coverage relationship model for test case selection and ranking for multi-version software

High Assurance Services Computing

Volumn , Issue , 2009, Pages 285-311

  Tsai, Wei Tek ^a   Zhou, Xinyu ^a   A Paul, Raymond ^b   Chen, Yinong ^a   Bai, Xiaoying ^c  

^a Arizona State University   (United States)

^b ARMED FORCES INSTITUTE OF PATHOLOGY   (United States)

^c TSINGHUA UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 79955746215     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/978-0-387-87658-0_14     Document Type: Chapter

References (29)

1. A. Bar-Noy, F. Hwang, H. Kessler, and S. Kutten. A new competitive algorithm for group testing. Discrete Applied Mathematics, 52:29-38, July 1994.
2. L. Baresi, and E. Di Nitto, Test and Analysis of Web Services, Springer, 1st edition, November, 2007
3. A. Bertolino, L. Frantzen, A. Polini, and J. Tretmans. Audition of web services for testing conformance to open specified protocols. In Architecting Systems with Trustworthy Components, No. 3938 in LNCS. Springer-Verlag, 2006.
4. P.A. Bonatti, P. Festa, "On Optimal Service Selection", Proc. of the International World Wide Web Conference (WWW), 2005, pp.530-538.
5. Kai-Yuan Cai, Yong-Chao Li, Ke Liu, "Optimal and adaptive testing for software reliability assessment, " Information & Software Technologies, volume 46, December 2004, pp. 989-1000.
6. G. Canfora and M. Di Penta, "Testing Services and Service-centric Systems, Challenges and Opportunities, " IT Professional, vol. 8, no. 2, 2006, pp. 10-17.
7. Liming Chen; A. Avizienis, N-Version Programming: a Fault-Tolerance Approach to Reliability of Software Operation, Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, pp. 113-119.
8. B. De, "Web Services-Challenges and Solutions", WIPRO white paper, 2003, http://www.wipro.com.
9. D. Z. Du and F. Hwang, Combinatorial Group Testing And Its Applications, World Scientific, 2nd edition, 2000
10. J. Garcia-Fanjul, J. Tuya, C. de la Riva. Generating test cases specifications for bpel compositions of web services using spin, International Workshop on Web Services Modeling and Testing (WSMaTe), 2006.
11. Heckel, R. and Mariani, L., Automatic conformance testing of Web Services, Proceedings of FASE 05: 34-48.
12. Andrew B. Kahng, Sherief Reda, Combinatorial group testing methods for the BIST diagnosis problem, Proceedings of the 2004 conference on Asia South Pacific design automation: electronic design and solution fair, pp. 113-116, Yokohama, Japan, 2004
13. J. Koehler, B. Srivastava, "Web Service Composition: Current Solutions and Open Problems", ICAPS 2003 Workshop on Planning for Web Services, pp. 28-35.
14. N. Milanovic, M. Malek, "Current Solutions for Web Service Composition", IEEE Internet Computing, Nov/Dec 2004, Volume: 8, Issue: 6. pp. 51-59.
15. S. Narayanan and S. Mcllraith, "Simulation, verification and automated composition of web services", In Proc. WWW, 2002.
16. Dmitri Nevedrov, Using JMeter to Performance Test Web Services, http://dev2dev.bea.com/pub/a/2006/08/jmeter-performance-testing.html
17. OASIS: Business Process Execution Language for Web Services (BPEL4WS), 2003. http://xml.coverpages.org/bpel4ws.html
18. OWL-S, http://www.daml.org/services/owl-s/
19. William N. Robinson, "A requirements monitoring framework for enterprise systems, " Requirements Engineering Journal, 11 (2006): 17-41.
20. W.T Tsai, X. Bai, Y. Chen, X. Zhou, "Web Service Group Testing with Windowing Mechanisms, " IEEE International Workshop on Service-Oriented System Engineering (SOSE), Beijing October 2005, 213-218.
21. W.T. Tsai, Y. Chen, R. Paul, H. Huang, X. Zhou, X. Wei, "Adaptive Testing, Oracle Generation, and Test Script Ranking for Web Services, " 29th IEEE Annual International Computer Software and Applications Conference (COMPSAC), Edinburgh, July 2005, pp.101-106.
22. Web Services Policy 1.2-Framework (WS-Policy) W3C Member Submission 25 April 2006, available at http://www.w3.org/Submission/2006/06/
23. J. A. Whittaker and M. G. Thomason. AMarkov chain model for statistical software testing. IEEE Trans. on Software Engineering, 20(10):812-824, Oct. 1994.
24. W3C, the World Wide Web Consortium, www.w3.org/
25. Web 2.0, Wikipedia, http://en.wikipedia.org/wiki/Web-2
26. WSDL, available at http://www.w3.org/TR/wsdl
27. Pulei Xiong, Robert L. Probert, Bernard Stepien, An Efficient Formal Testing Approach for Web Service with TTCN-3 , In Proceedings of the 13th International Conference on Software, Telecommunications and Computer Networks (SoftCOM 2005), Split, Croatia, 2005.
28. Yongyan Zheng, Jiong Zhou, P. Krause, A model checking based test case generation framework for Web services, 4th International Conference on Information Technology New Generations, 2007.
29. Hong Zhu, A Framework for Service-Oriented Testing of Web Services, 30th Annual International Computer Software and Applications Conference, 2006.