长江大学学报（自然科学版）理工卷
長江大學學報（自然科學版）理工捲
장강대학학보（자연과학판）리공권
JOURNAL OF YANGTZE UNIVERSITY(NATURAL SCIENCE EDITION)
2010年
1期
225-228
,共4页
符号执行%单元测试%数组语义建模
符號執行%單元測試%數組語義建模
부호집행%단원측시%수조어의건모
符号执行中复杂结构语义的建模决定了其分析结果的精度.通过对符号执行中数组的几种特性分析,提出了基于Phoenix的IR的数组对象建模方法,采用该方法实现了一个单元测试工具CUTG.试验表明,该方法可以准确地解释复杂的数组对象,并自动产生测试例输入.
符號執行中複雜結構語義的建模決定瞭其分析結果的精度.通過對符號執行中數組的幾種特性分析,提齣瞭基于Phoenix的IR的數組對象建模方法,採用該方法實現瞭一箇單元測試工具CUTG.試驗錶明,該方法可以準確地解釋複雜的數組對象,併自動產生測試例輸入.
부호집행중복잡결구어의적건모결정료기분석결과적정도.통과대부호집행중수조적궤충특성분석,제출료기우Phoenix적IR적수조대상건모방법,채용해방법실현료일개단원측시공구CUTG.시험표명,해방법가이준학지해석복잡적수조대상,병자동산생측시례수입.
