计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2012年
10期
3995-3998,4003
,共5页
符号执行%路径条件%前向遍历%后向遍历%依赖变量
符號執行%路徑條件%前嚮遍歷%後嚮遍歷%依賴變量
부호집행%로경조건%전향편력%후향편력%의뢰변량
为了提高利用符号执行生成测试数据的效率,提出了一种结合传统前向遍历和后向遍历的方法.通过对传统前向遍历和后向遍历方式的优缺点进行对比分析,设计了一个结合二者优点的算法.该算法将程序分块处理,整体采用前向遍历的思想,但在每一个块中是后向遍历代码的；它兼具前向遍历较早发现不可达路径的优点和后向遍历可以避免不相关变量赋值的优点,解决了传统前向遍历中的冗余问题.实验结果表明了该方法的可行性和有效性.
為瞭提高利用符號執行生成測試數據的效率,提齣瞭一種結閤傳統前嚮遍歷和後嚮遍歷的方法.通過對傳統前嚮遍歷和後嚮遍歷方式的優缺點進行對比分析,設計瞭一箇結閤二者優點的算法.該算法將程序分塊處理,整體採用前嚮遍歷的思想,但在每一箇塊中是後嚮遍歷代碼的；它兼具前嚮遍歷較早髮現不可達路徑的優點和後嚮遍歷可以避免不相關變量賦值的優點,解決瞭傳統前嚮遍歷中的冗餘問題.實驗結果錶明瞭該方法的可行性和有效性.
위료제고이용부호집행생성측시수거적효솔,제출료일충결합전통전향편력화후향편력적방법.통과대전통전향편력화후향편력방식적우결점진행대비분석,설계료일개결합이자우점적산법.해산법장정서분괴처리,정체채용전향편력적사상,단재매일개괴중시후향편역대마적；타겸구전향편력교조발현불가체로경적우점화후향편력가이피면불상관변량부치적우점,해결료전통전향편력중적용여문제.실험결과표명료해방법적가행성화유효성.
