报告人：南京大学李游博士

报告题目 ：统一的软件测试控制流覆盖准则体系及其符号执行制导研究

报告时间 ：2016年10月13日（星期四）下午3:00

报告地点 ：数计学院2号楼309

李游，2016年9月从南京大学获得博士学位，即将前往华为上海研究所任职研究工程师。研究领域包括软件工程，软件测试，符号执行等等。在OOPSLA，CAV，DATE等多个高水平国际会议上发表论文。曾在中国计算机协会评定的A类会议OOPSLA 2013上获得最佳论文奖。

      软件测试是软件质量保障的重要途径，在工业界得到广泛应用。但是由于穷尽测试的成本极高，因此现实中度量测试的充分程度成为软件测试领域一个重要问题。为了解决传统基于控制流的软件测得覆盖准则的问题，本报告讲述了一种基于控制流的软件测试覆盖准则——LSC（n），用来细粒度的捕获从分支覆盖到路径覆盖之间的程序频谱。在此基础上，用LSC（n）来获取各种粒度、各种角度的程序行为，并用以指导符号执行探索程序中的罕至部分、重点区域、特定目标（如静态分析缺陷警报）。针对不同应用场景系统的提高了符号执行生成测试用例的效率和效果。

欢迎感兴趣的师生参加！