科学技术与工程
科學技術與工程
과학기술여공정
SCIENCE TECHNOLOGY AND ENGINEERING
2014年
18期
89-93
,共5页
王克朝%李兵%王甜甜%陈京浩
王剋朝%李兵%王甜甜%陳京浩
왕극조%리병%왕첨첨%진경호
程序谱%源代码插桩%程序分析%覆盖测试%软件错误定位
程序譜%源代碼插樁%程序分析%覆蓋測試%軟件錯誤定位
정서보%원대마삽장%정서분석%복개측시%연건착오정위
program spectrum%source code instrumentation%program analysis%coverage testing%software fault localization
为了满足软件测试、软件调试和程序优化等领域对程序谱的需求,提出了基于插桩技术的程序谱构建模型,主要包括插桩预处理、双缓冲处理、有穷自动机处理识别插桩点、植入探针生成插桩代码、编译连接并执行插桩程序以收集执行轨迹构建程序谱.采用双缓冲处理机制,可有效提高源代码处理效率,有穷自动机能够准确识别插桩点.在软件错误定位中的应用结果表明基于插桩技术构建的程序谱可为准确、高效的程序理解和分析提供方便.
為瞭滿足軟件測試、軟件調試和程序優化等領域對程序譜的需求,提齣瞭基于插樁技術的程序譜構建模型,主要包括插樁預處理、雙緩遲處理、有窮自動機處理識彆插樁點、植入探針生成插樁代碼、編譯連接併執行插樁程序以收集執行軌跡構建程序譜.採用雙緩遲處理機製,可有效提高源代碼處理效率,有窮自動機能夠準確識彆插樁點.在軟件錯誤定位中的應用結果錶明基于插樁技術構建的程序譜可為準確、高效的程序理解和分析提供方便.
위료만족연건측시、연건조시화정서우화등영역대정서보적수구,제출료기우삽장기술적정서보구건모형,주요포괄삽장예처리、쌍완충처리、유궁자동궤처리식별삽장점、식입탐침생성삽장대마、편역련접병집행삽장정서이수집집행궤적구건정서보.채용쌍완충처리궤제,가유효제고원대마처리효솔,유궁자동궤능구준학식별삽장점.재연건착오정위중적응용결과표명기우삽장기술구건적정서보가위준학、고효적정서리해화분석제공방편.
