CAJ | 학술논문

软件测试是提高软件质量和可靠性的重要手段。从是否运行程序的角度来讲，测试分为静态测试和动态测试，代码检查属于静态测试的范围。本文首先讨论了传统软件测试方法的缺点和局限性，进而提出了代码自动检测的方法，随后给出了此类方法可检测到的故障类型，具体给出了程序静态分析技术和方法研究，依据该方法进行了软件测试系统的设计与开发，最后给出了实验结果和对比分析，并进一步明确了下一步的研究方向。
연건측시시제고연건질량화가고성적중요수단。종시부운행정서적각도래강，측시분위정태측시화동태측시，대마검사속우정태측시적범위。본문수선토론료전통연건측시방법적결점화국한성，진이제출료대마자동검측적방법，수후급출료차류방법가검측도적고장류형，구체급출료정서정태분석기술화방법연구，의거해방법진행료연건측시계통적설계여개발，최후급출료실험결과화대비분석，병진일보명학료하일보적연구방향。