As the popularity of Smart Televisions (TVs) and interactive Smart TV applications (apps) has recently grown, the usability of these apps has become an important quality characteristic. Previous studies examined Smart TV apps from a usability perspective. However, these methods are mainly manual, and the potential of automated model-based testing methods for usability testing purposes has not yet been fully explored. In this paper, we propose an approach to test the usability of Smart TV apps based on the automated generation of a Smart TV user interaction model from an existing app by a specialized automated crawler. By means of this model, defined user tasks in the Smart TV app can be evaluated automatically in terms of their feasibility and estimated user effort, which reflects the usability of the analyzed app. This analysis can be applied in the context of regular users and users with various specific needs. The findings from this model-based automated analysis approach can be used to optimize the user interface of a Smart TV app to increase its usability, accessibility, and quality.

中文翻译：

---

使用基于模型的自动化方法测试智能电视应用程序的可用性和可访问性

随着智能电视 (TV) 和交互式智能电视应用程序 (apps) 最近的普及，这些应用程序的可用性已成为重要的质量特征。之前的研究从可用性的角度检查了智能电视应用程序。然而，这些方法主要是手动的，基于模型的自动化测试方法用于可用性测试的潜力尚未得到充分探索。在本文中，我们提出了一种测试智能电视应用程序可用性的方法，该方法基于通过专门的自动化爬虫从现有应用程序自动生成智能电视用户交互模型。通过该模型，智能电视应用程序中定义的用户任务可以根据其可行性和估计的用户工作量自动评估，这反映了所分析应用程序的可用性。这种分析可以应用于普通用户和具有各种特定需求的用户。这种基于模型的自动化分析方法的发现可用于优化智能电视应用程序的用户界面，以提高其可用性、可访问性和质量。