Swiss cheese test case generation for web services testing

IEICE Transactions on Information and Systems

Volumn E88-D, Issue 12, 2005, Pages 2691-2698

  Tsai, Wei Tek ^a   Wei, Xiao ^a   Chen, Yinong ^a,c   Paul, Ray ^b,d,e   Xiao, Bingnan ^a  

^a Arizona State University   (United States)

^b ARMED FORCES INSTITUTE OF PATHOLOGY   (United States)

^c ARIZONA STATE UNIVERSITY   (United States)

^d IEEE Computer Society ^*

^e IEEE

Author keywords

Model checking; Test case generation; Vulnerability; Web services; Web services testing

Indexed keywords

COMPUTER SOFTWARE; MATHEMATICAL MODELS; SOFTWARE ENGINEERING; WORLD WIDE WEB;

MODEL CHECKING; TEST CASE GENERATION; WEB SERVICES; WEB SERVICES TESTING;

TELECOMMUNICATION SERVICES;

EID: 30344471241     PISSN: 09168532     EISSN: 17451361     Source Type: Journal    
DOI: 10.1093/ietisy/e88-d.12.2691     Document Type: Conference Paper

References (21)

1. D. Beyer, A. Chlipala, T. Henzinger, R. Jhala, and R. Majumdar, "Generating tests from counterexamples," Proceedings of the 26th International Conference on Software Engineering (ICSE'04), pp.326-335, Scotland, UK, May 2004.
2. E. Clarke, O. Grumberg, and D. Peled, Model Checking, MIT Press, 2002.
3. T.Y. Chen and M.F. Lau, "Test cases selection strategies based on Boolean specifications," Software Testing, Verification and Reliability, vol.11, no.3, pp.165-180, Sept. 2001.
4. J. Clune and L. Chen, "Testing Web services: Methods for ensuring server and client reliability," at http://www.sys-con.com/websphere/
5. N. Davidson, "Testing Web services," at http://www.webservices.org/, Oct. 2002.
6. T.A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, "Lazy abstraction," Proc. 29th Annual Symposium on Principles of Programming Languages, pp.58-70, 2002.
7. G. Holtzman, "The spin model checker," IEEE Trans. Softw. Eng., vol.23, no.5, pp.279-295, May 1997.
8. J. Myerson, "Testing for SOAP interoperability," at http://www.webservicesarchitect.com/, Feb. 2002.
9. W.D. Pauw, B. Hoch, S. Krasikov, M. Lei, J. Morar, R. Pavuluri, A. Phalgune, E. Pring, and S. Velayudham, "Websight visualizing the execution of Web services," Workshop on Testing, Analysis and Verification of Web Services, Boston, MA, July 2004. http://www.cs.ucsb.edu/~bultan/tav-web/Websight_TAV_WEB_July_2004.ppt
10. W.T. Tsai, R. Paul, Y. Wang, C. Fan, and D. Wang, "Extending WSDL to facilitate Web services testing," Proc. IEEE HASE, pp. 171-172, 2002.
11. W.T. Tsai, R. Paul, Z. Cao, L. Yu, A. Saimi, and B. Xiao, "Verification of Web services using an enhanced UDDI server," Proc. IEEE WORDS, pp.131-138, 2003.
12. W.T. Tsai, R. Paul, L. Yu, A. Saimi, and Z. Cao, "Scenario-based Web service testing with distributed agents," IEICE Trans. Inf. & Syst., vol.E86-D, no.10, pp.2130-2144, Oct. 2003.
13. W.T. Tsai, L. Yu, F. Zhu, and R.J. Paul, "Rapid verification of embedded systems using patterns," COMPSAC 2003, pp.466-471, 2003.
14. W.T. Tsai, R. Paul, L. Yu, X. Wei, and F. Zhu, "Rapid pattern-oriented scenario-based testing for embedded systems," in Software Evolution with UML and XML, ed. H. Yang, Idea Group Publishing, pp.222-262, London, 2005.
15. W.T. Tsai, D. Zhang, Y. Chen, H. Huang, R. Paul, and N. Liao, "A software reliability model for Web services," The 8th IASTED International Conference on Software Engineering and Applications, pp. 144-149, Cambridge, MA, Nov. 2004.
16. W.T. Tsai, Y. Chen, Z. Cao, X. Bai, H. Huang, and R. Paul, "Testing Web services using progressive group testing," Advanced Workshop on Content Computing, pp.314-322, Zhenjiang, China, Nov. 2004.
17. W.T. Tsai, X. Wei, Y. Chen, B. Xiao, R. Paul, and H. Huang, "Developing and assuring trustworthy Web services," ISADS, pp.43-50, 2005.
18. T.Y. Chen and M.F. Lau, "Two test cases selection strategies towards testing of Boolean specifications," Proc. 21st Annual International Computer Software and Applications Conference (COMPSAC'97), pp.608-611, 1997.
19. T.Y. Chen, M.F. Lau, and Y.T. Yu, "MUMCUT: A fault-based strategy for testing Boolean specifications," Proc. 1999 Asia-Pacific Conference on Software Engineering (APSEC'99), pp.606-613, Dec. 1999.
20. E.J. Weyuker, T. Goradia, and A. Singh, "Automatically generating test data from a Boolean specification," IEEE Trans. Softw. Eng., vol.20, no.5, pp.353-363, 1994.
21. W.T. Tsai, Y. Chen, R. Paul, H. Huang, X. Zhou, and X. Wei, "Adaptive testing, oracle generation, and test case ranking for Web services," COMPSAC, pp. 101-106, 2005.