Method of automated test data generation for web service

Jisuanji Xuebao/Chinese Journal of Computers

Volumn 28, Issue 4, 2005, Pages 568-577

  Jiang, Ying ^a,b   Xin, Guo Mao ^a   Shan, Jin Hui ^a   Zhang, Lu ^a   Xie, Bing ^a   Yang, Fu Qing ^a  

^a PEKING UNIVERSITY   (China)

^b KUNMING UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

Author keywords

Contract; Mutation testing; Software testing; Test data generation; Web service

Indexed keywords

ALGORITHMS; COMPUTER SOFTWARE SELECTION AND EVALUATION; DISTRIBUTED COMPUTER SYSTEMS; FLOWCHARTING; FORMAL LANGUAGES; MIDDLEWARE;

DESIGN BY CONTACTS; MUTATION TESTING; SERVICE ORIENTED ARCHITECTURE; SOFTWARE TESTING; TEST DATA GENERATION; WEB SERVICE;

QUALITY OF SERVICE;

EID: 18744383038     PISSN: 02544164     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (19)

1. Yang Fu-Qing, Mei Hong, Lu Jian, Jin Zhi. Some discussion on the development of software technology. Acta Electronica Sinica, 2002, 30(12A): 1901-1906(in Chinese)
2. Fabbri S. C. P. F., Maldonado J. C., Sugeta T., Masiero P. C.. Mutation testing applied to validate specifications based on statecharts. In: Proceedings of the 10th International Symposium on Software Reliability Engineering, Florida, USA, 1999, 210-219
3. Mandrioli D., Morasca S., Morzenti A.. Generating test cases for real-time systems from logic specifications. ACM Transactions on Computer Systems, 1995, 13(4): 365-398
4. Shan Jin-Hui, Wang Ji, Qi Zhi-Chang. Survey on path-wise automatic generation of test data. Acta Electronica Sinica, 2004, 32(1): 109-113(in Chinese)
5. Lee S. C., Offutt J.. Generating test cases for XML-based Web component interactions using mutation analysis. In: Proceedings of the 12th International Symposium on Software Reliability Engineering, Hong Kong, China, 2001, 200-209
6. Offutt J., Xu W.. Generating test cases for web services using data perturbation. ACM SIGSOFT Software Engineering Notes, 2004, 29(5): 1-10
7. Tracey N. J.. A search-based automated test-data generation framework for safety-critical software [Ph. D. dissertation], Department of Computer Science, University of York, 2000
8. Jiang Ying, Xin Guo-Mao, Shan Jin-Hui, Xie Bing, Research on a testing technology based on design-by-contract. Journal of Software, 2004, 15(Supplement): 130-137(in Chinese)
9. Zhu Hong, Jin Ling-Zi. Software Quality Assurance and Testing. Beijing: Science Press, 1997(in Chinese)
10. Aichernig B. K.. Mutation testing in the refinement calculus. Formal Aspects of Computing, 2003, 15(2-3): 280-295
11. Kovacs G., Pap Z., Viet D. L., Wu-Hen-Chang A., Csopaki G.. Applying mutation analysis to SDL specifications. In: Proceedings of Specification and Description Language 2003, Stuttgart, Germany, LNCS 2708, 2003, 269-284
12. Sy N. T., Deville Y.. Automatic test data generation for programs with integer and float variables. In: Proceedings of the 16th Annual International Conference on Automated Software Engineering (ASE 2001), San Diego, CA, USA, 2001, 13-21
13. Tsai W. T., Paul R., Song W., Cao Z.. Coyote: An XML-based framework for web services testing. In: Proceedings of the 7th IEEE International Symposium on High Assurance Systems Engineering (HASE'02), Tokyo, Japan, 2002, 173-174
14. Tsai W. T., Paul R., Cao Z., Yu L., Saimi A.. Verification of web services using an enhanced UDDI server. In: Proceedings of the 8th International Workshop on Object-Oriented Real-Time Dependable Systems, Guadalajara, Mexico, 2003, 131-138
15. Nakajima S.. Verification of web service flows with model-checking techniques. In: Proceedings of the 1st International Symposium on Cyber Worlds (CW'02), Tokyo, Japan, 2002, 378-385
16. Foster H., Uchitel S., Magee J., Kramer J.. Model-based verification of web service compositions. In: Proceedings of the 18th IEEE International Conference on Automated Software Engineering, Montreal, Quebec, Canada, 2003, 152-161
17. Tsai W. T., Chen Y., Paul R., Liao N., Huang H.. Cooperative and group testing in verification of dynamic composite Web services. In: Proceedings of the 28th Annual International Computer Software and Applications Conference, Hong Kong, China, 2004, 170-173
18. Looker N., Xu J.. Assessing the dependability of SOAP RPC-based Web services by fault injection. In: Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, Capri Island, Italy, 2003, 163-170
19. Offutt J., Jin Z., Pan J.. The dynamic domain reduction approach to test data generation. Software-Practice and Experience, 1999, 29(2): 167-193