Bug Analysis of Android Applications Based on JPF

详细信息    查看全文

• 关键词：Java pathfinder ; JPF ; No ; sleep bugs of energy leak ; Android ; Automated testing
• 刊名：Lecture Notes in Computer Science
• 出版年：2017
• 出版时间：2017
• 年：2017
• 卷：10135
• 期：1
• 页码：173-182
• 丛书名：Smart Computing and Communication
• ISBN：978-3-319-52015-5
• 卷排序：10135

文摘

Smart phones have occupied an irreplaceable place in our daily life. As software in mobile systems is a far cry from software in traditional computer operating systems, we can’t directly use existing technologies to verify the correctness and reliability of mobile applications. JPF (Java Pathfinder) is a tool to make model detection of Java programs, but it doesn’t support the detection of Android programs. This paper proposes a method which can make JPF support Android in bug detection, especially in the detection of no sleep bugs of energy leak. Using this tool, we analyzed ten open-source Android applications and successfully detected common bugs and no sleep bugs of energy leak, which means we have made progress in enhancing detection speed and in lowering down misjudgement rate.