Computer Science Events

Feb 2

CS Tea Talk Series

Professor Mats Heimdahl, Department Head and Professor of Computer Science & Engineering at the U of M will be giving a talk.

Thursday, February 2nd, 2017
4:00 – 5:00 pm / CMC 209


Programs, Test Data, and Oracles: Revisiting the Foundations of Software Testing


For decades, researchers have explored the topic of software testing. Early work in this area covered the formal foundations of program testing. By exploring the foundations of testing largely separate from any specific method of testing, these researchers provided a general discussion of the testing process, including the goals, the underlying problems, and the limitations of testing. Unfortunately, a common, rigorous foundation has not been widely adopted in empirical software testing research, making it difficult to generalize and compare empirical research. Furthermore, much of current testing research has lost track of the goal of testing (finding consequential faults) and has focused on furthering specific aspect of the testing problem without considering the impact on the testing process as a whole. 

In this talk I will revisit this foundational work and discuss the crucial (and often overlooked) interrelationship between the program under test, the test data used in its testing, and the test oracle determining whether or not a test passes.  I will, with examples from our empirical work, discuss a new coverage criterion, Observable MC/DC, and challenge to select which variables to observe when testing a program; both techniques attempting to leverage the interrelationship between programs, test data, and test oracles.  

BIO: Mats Heimdahl

Mats Heimdahl is the Department Head and a Professor of Computer Science and Engineering at the University of Minnesota. He earned an M.S. in Computer Science and Engineering from the Royal Institute of Technology (KTH) in Stockholm, Sweden and a Ph.D. in Information and Computer Science from the University of California at Irvine. 

His research interests are in software engineering, safety critical systems, software safety, testing, requirements engineering, formal specification languages, and automated analysis of specifications. 

He is the recipient of the NSF CAREER award, a McKnight Land-Grant Professorship, the McKnight Presidential Fellow award, and the awards for Outstanding Contributions to Post-Baccalaureate, Graduate, and Professional Education at the University of Minnesota.

Sponsored by Computer Science. Contact: Sue Jandro, x4360