提出了使用应用意图和程序行为的兼容性来确定应用是否会在用户期望范围内执行。目标是自动检查应用意图与其幕后行为之间的兼容性,即检测意图行为