移动系统的基于模型的测试——QuizUp Android应用的实证研究
软件工程
2016-06-03 v1
摘要
我们呈现一项实证研究，其中将基于模型的测试（MBT）应用于一个移动系统：QuizUp（全球最大的移动问答游戏）的Android客户端。研究表明，基于扩展有限状态机的传统MBT方法可用于以有效且高效的方式测试移动应用。在一个已部署、拥有数百万用户且已经过充分测试的系统上检测到了非平凡缺陷。整体测试工作持续了三个月，包括模型的构建。为该应用维护单一行为模型是以高效方式测试它的关键。
引用
@article{arxiv.1606.00503,
title = {Model-based Testing of Mobile Systems -- An Empirical Study on QuizUp Android App},
author = {Vignir Gudmundsson and Mikael Lindvall and Luca Aceto and Johann Bergthorsson and Dharmalingam Ganesan},
journal= {arXiv preprint arXiv:1606.00503},
year = {2016}
}
备注
In Proceedings PrePost 2016, arXiv:1605.08096