CAJ | 학술논문

针对C语言白盒测试用例自动生成问题，提出一套基于过程间的动态符号执行框架，建立基于Def-U se链和函数执行树的模型。以函数为单位进行约束收集，解决函数调用中实参和形参的符号统一问题；对过程间动态符号执行的SM ART （systematic modular automated random testing ）算法进行改进，利用其计算和使用函数，提高动态符号执行的效率和可行性。该方案为C语言过程间测试自动化工具的实现提供了详细的解决方案。
침대C어언백합측시용례자동생성문제，제출일투기우과정간적동태부호집행광가，건립기우Def-U se련화함수집행수적모형。이함수위단위진행약속수집，해결함수조용중실삼화형삼적부호통일문제；대과정간동태부호집행적SM ART （systematic modular automated random testing ）산법진행개진，이용기계산화사용함수，제고동태부호집행적효솔화가행성。해방안위C어언과정간측시자동화공구적실현제공료상세적해결방안。
Aiming at the automatic test case generation problem for the C white-box testing ,a framework of the dynamic symbo-lic execution based on the inter-procedural analysis was presented .A model based on the Def-Use chain and the function execution tree was constructed .Constraints were collected by the function and the symbols of arguments and parameters in the function call were unified .An improved DSE-based SMART algorithm for computing using the function summary was designed to make the dy-namic symbolic execution efficient and scalable .A detailed solution is provided for the realization of the automatic test case gene-ration tool on the C inter-procedural testing .