Magic Gen        ( C Program Test )     Kim Min-gi (mingi0915@naver.com)     Kim Sung-wook (genisis23@naver.com)     Lee Y...
Magic Gen : 구성                               C                            program                    C                 pro...
Magic Gen : 실행 process
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번                     랜덤인수                     ...
Development Tools
개발 도구 • 개발환경   - Linux ,Cygwin • 개발도구   - Window maker, Graphviz • 개발언어 및 도구   - C language, Cil , Ocaml http://dev.naver....
Upcoming SlideShare
Loading in …5
×

Slide share(magic gen)

306 views
253 views

Published on

Published in: Technology
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
306
On SlideShare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
1
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Slide share(magic gen)

  1. 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. 2. Magic Gen : 구성 C program C program C program  테스트 데이터 값  테스트 경로  분기 커버리지 Magic gen
  3. 3. Magic Gen : 실행 process
  4. 4. UI : Test • 테스트 시작 • 중간파일을 분석 • 테스트 결과
  5. 5. Program Demo
  6. 6. Click (Cygwin 실행) 명령어 startx 실행(Window Maker 실행 명령어)
  7. 7. < 실행화면 >마우스 오른쪽 버튼 클릭 => Applications 선택 => Terminals 선택 => xterm 선택
  8. 8.  실행파일이 있는 디렉토리로 이동 < Magic Gen 실행 > => 실행파일 실행
  9. 9. Cilck < 테스트할 C Program를 선택 >
  10. 10.  테스트 할 C Program을 분석 => 테스트 할 C Program이 있는 폴더에 중간파일 및 테스트에 필요한 파일 생성
  11. 11. Cilck 생성된 분석 파일에 필요한 헤더파일을 추가 => ex) #include<math.h>에서 math.h 만 입력
  12. 12. Cilck < 실행경로 및 텍스트 보고서 파일 생성 >
  13. 13. Cilck 실행경로 출력 => Next와 Previous : 각 테스트 데이터들의 실행경로를 보여줌
  14. 14. UI : 텍스트 보고서 생성
  15. 15. Magic Gen & Random Compare
  16. 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. 17. Development Tools
  18. 18. 개발 도구 • 개발환경 - Linux ,Cygwin • 개발도구 - Window maker, Graphviz • 개발언어 및 도구 - C language, Cil , Ocaml http://dev.naver.com/projects/cygwin

×