马森
北京北大软件工程股份有限公司
个人简介
马森,2014年获得北京大学计算机软件与理论专业博士学位,2016年于北京大学信息科学技术学院博士后出站,现任北京大学软件工程国家工程研究中心助理研究员,在北京北大软件工程股份有限公司任战略技术部部门经理,兼库博(CoBOT)软件分析工具产品经理 。研究方向为软件安全和软件程序分析,在国际顶级会议上发表论文十余篇。近3年,作为项目负责人承担软件分析软件安全类项目4项。
演讲题目
《静态程序测试技术——发展、挑战与前景》
议题简介
程序缺陷难以避免,可能给人和经济带来严重的损失。为了尽快发现这些缺陷,通常的方法是动态测试。测试用例通常由人工编写,需要大量的人力成本,且难以发现程序中隐藏较深的程序缺陷。现有的自动化测试输入生成工具能够有效增加覆盖率,但无法自动化生成测试预言,因而所产生的测试输入多用于测试程序中是否有崩溃的发生。
静态测试技术在不运行程序的情况下,通过对程序代码进行白盒分析,来检测程序中是否存在缺陷。现有技术包括符号执行技术、模型检测技术、图可达分析技术等,演化出不同流派的开源与商业工具帮助自动检测程序缺陷,在误漏报率与效率取得折衷。静态测试技术在自动化程度、代码覆盖率、检测效率等方面均明显优于动态测试技术,是对动态测试技术的有效补充,相关工具已在国内很多企业得到实际应用,且仍有很大的发展空间。
本次演讲将介绍静态代码测试的发展历程和面临的挑战,并介绍现有的相关工具,展望静态代码测试的发展前景。
服务热线
13681206054
联系我们
TID公众号
返回顶部