Android手機程式自動驗證系統研究

目前手機應用程式廣泛被使用，包括Android、iOS平台都有提供應用程式下載使用，也因此安全性也越來越被重視，但是，Android平台因為是開放式平台，有許多廠商都在開發軟體與硬體，因為多元開發的結果，會有許多不相容與安全問題出現，如何自動檢驗軟體功能與安全性，也變成重要議題，本論文提出自動驗證的方法，利用Java可以反組譯的特性，使用白箱測試，可以解決大量測試的問題，本論文也可以當作後續安全性與程式效率驗證的工具。

Now-a-day, it is very popular to use smart phone every day. The operating systems of smart phone include Android and iOS. The corresponding app stores supply many applications to users. It is very important to protect users'; information. However, there are many compatible and security problem need to be overcome. This paper proposed a method to detect the function and security of applications automatically. Based on white box testing and decompile technology, the requirement is has been approached. The result of this paper is useful for the latter researches.