上海软件中心举办国际学术交流活动

发布时间:[2016-8-11]     来源:     作者:     点击:

——Dependence Guided Symbolic Execution讲座

符号执行,即使用符号值代替真实值执行,是当下软件工程中热点的方向之一,在软件测试等领域有很好的应用前景。符号执行在不执行程序的前提下,用符号值表示程序变量的值,然后模拟程序执行来进行相关分析的技术,具有可以分析代码的所有语义信息,也可以只分析部分语义信息。使用符号执行的方法进行分析可以达到很高的路径覆盖率,结合约束求解器可以实现测试用例的自动生成。实际应用中,随着探索的路径数量随程序大小的增加而呈指数增长,导致符号执行受路径探索的限制而引起测试开销的巨涨。

针对这一测试领域的问题,上海计算机软件技术开发中心8月11日特邀美国西密西根大学计算机科学系Zijiang James Yang教授做“基于依赖的符号执行“Dependence Guided Symbolic Execution”的学术讲座。Zijiang James Yang教授于2003年从美国宾夕法尼亚大学计算机与信息科学系获得博士学位,主要从事软件测试及验证领域的研究,迄今为止发表了六十余篇论文及十项美国专利,并获得2008年度ACM TODAES最佳期刊论文奖,2010年PADTAD最佳会议论文奖,2008年西密西根大学工学院研究成就奖,和2015年谷歌CS Engagement奖。Yang教授是IEEE资深会员,并担任过密西根大学电子与计算机科学系访问教授,NEC公司美国研发中心科研顾问,美国自然科学基金评委,美国宇航局博士后评委,美国能源部科技企业基金评委等职。

Zijiang James Yang教授针对符号执行的特点及劣势提出了一个新的符号执行方法,他认为检测故障没有必要去穷尽系统的路径,可通过预测和消除冗余路径的基础上的符号值以减轻路径爆炸问题。讲座中针对最新符号执行研究成果进行了介绍,通过引入案例来指出符号值产生路径冗余的具体原因;分析了如何在逻辑层面减少路径冗余的相关问题;通过对该研究成果的路径对比和实际符号执行研究来得到优化技术,最后在符号值执行的基础,对具体的案例进行分析,实验表明,该技术的实施需要较少开销以及较好的解决冗余路径分析问题。与会人员在讲座结束后进行了深入广泛的交流,并展开了热烈讨论,Yang教授对提出的问题作出详尽的解答。上海软件中心蔡立志副主任向Yang教授赠予由其亲自编著的《软件测试导论》一书。本次学术交流增强了软件中心的学术交流氛围,扩大了软件中心的学术影响力。

关键字: