主 题: 信息科学系列讨论班——Contract-based Automated Software Testing
报告人: Dr Pei (Hong Kong Polytechnic University)
时 间: 2017-08-07 10:00-12:00
地 点: 理科1号楼1569
摘要: Software testing is an important activity in software development, but it is expensive, tedious, and time-consuming to do manually. Contracts of programs specify the responsibilities of different software components and can be used as an automated oracle to facilitate automated software testing. In this talk, I will first give a general introduction to the concept of Design-by-Contract and then present its application in automated test generation for object oriented programs.
报告人简介: Dr Pei received his bachelor's degree in Computer Science in 1999 and his first PhD in Computer Science in 2004, both from Nanjing University, China. From 2004 to 2009, he was an Assistant Professor of the Faculty of Information Technology in Macau University of Science and Technology. In 2015, he obtained his second PhD in Computer Science from ETH Zurich, Switzerland.
Dr Pei's primary research goals aim at facilitating the production of high quality software systems in the real world. He has published over a dozen of peer reviewed papers in journals like IEEE TSE, and top tier conferences including ICSE, ASE, ISSTA, and VMCAI. His future research plans are directed towards advancing the techniques to automatically test and repair software systems developed in mainstream programming languages and providing tool support for their practical application.