Model based Testing Approach for Tourism Applications : Use Case Scenarios for Booking Accommodations

In the rapidly evolving landscape of the global tourism industry, efficient and reliable online accommodation booking systems are paramount. The primary objective of this paper is to explore the application of Model-Based Testing (MBT) in enhancing the efficiency and reliability of online accommodation booking systems within the global tourism industry. Our research developed and implemented a model-based testing framework that utilizes the GraphWalker tool to create detailed behavior models of tourism applications, specifically focusing on the booking accommodation process. Through the integration of GraphWalker with Selenium WebDriver, we successfully automated the testing process, ensuring comprehensive coverage of user scenarios from login to payment completion. Our results demonstrate the effectiveness of the MBT approach in identifying system vulnerabilities, improving test coverage, and providing a seamless testing experience, thereby contributing to the development of robust and user-friendly online booking platforms.