Semantic Analysis for Deep Q-Network in Android GUI Testing