计算机辅助设计与图形学学报
計算機輔助設計與圖形學學報
계산궤보조설계여도형학학보
JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS
2012年
2期
262-270
,共9页
路径测试数据生成%复杂结构类型%别名%符号执行%内存建模
路徑測試數據生成%複雜結構類型%彆名%符號執行%內存建模
로경측시수거생성%복잡결구류형%별명%부호집행%내존건모
针对链表、树和图等这类复杂结构类型的测试数据自动生成问题,提出一种面向路径的基于内存建模的测试数据生成方法.采用一种将结构变量和数值变量分别建模的抽象内存模型,并利用此模型辅助符号执行被测路径；把路径执行过程中语句的语义操作映射到对抽象内存的操作,解决指针引起的别名问题,并且在抽象内存中精准地记录了路径的约束条件；最后通过约束求解得到测试数据.文中方法已应用于自主开发的自动单元测试系统——UATS,通过实验证明了该方法的可行件.
針對鏈錶、樹和圖等這類複雜結構類型的測試數據自動生成問題,提齣一種麵嚮路徑的基于內存建模的測試數據生成方法.採用一種將結構變量和數值變量分彆建模的抽象內存模型,併利用此模型輔助符號執行被測路徑；把路徑執行過程中語句的語義操作映射到對抽象內存的操作,解決指針引起的彆名問題,併且在抽象內存中精準地記錄瞭路徑的約束條件；最後通過約束求解得到測試數據.文中方法已應用于自主開髮的自動單元測試繫統——UATS,通過實驗證明瞭該方法的可行件.
침대련표、수화도등저류복잡결구류형적측시수거자동생성문제,제출일충면향로경적기우내존건모적측시수거생성방법.채용일충장결구변량화수치변량분별건모적추상내존모형,병이용차모형보조부호집행피측로경；파로경집행과정중어구적어의조작영사도대추상내존적조작,해결지침인기적별명문제,병차재추상내존중정준지기록료로경적약속조건；최후통과약속구해득도측시수거.문중방법이응용우자주개발적자동단원측시계통——UATS,통과실험증명료해방법적가행건.
