基于模型分离的智能电视应用自动化测试框架

智能电视应用（app）是一种能够与智能电视设备协同工作以增加更多功能和特性的新型技术软件应用。尽管其现今十分重要，但迄今为止，针对此类应用提出系统性测试方法的关注却远远不够。在本文中，我们提出了一种针对智能电视应用的系统性基于模型的测试方法。我们运用了模型分离这一新概念，基于用户偏好使用子模型而非穷举测试来生成测试用例。基于所构建的模型，我们生成了一组测试用例，以评估应用中通往所选目标的选定路径。我们还定义了针对智能电视应用的新的变异算子来评估我们的测试方法。评估结果表明，与人工探索性测试相比，我们的方法能用更短时间生成更全面的智能电视应用模型。结果还表明，我们的方法在故障检测方面能生成有效的测试用例。