CAJ | 학술논문

基于软件描述模型的测试数据自动生成研究中，字符串类型测试数据生成是一个研究热点和难点。EFSM模型是一种重要的软件描述模型。分析了EFSM模型的特点，针对面向EFSM模型目标路径的字符串测试数据生成，建立了字符串输入变量模型和操作模型，结合静态测试的特点，给出了通过字符串变量模型在目标路径上的符号执行结果生成字符串类型测试数据的方法。实验结果表明，该方法能够达到预期效果，提高测试生成效率。
기우연건묘술모형적측시수거자동생성연구중，자부천류형측시수거생성시일개연구열점화난점。EFSM모형시일충중요적연건묘술모형。분석료EFSM모형적특점，침대면향EFSM모형목표로경적자부천측시수거생성，건립료자부천수입변량모형화조작모형，결합정태측시적특점，급출료통과자부천변량모형재목표로경상적부호집행결과생성자부천류형측시수거적방법。실험결과표명，해방법능구체도예기효과，제고측시생성효솔。
In the field of automatic test data generation for software description model, one of the most difficult challenge is string test data generation. EFSM model is a kind of important software description model, so the characteristic of EFSM model is analyzed, then the input variable model and operational model are built. Based on path-oriented test data generation method and static analysis, the string test data for goal path by using symbolic execution is generated. Empirical results show that this approach is applicable and can effectively generate test suite to cover the target paths.