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

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

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

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

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

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

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

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

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

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