程序缺陷难以避免,可能给人和经济带来严重的损失。为了尽快发现这些缺陷,通常的方法是动态测试。测试用例通常由人工编写,需要大量的人力成本,且难以发现程序中隐藏较深的程序缺陷。现有的自动化测试输入生成工具能够有效增加覆盖率,但无法自动化生成测试预言,因而所产生的测试输入多用于测试程序中是否有崩溃的发生。 静态测试技术在不运行程序的情况下,通过对程序代码进行白盒分析,来检测程序中是否存在缺陷。现有技术包括符号执行技术、模型检测技术、图可达分析技术等,演化出不同流派的开源与商业工具帮助自动检测程序缺陷,在误漏报率与效率取得折衷。静态测试技术在自动化程度、代码覆盖率、检测效率等方面均明显优于动态测试技术,是对动态测试技术的有效补充,相关工具已在国内很多企业得到实际应用,且仍有很大的发展空间。 本次演讲将介绍静态代码测试的发展历程和面临的挑战,并介绍现有的相关工具,展望静态代码测试的发展前景。
浏览3045次
浏览5218次
浏览5432次
浏览10367次
浏览7642次
浏览9355次
2025-01-08 昆明
2025-04-19 南京
2024-12-27 上海
2025-10-23 上海
打开微信扫一扫,分享到朋友圈