以不變量為基底的安卓應用程式測試準則

自從智慧型手機問世以後，行動裝置的應用程式已經變成軟體產業中很重要的一部分。Android是目前行動裝置平台使用者最多的。而現在有關Android應用程式測試的研究也變得更加的完整。然而，現在並沒有一個關於Android的測試準則方法可以用。測試準則是測試自動化當中重要的環節。大多數的應用程式都需要一個測試準則來驗證待測物的行為就是正確與否。現在大多數的晚體工程師都是用人力來做這樣的判斷，但是這樣的代價是大量的時間跟金錢成本。這就是為何現在測試準則已經逐漸變成一個自動化測試上的瓶頸。這篇論文介紹這個系統可以利用不變量測試的概念去建構測試準則，應用的環境是黑箱測試。這個系統能抓取執行紀錄的特徵，用來建構測試準則。然後我們就能使用這測試準則來預判一個待測物究竟會是成功或失敗。我們的目標是希望能減少人力，同時盡可能地達到更高的精準度。

關鍵字

軟體測試；安卓應用程式測試；測試準則；不變量測試

並列摘要

Since the invention of the smart phone, the mobile application becomes the important part of the software industry. Android has the most users in mobile platform. The researches about Android application testing technology are more and more completely. However there is no test oracle construction tool for Android. The test oracle is an important part of test automation. Most applications need the test oracle to verify the software under test for whether it behaviors correct or not. Recently, software engineers always do it by human power, which costs lots of time and money. It’s why the test oracle is becoming a bottleneck of the automated testing. This paper introduces a system that constructs the test oracle by the concepts of invariant testing. It works on black-testing. The system gets the features of execution traces, build the test oracle up. Then we can use the test oracle to predict the behaviors of the software under test. Our goals are reducing the human cost, and getting as high accuracy as possible.

並列關鍵字

software testing ； Android application testing ； test oracle ； invariant testing

參考文獻

• “Using declarative specification to improve the understanding, extensibility, and comparison of model-inference algorithms”by Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, and Arvind Krishnamurthy.