Carlo Bellettini
ABSTRACT
Web applications have become very complex and crucial, especially when combined with areas such as CRM (Customer Relationship Management) and BPR (Business Process Reengineering), the scientific community has focused attention to Web application design, development, analysis, and testing, by studying and proposing methodologies and tools. This paper describes techniques for semi-automatic test case definition and for user1-driven testing (based on statistical testing or coverage analysis) from Web applications reverse engineered UML models. These techniques are implemented as tools in the WAAT project. WebUml is a reverse engineering tool that generates class and state diagrams through static and dynamic Web application analysis. TestUml is a testing suite that uses generated models to define test cases, coverage testing criteria and also reliability analysis.
- Bitmechanic. http://www.bitmechanic.com.Google Scholar
- Mercury interactive, http://www.merc-int.com.Google Scholar
- Rational Rose Web Modeler, http://www.rational.com.Google Scholar
- C. Bellettini, A. Marchetto, and A. Trentini. WebUml: Reverse Engineering of Web Applications. 19th Annual ACM Symposium on Applied Computing. Web Technologies and Applications track(SAC 2004), Nicosia, Cyprus. March 2004. Google ScholarDigital Library
- R. Botafogo, E. Rivlin, and B. Shneiderman. Structural analysis of hypertexts: Identifying hierarchies and useful metrics. ACM Transaction Information System, 1992. Google ScholarDigital Library
- J. Conallen. Building Web Applications with UML. Addison-Wesley, 2000. Google ScholarDigital Library
- J. Dhyani, W. Keong, and S. Bhowmick. A Survey of Web Metrics. ACM Computing Surveys, 2002. Google ScholarDigital Library
- G. A. Di Lucca, A. Fasolino, F. Faralli, and U. De Carlini. Testing web applications. International Conference on Software Maintenance (ICSM'02), Montreal, Canada. October 2002. Google ScholarDigital Library
- G. A. Di Lucca, A. R. Fasolino, F. Pace, P. Tramontana, and U. De Carlini. WARE: A Tool for the Reverse Engineering of Web Applications. 6th European Conference on Software Maintenance and Reengineering (CSMR 2002), Budapest, Hungary. March 2002. Google ScholarDigital Library
- S. Elbaum, S. Karre, and G. Rothermel. Improving Web Application Testing with User Session Data. 25th International Conference on Software Engineering, Portland, USA. May 2003. Google ScholarDigital Library
- M. A. Friedman and J. M. Voas. Software Assessment: Reliability, Safety, Testability. John Wiley & Sons, 1995. Google ScholarDigital Library
- E. Herder. Metrics for the Adaptation of Site Structure. German Workshop on Adaptivity and User Modeling in Interactive Systems (ABIS02), 2002.Google Scholar
- X. Jia and H. Liu. Formal Structured Specification for Web Applications Testing. 2003 Midwest Software Engineering Conference (MSEC 2003), Chicago, USA. June 2003.Google Scholar
- C. Kallepalli and J. Tian. Measuring and Modeling Usage and Reliability for Statistical Web Testing. Ieee Transactions on Software Engineering, November 2001. Google ScholarDigital Library
- D. C. Kung, P. Hsia, and J. Gao. Testing Object-Oriented Software. Wiley-IEEE Press, 2002. Google ScholarDigital Library
- D. C. Kung, C. H. Liu, and P. Hsia. Object Based Data Flow Testing of Web Applications. The First Asia-Pacific Conference on Quality Software (APAQS'00), Hong Kong, China. October 2000. Google ScholarDigital Library
- D. C. Kung, C. H. Liu, and P. Hsia. An Object Oriented Web Test Model for Testing Web Applications. 24th International Computer Software and Applications Conference (COMPSAC 2000), Taipei, Taiwan. October 2000. Google ScholarDigital Library
- D. Lee, K. Sabnani, D. M. Kristol, and S. S. Paul. Conformance Testing of Protocols Specified as Communicating Finite State Machines - a Guided Random Walk Based Approach. IEEE Trans. on Communications, 1993.Google Scholar
- D. Lee and M. Yannakakis. Principles and Methods of Testing Finite State Machines - A Survey. IEEE Transaction, August 1996.Google Scholar
- K. R. P. H. Leung, L. C. K. Hui, S. Yiu, and R. W. M. Tang. Modelling Web Navigation by Statechart. 24th International Computer Software and Applications Conference (COMPSAC 2000), Taipei, Taiwan. October 2000. Google ScholarDigital Library
- J. Musa. Software Reliability Engineering. McGraw-Hill, NY. 1998. Google ScholarDigital Library
- J. Offutt, Y. Wu, and X. Du. Modeling and Testing of Dynamic Aspects of Web Applications. Submitted, January 2004.Google Scholar
- J. Offutt, Y. Wu, X. Du, and H. Huang. Bypass Testing of Web Applications, under Submission, April 2004.Google Scholar
- F. Ricca and P. Tonella. Building a Tool for the Analysis and Testing of Web Applications: Problems and Solutions. Tools and Algorithms for the Construction and Analysis of Systems (TACAS'200), Geneva, Italy. April 2001. Google ScholarDigital Library
- F. Ricca and P. Tonella. Dynamic Model Extraction and Statistical Analysis of Web Applications. 4th International Workshop on Web Site Evolution (WSE 2002), Montreal, Canada. October 2002. Google ScholarDigital Library
- F. Ricca and P. Tonella. Analysis and Testing of Web Applications. 23th International Conference on Software Engineering (ICSE'2001), Toronto, Canada May 2001. Google ScholarDigital Library
- C. West. Protocol Validation by Random State Exploration. 6th Intl. Symp. on Protocol Specification, Testing, and Verification, North-Holland. 1986.Google Scholar
Recommendations
Automatic generation of test models and properties from UML models with OCL constraints
OCL '12: Proceedings of the 12th Workshop on OCL and Textual ModellingModel-Based Testing and Property-Based Testing are two testing methodologies that usually facilitate the automation of the generation of test cases, using either models or properties as basis to derive complete test suites. In doing so, they also ...
From U2TP models to executable tests with TTCN-3 - an approach to model driven testing -
TestCom'05: Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating SystemsThe approach towards system engineering according to Model-Driven Architectures (MDA) with code generation derived from model implies also an increased need for research on automation of the test generation process. This paper presents an approach to ...
Selection and Prioritization of Test Cases by Combining White-Box and Black-Box Testing Methods
ECBS-EERC '13: Proceedings of the 2013 3rd Eastern European Regional Conference on the Engineering of Computer Based SystemsIn this paper, we present a methodology that combines both white-box and black-box testing, in order to improve testing quality for a given class of embedded systems. The goal of this methodology is generation of test cases for the new functional ...
Comments