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

——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教授赠予由其亲自编著的《软件测试导论》一书。本次学术交流增强了软件中心的学术交流氛围，扩大了软件中心的学术影响力。