报告题目：Metamorphic Testing: A Simple Methodology for Testing Non-Testable Programs
报告日期及时间：2016. 1.20周三下午3:30
报告地点：B403
报告人： Tsong Yueh Chen (陈宗岳)
报告人单位：Swinburne University of Technology, Australia
报告人简介：
Tsong Yueh Chen (陳宗岳) received his BSc and MPhil from The University of Hong Kong, MSc and DIC from the Imperial College of The London University, and PhD from The University of Melbourne. He is currently a Professor of Software Engineering and the Leader of the Software Analysis and Testing Group at Swinburne University of Technology, Australia. Prior to joining Swinburne, he taught at The University of Hong Kong and The University of Melbourne. He is also a Visiting Professor at the Wuhan University. His main research interests include software testing and debugging. Chen is the principal originator of the techniques of adaptive random testing and metamorphic testing.
报告摘要：
A program is said to be non-testable if the correctness of its outputs cannot be verified. Since non-testable programs are frequently encountered, a challenging problem has been how to test them. In this seminar, we present a simple, yet effective, methodology, metamorphic testing, which alleviates this challenge. Although it may not be possible to verify the correctness of any particular input of a non-testable program, we may be able to identify relations that should hold between certain inputs and relevant outputs, and through the verification of these relations (which are known as the metamorphic relations), we are able to test the non-testable programs. Although the concept of metamorphic testing is very simple, its scope of applicability is quite extensive, and not restricted only to software testing. This seminar will cover several aspects of metamorphic testing, including the application of metamorphic testing to various types of non-testable programs, the formation of a theory for metamorphic testing, as well as the integration of metamorphic testing with other techniques.
邀请人： 徐宝文 教授
