Design of a trustworthy service broker and dependence-based progressive group testing

International Journal of Simulation and Process Modelling

Volumn 3, Issue 1-2, 2007, Pages 66-79

  Bai, Xiaoying ^a   Cao, Zhibin ^b   Chen, Yinong ^b  

^a TSINGHUA UNIVERSITY   (China)

^b Arizona State University   (United States)

Author keywords

Progressive group testing; Service broker; Service oriented architecture; SOA; Web services; WS

Indexed keywords

COMPUTER AIDED DESIGN; COMPUTER AIDED SOFTWARE ENGINEERING; SOFTWARE ARCHITECTURE; SOFTWARE TESTING;

PROGRESSIVE GROUP TESTING; SERVICE-ORIENTED ARCHITECTURE; THRUSTWORTHY SERVICE BROKER;

WEB SERVICES;

EID: 34748905977     PISSN: 17402123     EISSN: 17402131     Source Type: Journal    
DOI: 10.1504/IJSPM.2007.014716     Document Type: Article

References (26)

1. Balcer, M., Hasling, T. and Ostrans, T. (1989) 'Automatic generation of test scripts fromformal test specifications', 3rd Symposium on Testing, Analysis and Verification.
2. Bloomberg, J. (2002) Web Services Testing: Beyond SOAP, ZapThink LLC, at http://www.zapthink.com.
3. Bromstrup, L. and Hogrefe, D. (1989) 'TESDL: experience with generating test cases from SDL specifications', Proceedings of the 4th SDL Forum, Elsevier, Amsterdam, pp.267-279.
4. Carver, R.H. and Tsai, K.C. (1998) 'Use of sequencing constraints for specification-based testing of concurrent programs', IEEE Transactions on Software Engineering, Vol. 24, No. 6, pp.471-490.
5. Cheng, K.T. and Krishnakumar, A.S. (1993) 'Automatic functional test generation using the extended finite state machine model', 30th ACM/ IEEE Design Automation Conference, pp.86-91.
6. De, B. (2003a) Web Services - Challenges and Solutions, WIPRO white paper, http://www.wipro.com.
7. De, B. (2003b) Testing Web Services - An Overview, WIPRO white paper, 2003, http://www.wipro.com.
8. DeMillo, R. and Offutt, A. (1991) 'Constraint-based automatic test data generation', IEEE Transactions on Software Engineering, Vol. 17, No. 9, pp.900-910.
9. Du, D.Z. and Hwang, F. (2000) Combinatorial Group Testing And Its Applications, World Scientific, 2nd edition.
10. Foster, H., Uchitel, S., Magee, J. and Kramer, J. (2003) 'Model-based verification of web service compositions', Proceedings of 18th IEEE International Conference on Automated Software Engineering, Montreal, Canada, pp. 152-161.
11. Korel, B. (1990) 'Automated software test data generation', IEEE Transactions on Software Engineering, Vol. 16, August, pp.870-879.
12. Kung, D. (2004) 'An agent-based framework for testing web applicaitons', Proc. First International Workshop on Quality Assurance and Testing of Web Applications, in conjunction with COMPSAC'04, Hong Kong, September 30, pp. 174-177.
13. Lee, D.Y. and Lee, J.Y. (1991) 'A well-defined ESTELLE specification for automatic test generation', IEEE Transactions on Communications, Vol. 40, pp.526-542.
14. Looker, N. and Xu, J. (2003) 'Assessing the dependability of SOAP RPC-based web services by fault injection', Proceedings of the Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'03), pp. 163-170.
15. Nakajima, S. (2002) 'Model-checking verification for reliable web service', Proc. OOPSLA'02 Workshop on Object-Oriented Web Services, Seattle, Washington.
16. Narayanan, S. and Mcllraith, S. (2002) 'Simulation, verification and automated composition of web services', Proceedings of International World Wide Web Conference, Honolulu, Hawaii, USA, pp.77-88.
17. Ramamoorthy, C., Ho, S. and Chen, W. (1976) 'On the automated generation of program test data', IEEE Trans. Software Engineering, Vol. SE-2, No. 4, December, pp.293-300.
18. Tsai, W.T., Paul, R., Wang, Y., Fan, C. and Wang, D. (2002) 'Extending WSDL to facilitate web services testing', Proc. 7th IEEE International Symposium on High-Assurance Systems Engineering, Tokyo, Japan, October, pp. 171-172.
19. Tsai, W.T., Paul, R., Cao, Z., Yu, L., Saimi, A. and Xiao, B. (2003) 'Verification of web services using an enhanced UDDI server', Proc. Eighth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'03), Guadalajara, MEXICO, January, pp. 131-138.
20. Tsai, W.T., Chen, Y., Paul, R., Liao, N. and Huang, H. (2004a) 'Cooperative and group testing in verification of dynamic composite web services?, Workshop on Quality Assurance and Testing of Web-Based Applications in conjunction with COMPSAC, Hong Kong, September, pp. 170-173.
21. Tsai, W.T., Zhang, D., Chen, Y., Huang, H., Paul, R. and Liao, N. (2004b) 'A software reliability model for web services', submitted to the 8th IASTED International Conference on Software Engineering and Applications, Cambridge, MA, November, pp. 144-149.
22. Tsai, W.T., Chen, Y., Zhang, D. and Huang, H. (2005a) 'Voting multi-dimensional data with deviations for web services under group testing', to appear in the 4th International Workshop on Assurance in Distributed Systems and Networks (ADSN), Columbus, June, pp.65-71.
23. Tsai, W.T., Chen, Y. and Paul, R. (2005b) 'Specification-based verification and validation of web services and service-oriented operating systems', 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 05), Sedona, February, pp. 139-147.
24. Yang, S.J.H., Lan, B.C.W. and Chu, J.Y. (2005) 'A trustworthy web services framework for business processes integration', 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 05), Sedona, February 2005, pp. 186-196.
25. Yi, X. and Kochut, K.J. (2004) 'A CP-nets-based design and verification framework for web services composition', Proceedings of the IEEE International Conference on Web Services, July, pp.756-760.
26. Zeng, L. and Benatallam, B. (2004) 'QoS-aware middleware for web service composition', IEEE Transaction on Software Engineering, Vol. 30, No. 5, pp.311-327.