評估Android應用程序自動修復方法的新基準

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

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

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

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

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

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

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

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

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