| 연구목표 |
수시로 변경되는 프로그램 코드를 빠르게 테스트하여 오류를 검출하는 회귀 테스팅 (regression testing)을 위해, 효과적이고 효율적인 유닛/함수별 fuzzing 기술을 세계 최초로 연구한다. SW 오류는 일찍 발견할수록 쉽고 빠르게 고칠 수 있기 때문에, 수시로 프로그램 코드를 변경/추가하면서 테스팅을 수행하는 regression testin... |
| 연구내용 |
1차년도 : 효율적인 유닛/함수별 fuzzing 기술가. 유닛 레벨 fuzzing을 위한 유닛 드라이버/스텁 자동 생성: 함수 f의 입력값을 다양하게 제공하는 드라이버 (driver)와 f가 부르는 다른 함수를 대체하는 스텁 (stub)을 자동으로 생성해서, 프로그램 안의 모든 함수들을 개별적으로, 빠르게 테스팅하는 기술을 연구한다. 특히, f에 대한 다양... |
| 기대효과 |
사회/경제적 기대효과● 현대사회가 SW중심 사회로 발전하면서 SW 품질이 사회적으로 중요한 문제이지만, SW 테스팅의 기술적 한계로 SW 개발 지연, 제품 성능하락, 사고로 인한 인명/재산 피해 등 문제가 발생● 본 연구는 특정 분야의 SW가 아닌 모든 SW에 적용 가능하며, SW품질 향상, 자동화를 통한 소요인력 절감 및 개발 기간 단축이 기대되며, 이후... |
| 키워드 |
회귀 테스팅,퍼징,유닛 테스팅,자동화된 소프트웨어 오류 검출,소프트웨어 품질 향상,코드 영역간 상관관계,동적 |