The software industry aims to provide customers with quality software. Testing software is a critical and sensitive stage in ensuring software quality. Due to the increasing popularity of mobile devices, the use of Android applications has increased. Almost all are equipped with Graphical User Interface to interact with users or systems. GUI is the most common tool to communicate with modern software. Therefore, the perfect GUI is a GUI that ensures the safety, strength, and usability of the whole software system. The GUI testing is a vital stage in ensuring the product quality because the GUI is the user s first impression and the final view of the final product. This paper has proposed a new technique to promote the model based test efficiency using Alloy modeling language. The findings showed that this approach needs less configuration and modeling time than previous methods. Moreover, using GUI patterns may decrease errors and violations.
翻译:软件行业的目标是为客户提供高质量的软件。测试软件是保证软件质量的关键和敏感阶段。由于移动设备越来越受欢迎,安卓应用的使用有所增加。几乎所有软件都配备了图形用户界面,以便与用户或系统互动。图形用户界面是与现代软件进行交流的最常用工具。因此,完美的图形界面是一个确保整个软件系统安全、强度和可用性的图形用户界面。图形用户界面测试是确保产品质量的一个重要阶段,因为界面是用户的第一印象和最终产品的最后观点。本文提出了一种新技术,用阿洛伊模式语言推广基于模型的测试效率。研究结果表明,这一方法比以前的方法需要更少的配置和模型时间。此外,使用图形界面模式可以减少错误和违规现象。