Statistics for Androidアプリケーションに対する強化学習に基づいた自動テストに関する研究