论文标题
基于模型分离的智能电视应用程序的自动测试框架
An Automated Testing Framework For Smart TV apps Based on Model Separation
论文作者
论文摘要
智能电视应用程序（APP）是一种新的技术软件应用程序，可以处理智能电视设备以添加更多功能和功能。尽管如今它的重要性，但到目前为止，人们没有引起很少的关注来提出一种系统的测试方法。在本文中，我们为智能电视应用程序提供了一种基于系统的模型测试方法。我们使用新的模型分离概念来基于用户喜好而不是详尽的测试来生成测试用例。基于构造的模型，我们生成了一组测试用例，以评估应用程序中所选目的地的选定路径。我们还为智能电视应用程序定义了新的突变操作员来评估我们的测试方法。评估结果表明，与手动探索性测试相比，我们的方法可以生成更全面的智能电视应用程序模型。结果还表明，我们的方法可以在故障检测期间产生有效的测试用例。
Smart TV application (app) is a new technological software app that can deal with smart TV devices to add more functionality and features. Despite its importance nowadays, far too little attention has been paid to present a systematic approach to test this kind of app so far. In this paper, we present a systematic model-based testing approach for smart TV app. We used our new notion of model separation to use sub-models based on the user preference instead of the exhaustive testing to generate the test cases. Based on the constructed model, we generated a set of test cases to assess the selected paths to the chosen destination in the app. We also defined new mutation operators for smart TV app to assess our testing approach. The evaluation results showed that our approach can generate more comprehensive models of smart TV apps with less time as compared to manual exploratory testing. The results also showed that our approach can generate effective test cases in term of fault detection.
