东南大学学报(自然科学版)
東南大學學報(自然科學版)
동남대학학보(자연과학판)
JOURNAL OF SOUTHEAST UNIVERSITY
2011年
6期
1171-1176
,共6页
戚晓芳%周晓宇%徐晓晶%张迎周
慼曉芳%週曉宇%徐曉晶%張迎週
척효방%주효우%서효정%장영주
程序调试%程序切片%调用栈
程序調試%程序切片%調用棧
정서조시%정서절편%조용잔
通过调用栈提取当前调用上文信息,对传统的静态程序切片约简,可获得基于调用栈的程序切片,进行有效的程序调试.针对目前该切片计算需构造系统依赖图(SDG)而造成大程序分析效率较低等问题,提出相关子程序分析算法,通过仅分析程序中部分与切片标准相关的子程序,而不是所有子程序来提高分析效率,同时提出一种组合式基于调用栈的程序切片方法进行切片计算.组合式程序切片方法以子程序为依赖性分析单位,程序依赖图由相互独立的子程序依赖图组合而成,子程序对外接口由参数间依赖关系实现,通过实参和形参之间的映射实现子程序间的分析.对3个不同规模的程序进行实验,相关子程序平均数为总子程序数的0.03%~17.1%,表明该方法可有效减少分析时间,提高调试响应速度.
通過調用棧提取噹前調用上文信息,對傳統的靜態程序切片約簡,可穫得基于調用棧的程序切片,進行有效的程序調試.針對目前該切片計算需構造繫統依賴圖(SDG)而造成大程序分析效率較低等問題,提齣相關子程序分析算法,通過僅分析程序中部分與切片標準相關的子程序,而不是所有子程序來提高分析效率,同時提齣一種組閤式基于調用棧的程序切片方法進行切片計算.組閤式程序切片方法以子程序為依賴性分析單位,程序依賴圖由相互獨立的子程序依賴圖組閤而成,子程序對外接口由參數間依賴關繫實現,通過實參和形參之間的映射實現子程序間的分析.對3箇不同規模的程序進行實驗,相關子程序平均數為總子程序數的0.03%~17.1%,錶明該方法可有效減少分析時間,提高調試響應速度.
통과조용잔제취당전조용상문신식,대전통적정태정서절편약간,가획득기우조용잔적정서절편,진행유효적정서조시.침대목전해절편계산수구조계통의뢰도(SDG)이조성대정서분석효솔교저등문제,제출상관자정서분석산법,통과부분석정서중부분여절편표준상관적자정서,이불시소유자정서래제고분석효솔,동시제출일충조합식기우조용잔적정서절편방법진행절편계산.조합식정서절편방법이자정서위의뢰성분석단위,정서의뢰도유상호독립적자정서의뢰도조합이성,자정서대외접구유삼수간의뢰관계실현,통과실삼화형삼지간적영사실현자정서간적분석.대3개불동규모적정서진행실험,상관자정서평균수위총자정서수적0.03%~17.1%,표명해방법가유효감소분석시간,제고조시향응속도.