Full metadata record
DC FieldValueLanguage
dc.contributor.author黃世昆en_US
dc.contributor.authorHUANG SHIH-KUNen_US
dc.date.accessioned2014-12-13T10:51:50Z-
dc.date.available2014-12-13T10:51:50Z-
dc.date.issued2007en_US
dc.identifier.govdocNSC95-2221-E009-068-MY2zh_TW
dc.identifier.urihttp://hdl.handle.net/11536/102920-
dc.identifier.urihttps://www.grb.gov.tw/search/planDetail?id=1636429&docId=279374en_US
dc.description.abstract軟體錯誤逼近的過程是確保系統品質的重要關卡。因為在建構過程中,我們無法保 證軟體的正確性,系統若存有嚴重瑕疵,往往必須花費極高的成本來進行排除。除錯工 具能根據疑似的軟體錯誤行為,盡可能輔助程式設計人員排除錯誤,藉以增進除錯效 能。本研究的目標是發展除錯輔助工具,經由分析程式原始碼,記錄程式執行過程,協 助我們找出錯誤位置。 第一年的計畫中,我們將設計程式切割工具(Program slicing tool),以演化計算技術 萃取適用的分割器,並套用差異除錯的方法,減少軟體錯誤地點的辨識時間。切割工具 將掃瞄程式碼,提供疑似錯誤地點的資訊,並將程式分割為數部份。在每個分割區之間, 差異除錯工具會根據不同的程式行為,比對不同的參數暫態分析,藉以推出程式中導致 錯誤行為的片段。預期藉由切割工具的準確判斷,將能在有限時間內找出疑似錯誤的程 式片斷。 第二年的計畫中,我們將更進一步以邏輯推論的方式取代程式執行差異比對,以程 式碼參數間的邏輯關係建構工具,記錄程式執行過程與程式的錯誤行為,推斷可能包含 錯誤的程式片斷。以邏輯表示參數間的影響關係,可模擬開發者在設計程式時的思考方 式,較程式參數的暫態更能輔助我們找出程式錯誤。我們所發展的程式除錯工具套件將 會運用現有的評估機制以驗證結果。zh_TW
dc.description.sponsorship行政院國家科學委員會zh_TW
dc.language.isozh_TWen_US
dc.subject軟體品質zh_TW
dc.subject軟體除錯逼近zh_TW
dc.subject程式切割zh_TW
dc.subject演化計算zh_TW
dc.subject邏輯推論zh_TW
dc.subject差異除錯zh_TW
dc.title以邏輯推論方式輔助系統偵錯zh_TW
dc.titleLogic Reasoning for Software Fault Localizationen_US
dc.typePlanen_US
dc.contributor.department國立交通大學資訊工程學系(所)zh_TW
Appears in Collections:Research Plans