評估Android應(yīng)用程序自動修復(fù)方法的新基準(zhǔn)

自動程序修復(fù)(APR)是一個新興的研究領(lǐng)域，旨在開發(fā)自動修復(fù)軟件錯誤的方法，而無需人類程序員的干預(yù)。在開發(fā)之后，APR技術(shù)通常在若干基準(zhǔn)上評估，這些基準(zhǔn)是通過運行一系列標(biāo)準(zhǔn)測試來評估計算機程序或系統(tǒng)的性能的過程。

Universidade Federal de Goias和I4Soft的研究人員最近根據(jù)對Android的360個開放項目的分析開發(fā)了一個入門基準(zhǔn)，每個項目的下載次數(shù)超過5,000次。這個基準(zhǔn)在預(yù)先發(fā)布在arXiv上的一項研究中提出，包含13個單一的錯誤，這些錯誤按照有效暴露它們的測試類型進(jìn)行分類。

“我們的工作是在最近一個叫做自動程序修復(fù)的研究領(lǐng)域的背景下進(jìn)行的，”進(jìn)行這項研究的研究人員之一Celso Camilo告訴TechXplore。“一些自動修復(fù)解決方案已經(jīng)被提出并使用專門的基準(zhǔn)測試進(jìn)行評估。然而，盡管Android應(yīng)用程序的大量使用，沒有基準(zhǔn)設(shè)計用于評估移動項目的自動程序修復(fù)技術(shù)。”

為了解決這個缺點，研究人員開發(fā)了DroidBugs，這是一個新的基準(zhǔn)測試，具有來自移動項目的真實且可重現(xiàn)的錯誤。此基準(zhǔn)測試可幫助評估Android應(yīng)用程序的新自動程序修復(fù)程序。

“DroidBugs是一套明確定義的真實開源Android應(yīng)用程序中的錯誤配置文件，”Camilo解釋說。“它組織并提供13個錯誤，其中7個通過模擬Android設(shè)備顯示，6個僅分析源代碼。基準(zhǔn)測試顯示源代碼中的錯誤位置，源代碼的錯誤和修復(fù)版本以及測試套件用于揭露錯誤。“

使用由Camilo在I4Soft的研究小組開發(fā)的APR工具Astor4Android，以及兩種常見的故障定位策略，研究人員試圖找到并修復(fù)Android應(yīng)用程序中的錯誤。在這樣做的同時，他們遇到了許多未來研究可以解決的挑戰(zhàn)。

“我們在Android開發(fā)環(huán)境中提供了自動程序 修復(fù)的第一個公共基準(zhǔn)，”Camilo說。“我們還應(yīng)用了現(xiàn)有的APR算法并報告了自動定位和修復(fù)基準(zhǔn)測試中的錯誤的結(jié)果。通過這些調(diào)查結(jié)果，我們能夠指出基于開源Android項目生成相關(guān)基準(zhǔn)測試的重要挑戰(zhàn)，這可能對未來在這個研究領(lǐng)域的努力。“

Camilo及其同事開展的這項研究可為開發(fā)進(jìn)一步的基準(zhǔn)測試奠定基礎(chǔ)，以評估Android移動應(yīng)用的APR技術(shù)。研究人員現(xiàn)在正計劃擴大研究范圍，探索改進(jìn)DroidBugs的新方法。

“我們打算通過增加基準(zhǔn)測試所涵蓋的應(yīng)用程序數(shù)量來擴展錯誤類型，”Camilo說。“我們還計劃深入調(diào)查當(dāng)前APR技術(shù)在修復(fù)Android應(yīng)用程序錯誤方面面臨的挑戰(zhàn)。”