计算机系统应用
計算機繫統應用
계산궤계통응용
APPLICATIONS OF THE COMPUTER SYSTEMS
2012年
11期
198-201
,共4页
谓词切换%动态切片%程序特征
謂詞切換%動態切片%程序特徵
위사절환%동태절편%정서특정
谓词切换(Predicate Switching)通过动态改变程序中的谓词判断语句状态观察程序运行结果的变化,分析可能与错误相关的关键谓词判断语句,从而实现辅助错误定位.谓词判断语句排序算法决定了谓词切换定位关键谓词判断语句的效率.已有的排序算法如LEFS算法定位效率较低; PRIOR算法虽然提高了定位效率,但必须首先做程序动态切片找寻与错误相关的谓词判断语句集合,而后建立程序依赖图以定义谓词判断语句的优先级,这个过程需要花费大量的时间,且算法复杂度较高.在这两种算法基础上提出一种新的改进排序算法,首先通过对比成功和失败的测试用例在运行中所展现出来不同程序行为特征,以此定义谓词判断语句的优先级,然后对不同优先级别的谓词根据执行先后顺序进行反向排序.基于基准测试集Siemens Suite的程序进行了实验,结果表明本文的排序算法与LEFS算法相比定位效率更高,与PRIOR算法相比减少定义谓词优先级的耗费,且算法更易于实现.
謂詞切換(Predicate Switching)通過動態改變程序中的謂詞判斷語句狀態觀察程序運行結果的變化,分析可能與錯誤相關的關鍵謂詞判斷語句,從而實現輔助錯誤定位.謂詞判斷語句排序算法決定瞭謂詞切換定位關鍵謂詞判斷語句的效率.已有的排序算法如LEFS算法定位效率較低; PRIOR算法雖然提高瞭定位效率,但必鬚首先做程序動態切片找尋與錯誤相關的謂詞判斷語句集閤,而後建立程序依賴圖以定義謂詞判斷語句的優先級,這箇過程需要花費大量的時間,且算法複雜度較高.在這兩種算法基礎上提齣一種新的改進排序算法,首先通過對比成功和失敗的測試用例在運行中所展現齣來不同程序行為特徵,以此定義謂詞判斷語句的優先級,然後對不同優先級彆的謂詞根據執行先後順序進行反嚮排序.基于基準測試集Siemens Suite的程序進行瞭實驗,結果錶明本文的排序算法與LEFS算法相比定位效率更高,與PRIOR算法相比減少定義謂詞優先級的耗費,且算法更易于實現.
위사절환(Predicate Switching)통과동태개변정서중적위사판단어구상태관찰정서운행결과적변화,분석가능여착오상관적관건위사판단어구,종이실현보조착오정위.위사판단어구배서산법결정료위사절환정위관건위사판단어구적효솔.이유적배서산법여LEFS산법정위효솔교저; PRIOR산법수연제고료정위효솔,단필수수선주정서동태절편조심여착오상관적위사판단어구집합,이후건립정서의뢰도이정의위사판단어구적우선급,저개과정수요화비대량적시간,차산법복잡도교고.재저량충산법기출상제출일충신적개진배서산법,수선통과대비성공화실패적측시용례재운행중소전현출래불동정서행위특정,이차정의위사판단어구적우선급,연후대불동우선급별적위사근거집행선후순서진행반향배서.기우기준측시집Siemens Suite적정서진행료실험,결과표명본문적배서산법여LEFS산법상비정위효솔경고,여PRIOR산법상비감소정의위사우선급적모비,차산법경역우실현.
