실전강의실 | 3

Pex : .NET 프로그램을 위한 자동 테스트 케이스 생성기
고급 Pex 이용법 - 외부 환경 모델링

마이크로소프트 리서치에서 만든 .NET 프로그램을 위한 자동 테스트 케이스 생성기인 Pex를 이용해 외부환경(FileSystem, Database, Network)과 소통하는 프로그램 테스트 방법에 대해 알아보자. 이를 위한 예제로 간단한 복사 프로그램인 CopyFiles 메소드를 테스트해 보자. 

연재순서
1회 | 2009. 1  | 기초 Pex 이용법 - Pex?
2회 | 2009. 2  | 실전 Pex 이용법 - Pex를 이용한 자료 구조 프로그래밍
3회 | 2009. 3  | 고급 Pex 사용법 - 외부 환경 모델링

연재가이드
운영체제 | 윈도우2K/XP
사용도구 | 비주얼 스튜디오 2008, Pex 0.9.40114.0
기초지식 | C#
응용분야 | 테스팅

공순호 soon@ropas.snu.ac.kr｜서울대학교 프로그래밍 연구실에서 프로그램 분석에 관한 연구를 하고 있다. 안전한 프로그램 개발을 도울 수 있는 방법들에 관심을 갖고 있고, 최근에는 Subversion과 같은 소프트웨어 저장소에 묻혀 있는 많은 정보들을 활용해 정적 분석기의 알람을 정교화하는 연구를 수행하고 있다. 2008년 여름 마이크로소프트 리서치에서 인턴으로 일하면서 Pex Project에 참여했고, 외부 환경인 파일 시스템과 데이터베이스를 모델링하는 작업을 수행했다.

2009년 1월 14일 Pex의 새로운 버전이 공개됐다. 이 글에서는 새 버전인 0.9.40114.0을 이용해 진행하기로 한다. 다운로드는 Pex 홈페이지(http://research.microsoft.com/Pex)를 참조하면 된다.