A robust testing framework for verifying Web Services by completeness and consistency analysis

Proceedings - SOSE 2005: IEEE International Workshop on Service-Oriented System Engineering

Volumn 2005, Issue , 2005, Pages 159-166

  Tsai, W T ^a   Wei, X ^a   Chen, Y ^a   Paul, R ^b  

^a Arizona State University   (United States)

^b ARMED FORCES INSTITUTE OF PATHOLOGY   (United States)

Author keywords

Completeness and consistency checking; Test case generation; Web services; Web services testing

Indexed keywords

ALGORITHMS; BOOLEAN ALGEBRA; ROBUSTNESS (CONTROL SYSTEMS); SYSTEMS ANALYSIS; WORLD WIDE WEB;

COMPLETENESS AND CONSISTENCY CHECKING; TEST CASE GENERATION; WEB SERVICES TESTING;

TELECOMMUNICATION SERVICES;

EID: 33845494507     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SOSE.2005.2     Document Type: Conference Paper

References (19)

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), Scotland, UK, May 2004, pp. 326-335.
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, Sep. 2001, pp. 165-180.
4. J. Clune and L. Chen, "Testing Web Services: Methods for Ensuring Server and Client Reliability" at http://www.syscon.com/websphere/
5. N. Davidson, "Testing Web Services" at http://www.webservices. org/, in October 2002.
6. T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, "Lazy Abstraction", In Proceedings of the 29th Annual Symposium on Principles of Programming Languages, 2002, pp. 58-70.
7. G. Holtzman, "The Spin Model Checker," IEEE Transactions on Software Engineering, Vol. 23, No. 5, May 1997, pp. 279-295.
8. J. Myerson, "Testing for SOAP Interoperability" at http://www.webservicesarchitect.com/, Feb 2002.
9. Wim De Pauw, et al., "Websight Visualizing the Execution of Web Services", Workshop on Testing, Analysis and Verification of Web Services, Boston, MA, July 2004.
10. W. T. Tsai, R. Paul, L. Yu, and X. Wei, "Rapid Pattern-Oriented Scenario-Based Testing for Embedded Systems," in Software Evolution with UML and XML, edited by H. Yang, Idea Group Publishing, London, 2005, pp. 222-262
11. W. T. Tsai, X. Wei, Y. Chen, B. Xiao, R. Paul, and H. Huang, "Developing and Assuring Trustworthy Web Services", ISADS, 2005, pp. 43-50.
12. W. T. Tsai, Y. Chen, R. Paul, H. Huang, X. Zhou, X. Wei, "Adaptive Testing, Oracle Generation, and Test Case Ranking for Web Services", COMPSAC, 2005, pp 101-106.
13. W. T. Tsai, X. Wei, Y. Chen, R. Paul and B. Xiao, "Swiss Cheese Test Case Generation for Web Service Testing", accepted by IEICE (the Institute of Electronics, Information and Communication Engineers)/IEEE Joint Special Section on Autonomous Decentralized Systems, 2005.
14. K. H. Rosen, Discrete Mathematics and Its Applications, 5th edition, McGraw Hill, 2003.
15. T. Ninomiya, and M. Mukaidono, "Independence of the Axioms of Boolean Algebra in Multiple-Valued Logic", Multiple-Valued Logic, 2000. (ISMVL 2000) Proceedings. 30th IEEE International Symposium on, 2000, pp. 107-112.
16. T. Ninomiya, and M. Mukaidono, "Independence of Each Axiom in a Set of Axioms and Complete Sets of Axioms of Boolean Algebra", Multiple-Valued Logic, 2002. ISMVL 2002, Proceedings 32nd IEEE International Symposium on Multiple-Valued Logic, 2002, pp. 185-191.
17. B. C. H. Turton, "Extending Quine-McCluskey for Exclusive-Or Logic Synthesis"; IEEE Transactions on Education, Vol. 39, No. 1, Feb. 1996, pp. 81-85.
18. C. L. Heitmeyer, R. D. Jeffords, and B. G. Labaw, "Automated Consistency Checking of Requirements Specifications", ACM Teansactions on Software Engineering and Methodology, Vol. 5, No. 3, July 1996, pp. 231-261.
19. F. Mileto, G. Putzolu, "Statistical Complexity of Algorithms for Boolean Function Minimization", Journal of the ACM (JACM), Vol. 12, No. 3, July 1965, pp. 364-375.