1. 제 목 : Programs, Tests, and Oracles: Foundations of Testing Revisited  

2. 발 표 자 : Matt Staats

3. 일 시 : 2011년 6월 23일(목) 16:30 ~ 18:00 

4. 장 소 : IT대학 4호관 101호

5. 초청교수 : 최윤자 교수 

6. 강사약력 :

He is a postdoctoral researcher in the Division of Web Science Technology at the Korea Advanced Institute of Science & Technology (KAIST) in Daejeon, Korea. He has recently completed his PhD in Computer Science at the University of Minnesota Twin-Cities under the advisement of Mats Heimdahl. During the summers of 2008, 2009, and 2010, he was a summer intern at the NASA Ames Research Center in the Robust Software Engineering group.

His main research interests are broadly in software verification, with specific interests in 1) automatic test generation and execution, particularly within the domain of critical systems, and especially with respect to the creation of test oracles 2) effective evaluation of software verification methodologies, particularly application of statistical hypothesis testing empirical study design, and 3) web software verification. Recent accomplishments include a distinguished paper award at the International Conference of Software Engineering (ICSE) 2011. 

7. 내용요약 :

In previous decades, researchers have explored 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.

In this talk, I present recent work extending this foundational work. This work is intended to provide a framework intended to serve as a guide for future discussions and empirical studies concerning software testing. Specifically, this work extends Gourlay's functional description of testing with the notion of a test oracle, an aspect of testing largely overlooked in previous foundational work and only lightly explored in general. I argue additional work exploring the interrelationship between programs, tests, and oracles should be performed, and provide motivating empirical examples supporting this argument, demonstrating (among other things) that oracle selection must be considered when discussing the efficacy of a testing process.

※ 주최 : BK21 정보기술연구인력양성사업단, IT대학

◀ 문의처 : BK21정보기술연구인력양성사업단 ☎ 950-6613 ▶