计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2013年
1期
29-34,40
,共7页
李业华%顾乃杰%张颖楠%彭飞
李業華%顧迺傑%張穎楠%彭飛
리업화%고내걸%장영남%팽비
RPA框架%RPAL语言%运行时程序验证%程序插桩%布尔逻辑%事实推理
RPA框架%RPAL語言%運行時程序驗證%程序插樁%佈爾邏輯%事實推理
RPA광가%RPAL어언%운행시정서험증%정서삽장%포이라집%사실추리
针对软件测试和静态程序验证中存在的连续性程序执行验证和推理问题,提出一个基于程序插桩和布尔逻辑的运行时程序验证框架——RPA.定义一种用于描述运行时程序性质和规范的动态逻辑语言RPAL,实现自动化插桩以收集运行时程序状态信息,设计一个支持高效验证的句子调度算法.实验结果表明,结合合适的谓词扩展,RPA可以有效地验证和分析软件逻辑,发现潜在的软件错误.
針對軟件測試和靜態程序驗證中存在的連續性程序執行驗證和推理問題,提齣一箇基于程序插樁和佈爾邏輯的運行時程序驗證框架——RPA.定義一種用于描述運行時程序性質和規範的動態邏輯語言RPAL,實現自動化插樁以收集運行時程序狀態信息,設計一箇支持高效驗證的句子調度算法.實驗結果錶明,結閤閤適的謂詞擴展,RPA可以有效地驗證和分析軟件邏輯,髮現潛在的軟件錯誤.
침대연건측시화정태정서험증중존재적련속성정서집행험증화추리문제,제출일개기우정서삽장화포이라집적운행시정서험증광가——RPA.정의일충용우묘술운행시정서성질화규범적동태라집어언RPAL,실현자동화삽장이수집운행시정서상태신식,설계일개지지고효험증적구자조도산법.실험결과표명,결합합괄적위사확전,RPA가이유효지험증화분석연건라집,발현잠재적연건착오.
