Slide share(magic gen)

Magic Gen( C Program Test )

Kim Min-gi ([email protected])Kim Sung-wook ([email protected])Lee Yu-chang ([email protected])Yang Jeong-su ([email protected])

Produced byProf. Jung In-sang

Magic Gen : 구성

C program

C program

C program

테스트 데이터 값 테스트 경로 분기 커버리지 Magic gen

Magic Gen : 실행 processC program

분석

중간코드

테스트데이터 생성

실행

테스트 정보

제어흐름 그래프

테스트 실행 경과 문서

UI : Test

•테스트 시작

•중간파일을 분석

•테스트 결과

Program Demo

Click (Cygwin 실

행 )

명령어 startx 실행(Window Maker 실행 명령

어 )

마우스 오른쪽 버튼 클릭=> Applications 선택=> Terminals 선택=> xterm 선택

< 실행화면 >

실행파일이 있는 디렉토리로 이동=> 실행파일 실행

< Magic Gen 실행 >

Cilck

< 테스트할 C Program 를 선택 >

테스트 할 C Program 을 분석 => 테스트 할 C Program 이 있는 폴더에 중간파일 및 테스트에 필요한 파일 생성

Cilck

생성된 분석 파일에 필요한 헤더파일을 추가

=> ex) #include<math.h> 에서 math.h 만 입력

Cilck

< 실행경로 및 텍스트 보고서 파일 생성 >

Cilck 실행경로 출력

=> Next 와 Previous : 각 테스트 데이터들의 실행경로를 보여줌

UI : 텍스트 보고서 생성

Magic Gen & Random Compare

Magic Gen : triangle.c

최대 횟수 : 30 번 매직젠(Basic Mode)

랜덤인수

횟수 인수 수 확률 확률1 30 93% 86%2 30 93% 64%3 14 100% 79%4 16 100% 64%5 30 93% 79%~ ~ ~ ~24 30 50% 79%25 30 93% 79%26 30 93% 64%27 30 86% 79%28 12 100% 64%29 30 93% 64%30 30 93% 79%

평균 26 93% 71%

Development Tools

개발 도구• 개발환경

- Linux ,Cygwin

• 개발도구 - Window maker, Graphviz

• 개발언어 및 도구 - C language, Cil , Ocaml

http://dev.naver.com/projects/cygwin