In our thesis, we first propose the value-oriented dependence graph which is a fine-grained Web application model. And then, based on value-oriented dependence graph, we further propose a novel Web application model, state transition diagram, for supporting problem decomposition and further advanced job assignment algorithm. We also formulate Minimum Test Cost Problem (MTCP) in collaborative testing by considering the constraints of real environment, and prove that MTCP is an NP-Complete problem. Finally, we propose a heuristic-based dynamic stubbing algorithm to solve MTCP and implement a two-phase intelligent collaborative testing system by applying dynamic stubbing technique. This technique allows folk testers contributing their human resources with barely noticing varying test environment. Therefore, it would not influence the willingness of folk testers to contributing themselves. The experimental results show that out proposed approach can reduce 50％ due time and improve 30% fault-detection ability in collaborative testing.
55
References
[1] H. Miao, Z. Qain, B. Song, ―Towards Automatically Generating Test Paths for Web Application Testing‖, 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, pp. 211-218, Nanjing, China, June 2008.
[2] M. Benedikt, J. Freire, P. Godefroid, ―VeriWeb: Automatically Testing Dynamic Web Sites‖, In Proceedings of 11th International World Wide Web Conference, pp. 654-668, Honolulu, HI, USA, May 2002.
[3] M. Sun, Y. Chen, S. Chen, J. Mei, ―A model checking approach to Web application navigation model with session mechanism‖, 2010 International Conference on Computer Application and System Modeling (ICCASM), pp. 398-403, Taiyuan, China, Oct 2010.
[4] S. Chen, H. Miao, B. Song, Y. Chen, ―Towards Practical Modeling of Web Applications and Generating Tests‖, 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, pp. 209-217, Taipei, Taiwan, Aug 2010.
[5] Wenhua Wang, Sampath, S., Yu Lei, Kacker, R., ‖An Interaction-Based Test Sequence Generation Approach for Testing Web Applications‖, 11th IEEE High Assurance Systems Engineering Symposium, pp. 209-218, Nanjing, China, Dec 2008.
[6] Y. Wu, J. Offutt, X. Du., ―Modeling and testing of dynamic aspects of web applications‖, Department of Information and Software Engineering, George Mason University, Fairfax, VA, July 2004.
[7] Z. Qian, H. Miao, H. Zeng, ―A Practical Web Testing Model for Web Application Testing‖. Third International IEEE Conference on Signal-Image Technologies and Internet-Based System, pp. 434-441, Shanghai, China, Dec 2007.
[8] Oliverira, M. C. F. de, and Turine, M. A. S., and Masiero, P. C. ―A Statechart-based Model for Hypermedia Applications‖, ACM Transactions on Information Systems (TOIS), Vol. 19, No. 1, pp. 28-52, Jan 2001.
56
[9] G. Rossi, D. Schwabe, ―Object-oriented design structures in web application models‖, Annals of software engineering, Vol. 13, No.1, pp. 97-110, June 2002.
[10] A. Andrews, J. Offutt, R. Alexander, ―Testing Web Applications by Modeling with FSMs‖, Software and Systems Modeling, Vol. 4, No. 3, pp. 326-345, July 2005.
[11] C. H. Liu, D. Kung, P. Hsia, and C. T. Hsu, ―Structure testing of Web applications‖, In Proceedings of the 11th Annual International Symposium on Software Reliability Engineering, pp. 84-96, San Jose, CA, USA, October 2000.
[12] Chien-Hung Liu, Kung, D.C., Pei Hsia, ―Object-based data flow testing of web applications‖, First Asia-Pacific Conference on Quality Software, pp. 7-16, Hong Kong, China, Oct 2000.
[13] D. Kung, C. H. Liu, and P. Hsia, ―An object-oriented Web test model for testing Web applications‖, In Proc. of IEEE 24th Annual International Computer Software and Application Conference (COMPSAC2000), pp. 111-120, Hong Kong , China, October 2000.
[14] H. Miao, H. Zeng, ―Model Checking-based Verification of Web Application‖, 12th IEEE International Conference on Engineering Complex Computer Systems, pp. 47-55, Auckland, New Zealand, July 2007.
[15] Liping Li, Huaikou Miao, Shengbo Chen, ―Test Generation for Web Applications Using Model-Checking‖, 11th ACIS International Conference on Software Engineering Artificial Intelligence Networking and Parallel/Distributed Computing (SNPD), pp.237-242, London, England, June 2010.
[16] Liping Li, Qian Zhongsheng, Tao He, ―Test Purpose-Based Test Generation for Web Applications‖, First International Conference on Networked Digital Technologies, pp.
238-243, Ostrava, Czech, July 2009.
[17] Liping Li, Zhongsheng Qian, Tao He, ―An Approach to Testing Web Applications On-The-Fly‖, International Conference on Management of e-Commerce and e-Government, pp. 428-431, Nanchang, China, Sept 2009.
57
[18] F.M. Donini, M. Mongiello, M. Ruta, and R. Totaro, ―A Model Checking-based Method for Verifying Web Application Design‖, Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 151, No. 2, pp. 19-32, May 2006.
[19] R.M. Hierons, ―Adaptive Testing of a Deterministic Implementation against a Nondetermistic Finite State Machine‖, The Computer J., Vol. 41, No. 5, pp. 349-355, June 1998.
[20] D. Lee, M. Yannakakis, ―Principles and Methods of Testing Finite-State Machines—A Survey,‖ Proceedings of the IEEE, Vol. 84, No. 8, pp. 1089-1123, Aug 1996.
[21] PengCheng Xiong, YuShun Fan, MengChu Zhou, ―A Petri Net Approach to Analysis and Composition of Web Services‖, IEEE Transactions on Systems, Man and Cybernetics, Part A:
Systems and Humans, Vol. 40, No. 2, pp. 376-387, March 2010.
[22] Xitong Li, Yushun Fan, Sheng, Q.Z., Maamar, Z., Hongwei Zhu, ―A Petri Net Approach to Analyzing Behavioral Compatibility and Similarity of Web Services‖, IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, Vol. 41, No. 3, pp. 510-521, May 2011.
[23] Robidoux R., Haiping Xu, Liudong Xing, MengChu Zhou, ―Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets‖, IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, Vol. 40, No. 2, pp. 337-351, March 2010.
[24] Lefebvre, D., Leclercq, E., ―Stochastic Petri Net Identification for the Fault Detection and Isolation of Discrete Event Systems‖, IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, Vol. 41, No. 2, pp. 213-225, March 2011.
[25] P. Stotts, R. Furuta, ―Petri-net-based hypertext: Document structure with browsing semantics‖, ACM Transactions on Information Systems (TOIS), Vol. 7, No.1, pp. 3–29, Jan 1989.
[26] M. J. Harrold, A. J. Offutt and K. Tewary, ―An Approach to Fault Modeling and Fault
58
Seeding Using the Program Dependence Graph‖, Journal of Systems and Software, Vol. 36, No. 3, pp. 273-295, Elsevier, Mar 1997.
[27] Y.H. Tung, S.S. Tseng, T.J. Lee and J.F. Weng, ―A Novel Approach to Automatic Test Case Generation for Web Applications‖, 2010 10th International Conference on Quality Software (QSIC), pp. 399-404, Zhangjiajie, Hunan, China, July 2010.
[28] Kuo-Chang Huang, ―Applying Folksonomy-Based Approach to Support Collaborative Testing of Web Applications‖, National Chiao Tung University, Degree of Master, July 2010.
[29] Briand, L.C. and Pfahl, D., ‖Using simulation for assessing the real impact of test-coverage on defect-coverage‖, IEEE Transactions on Reliability, Vol. 49, No. 1, pp. 60-70, Mar 2000.
[30] M.R. Garey , D.S. Johnson, In: V. Klee (Ed.), ―Computers and intractability, a guide to the theory of NP-completeness‖, Freeman, New York, 1979.
[31] G.K. Baah, A. Podgurski, M.J. Harrold, ―The Probabilistic Program Dependence Graph and Its Application to Fault Diagnosis‖, IEEE Transactions on Software Engineering, Vol. 36, No.4, pp. 528-545, Aug 2010.
[32] J. Ferrante, K. Ottenstcin, and J. Warren, ―The program dependence graph and its use in optimizatio‖, ACM Transactio on Programming Languages and Systems, Vol. 9, No. 3, pp.
319-349, July 1987.
[33] J. Karl, M. Linda, ―The program dependence graph in a software development environment‖, Proc of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Vol. 19, No. 5, pp. 177-184, New York, NY, USA, May 1984.
[34] K. Tewary, M.J. Harrold, ―Fault Modeling using the Program Dependence Graph‖, 5th International Symposium on Software Reliability Engineering, pp. 126-135, Monterey, CA, USA, Nov 1994.
[35] Ray-Yaung Chang, Podgurski, A., Jiong Yang, ―Discovering Neglected Conditions in
59
Software by Mining Dependence Graphs‖, IEEE Transactions on Software Engineering, Vol.
34, No. 5, pp. 579-596, Oct 2008.
[36] S. Bates, S. Horwitz, ―Incremental Program Testing Using Program Dependence Graphs‖, 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.
384-396, New York, NY, USA, 1993.
[37] S. Horwitz, T. Reps, and D. Binkley, ―Interprocedural Slicing Using Dependence Graphs‖, ACM Trans. Programming Languages and Systems, Vol. 12, no. 1, pp. 26-60, Jan 1990.
[38] B. Baudry, Y. Le Traon, G. Sunye, ―Testability Analysis of a UML Class Diagram‖, 8th IEEE Symposium on Software Metrics, pp. 54-63, Washington, DC, USA, Aug 2002.