旧网站
最新动态
当前位置: 首页>>学院动态>>通知公告>>正文

第二届国际学术交流月系列讲座之肯塔基大学助理教授于婷婷报告通知

2017年09月22日   点击:[]

题目:Testing and Debugging Complex Concurrent Software Systems

时间:2017年9月26日星期二上午10:10-11:40

地点:西北工业大学友谊校区毅字楼阶四

报告人:于婷婷

报告人单位:美国肯塔基大学

报告摘要:

The increasing complexity of embedded and cyber-physical systems can cause software on top of them suffer from failures due to various forms of concurrency faults that can be difficult to identify, isolate, and correct. While many techniques have been developed for testing and debugging concurrent programs, they primary focus on single applications and neglect concurrency faults that occur across the entire system involving a wide range of software components including multiple processes, interrupt handlers and signal handlers. In addition, most techniques for handling concurrency faults focus on sequential software and have not considered evolving software systems. In this talk, I will describe how to use program analysis, virtualization, and regression testing techniques to 1) detect system-level concurrency faults that happen across the entire system, 2) reproduce field failures caused by system-level concurrency faults using only default logs generated by software, and 3) find concurrency faults that are induced in software systems by code modifications.

报告人简介:

于婷婷,肯塔基大学计算机科学助理教授。2008年获四川大学软件工程学士学位,并于2014年分别获内布拉斯加大学林肯分校硕士和博士学位。研究领域为软件工程,尤其是提高软件可靠性和复杂软件系统安全性的软件开发方法与工具,顺序与并发软件测试,回归测试以及性能测试。于博士已在以上研究领域发表论文20余篇,并成功将这些技术应用于ABB工业机器人系统。分别于2016年、2017年获ACM SIGSOFT优秀论文奖美国科学基金会职业成就奖(NSF CAREER AWARD)。