CAJ | 학술논문

针对自动化单元测试中面向路径的测试用例生成问题,通过改进传统的基于符号执行的测试用例生成方法,提出“符号化区间”来表示和分析变量的静态取值范围,并给出简单表达式和逻辑表达式中“区间可能集”和“区间必然集”的计算方法.提出了面向路径的值区间分析算法,通过对给定路径进行前向数据流分析来计算各条边上的区间上下文环境以及各符号的必然取值区间,在路径出口处的符号值区间必然集中任意取值,可得到覆盖给定路径的测试用例.与基于约束求解的传统方法相比,文中方法省去了表达式变换及调用约束求解器的过程,对输入变量弱关联的情况能够快速、准确地生成测试用例.
침대자동화단원측시중면향로경적측시용례생성문제,통과개진전통적기우부호집행적측시용례생성방법,제출“부호화구간”래표시화분석변량적정태취치범위,병급출간단표체식화라집표체식중“구간가능집”화“구간필연집”적계산방법.제출료면향로경적치구간분석산법,통과대급정로경진행전향수거류분석래계산각조변상적구간상하문배경이급각부호적필연취치구간,재로경출구처적부호치구간필연집중임의취치,가득도복개급정로경적측시용례.여기우약속구해적전통방법상비,문중방법성거료표체식변환급조용약속구해기적과정,대수입변량약관련적정황능구쾌속、준학지생성측시용례.