Specification Mining on the User Interface Level

Inhaltsverzeichnis (Table of Contents)

• Abstract
• 1 Introduction
• 2 Related Work
• 3 CrawljaxXT
• 3.1 State Abstraction
• 3.2 State Model
• 3.3 State Generation
• 3.4 Example
• 4 Evaluation
• 5 Conclusion

Zielsetzung und Themenschwerpunkte (Objectives and Key Themes)

The main objective of this thesis is to develop a new approach for specification mining on the user interface level, specifically targeting modern web applications, known as Rich Internet Applications (RIAs), that utilize Ajax, HTML5, and other advanced web technologies. The thesis focuses on generating a formal specification or model of the user interface, which can then be used for model-based testing.

• Specification Mining
• Model-based Testing
• Rich Internet Applications (RIAs)
• Web Crawling
• State Abstraction

Zusammenfassung der Kapitel (Chapter Summaries)

• Chapter 1: Introduction This chapter introduces the concept of specification mining, particularly in the context of user interface testing, and highlights the challenges associated with testing graphical user interfaces. It also outlines the motivation for developing a new approach tailored to modern web applications.
• Chapter 2: Related Work This chapter reviews existing approaches and tools used for specification mining and model-based testing, discussing their strengths, limitations, and areas of applicability.
• Chapter 3: CrawljaxXT This chapter presents the core of the thesis, describing the development of CrawljaxXT, a modified version of the Ajax-capable crawler Crawljax, which is specifically designed to extract user interface specifications from modern web applications. It delves into the details of the state abstraction mechanism used by CrawljaxXT, the generation of the state model, and illustrates the process with an example.
• Chapter 4: Evaluation This chapter provides an evaluation of the effectiveness and efficiency of the generated specifications and their usability for model-based testing.

Schlüsselwörter (Keywords)

This thesis revolves around the core concepts of specification mining, model-based testing, Rich Internet Applications (RIAs), web crawling, state abstraction, and the tool CrawljaxXT, which is specifically designed for extracting user interface specifications from modern web applications.