1. Magic Gen
( C Program Test )
Kim Min-gi (mingi0915@naver.com)
Kim Sung-wook (genisis23@naver.com)
Lee Yu-chang (lyc1451@naver.com)
Yang Jeong-su (yjsyjs3030@naver.com)
Produced by
Prof. Jung In-sang

2. Magic Gen : 구성
C
program
C
program
C
program
 테스트 데이터 값
 테스트 경로
 분기 커버리지
Magic gen

3. Magic Gen : 실행 process

4. UI : Test
• 테스트 시작
• 중간파일을 분석
• 테스트 결과

5. Program Demo

6. Click
(Cygwin 실행)
명령어 startx 실행
(Window Maker 실행 명령어)

7. < 실행화면 >
마우스 오른쪽 버튼 클릭
=> Applications 선택
=> Terminals 선택
=> xterm 선택

8.  실행파일이 있는 디렉토리로 이동 < Magic Gen 실행 >
=> 실행파일 실행

9. Cilck
< 테스트할 C Program를 선택 >

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

11. Cilck
생성된 분석 파일에 필요한 헤더파일을 추가
=> ex) #include<math.h>에서 math.h 만 입력

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

13. Cilck
실행경로 출력
=> Next와 Previous
: 각 테스트 데이터들의
실행경로를 보여줌

14. UI : 텍스트 보고서 생성

15. Magic Gen & Random
Compare

16. 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%

17. Development Tools

18. 개발 도구
• 개발환경
- Linux ,Cygwin
• 개발도구
- Window maker, Graphviz
• 개발언어 및 도구
- C language, Cil , Ocaml
http://dev.naver.com/projects/cygwin