Hybrid test of web applications with webtest

TAV-WEB 2008 - Proceedings of the Workshop on Testing, Analysis and Verification of Web Software

Volumn , Issue , 2008, Pages 1-7

  Raffelt, Harald ^a   Steffen, Bernhard ^a   Margaria, Tiziana ^b   Merten, Maik ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

^b UNIVERSITY OF POTSDAM   (Germany)

Author keywords

Automata learning; Testing; Web applications

Indexed keywords

AND MODELS; AUTOMATA LEARNING; BLACK BOXES; DATABASE ACCESSES; DYNAMIC TESTING; HYBRID TESTS; LEARNING TECHNIQUES; MODEL BASED TESTING; MODEL DRIVEN; RICH INTERNET APPLICATIONS; TEST SUITES; WEB APPLICATIONS;

ADMINISTRATIVE DATA PROCESSING; APPLICATIONS; COMPUTER SYSTEMS; DATABASE SYSTEMS; INTERNET; LEARNING ALGORITHMS; LEGACY SYSTEMS; MANAGEMENT INFORMATION SYSTEMS; ROBOTS; SOFTWARE TESTING; TECHNICAL PRESENTATIONS; TESTING; TRANSLATION (LANGUAGES); VERIFICATION;

WORLD WIDE WEB;

EID: 57449102663     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1390832.1390833     Document Type: Conference Paper

References (24)

1. Berg, T., Grinchtein, O., Jonsson, B., Leucker, M., Raffelt, H., Steffen, B.: On the correspondence between conformance testing and regular inference. Proc. FASE'05. LNCS 3442, Springer, pp. 175-189.
2. Dibernardo, M., Pottinger, R., Wilkinson, M.: Semi-automatic web service composition for the life sciences using the BioMoby semantic web framework. J Biomed Inform. 2008 Mar 4
3. Hörmann, M., Margaria, T., Mender, T., Nagel, R., Schuster, M., Steffen, B., Trinh, H.: The jABC approach to collaborative development of embedded applications. In: CCE '06, Int. Workshop on Challenges in Collaborative Engineering - State of the Art and Future Challenges on Collaborative Design. (April 2006) (Industry Day), Prag (CZ).
4. Kulvir Singh Bhoga: HttpUnit: A Civilized Way to Test Web Applications in WebSphere Studio. 2003 http://www.ibm.com/developerworks/websphere/library/ techarticles/0303-bhogal/bhogal.html.
5. Hungar, H., Margaria, T., Steffen, B.: Test-based model generation for legacy systems. Proc. of 2003 International Test Conference (ITC 2003), Charlotte, NC, IEEE CS, pp. 971-980.
6. Jorges, S., Kubczak, C., Nagel, R., Margaria, T., Steffen, B.: Model-driven development with the jabc. Proc. of Haifa Verification Conference 2006, (HVC 2006). LNCS 4383, pp. 92-108, Springer
7. Karusseit, M., Margaria, T.: Feature-based modelling of a complex, online-reconfigurable decision support service. Electr. Notes Theor. Comput. Sci. Vol. 157(2) (2006) pp. 101-118
8. D. Lo, S. Maoz, S.-C. Khoo: Mining modal scenario-based specifications from execution traces of reactive systems. Proc. ASE 2007: 465-468.
9. Mantis bug tracker, http://www.mantisbt.org (seen Jun. 2007)
10. Margaria, T., Raffelt, H., Steffen, B.: Knowledge-based relevance filtering for efficient system-level test-based model generation. Innovations in Systems and Software Engineering 1(2) (September 2005) 147-156
11. Margaria, T., Steffen, B., Reitenspieß, M.: Service-oriented design: The Roots. Proc. ICSOC 2005, LNCS 3826, pp. 450-464, Springer Verlag.
12. Mariani, L., Pezze, M.: Behaviour capture and test for controlling the quality of component-based integrated systems. Proc. ESEC/FSE Worksh. on Tool Integration in System Development, Helsinki, 2003.
13. Mercury TestDirector. http://www.fronde.com/products-mercury.htm (seen April 2008)
14. Raffelt, H., Steffen, B., Berg, T.: Learnlib: A library for automata learning and experimentation. Proc. FMICS'05, Lisbon (P) ACM Press (2005) pp. 62-71.
15. Raffelt, H., Steffen, B., Margaria, T.: Dynamic Testing Via Automata Learning. Proc. Haifa Verification Conference 2007, LNCS 4899, pp.136-152
16. Raffelt, H., Steffen, B., Berg, T., Margaria, T.: LearnLib: A library for automata learning and experimentation. Appears in STTT, Int. Journ. on Software Tools Technology Transfer.
17. Rational Unified Process, http://www-306.ibm.com/software/awdtools/rup/ (seen Jun. 2007)
18. Steffen, B., Narayan, P.: Full Life-Cycle Support for End-to-End Processes. Computer (2007), IEEE Computer Society Press, Los Alamitos, CA, USA
19. Testing Technologies: TTworkbench Basic http://testingtech.de/products/ ttwb-basic.php
20. E. Torlak, D. Jackson. Kodkod: A Relational Model Finder, Proc. TACAS 2007.
21. S. Troschütz: Web Service Test Framework with TTCN-3, MSc. Thesis, Univ. Göttingen, June 2007, http://www.swe.informatik.uni-goettingen.de/ publications/ST/WebServiceTestFrameworkWithTTCN-3.pdf
22. A. Vardhan, K. Sen, M. Viswanathan, G. Agha. Actively learning to verify safety for FIFO automata. Proc. FSTTCS'04, Chennai, India, LNCS 3328, pp. 494-505, 2004.
23. Watij User Guide http://watij.com/wiki:user-guide.
24. Willcock, C., T. Deiß, S. Tobies, S. Keil, F. Engler, S. Schulz: An Introduction to TTCN-3, First Edition, John Wiley & Sons Ltd, 2005.