[대학원] 세미나(5월 11일, 김미정 교수)-Automated Software Testing: How Far are We?

정보통신대학원 세미나를 소개합니다.

이번 세미나는 온라인(영어 강의)으로 진행 되며, 학부생, 대학원생, 교직원 누구나 참여 가능합니다.

*특강에 참여한 전전 학부생들에게는(대학원생 제외) 소중대 마일리지를 적립해드리니, 관심있는 학생들의 많은 참여 바랍니다. (ZOOM 접속 후 닉네임을 학번, 이름으로 변경 필수!)

▶▶세미나7-정보통신대학원 세미나 2022년 1학기

Automated Software Testing: How Far are We?

김미정 교수

울산과학기술원

(Ulsan National Institute of Science and Technology)

초록

Testing is an important and necessary activity in developing programs to gain confidence in their behavior, but creating test cases is a laborious and time-consuming job to developers. To reduce the manual effort on testing, much research has been performed on automated software testing based on various underlying techniques such as random-based and search-based testing. These automated test generation tools provide developers with a set of failing tests that can possibly detect uncovered bugs. However, automatically-generated tests are not widely used in practice because their inputs often fail to reveal the real bugs.

In this talk, I’ll introduce various test generation techniques such as random-based and search-based, and discuss their limitations. Additionally, I’ll present our two research techniques that address these limitations. First, I’ll present our technique that tackles numerous false alarms produced from generated tests. Second, I’ll present our work on diversifying test inputs to achieve higher fault detection rate.