• Like
Slide share(magic gen)
Upcoming SlideShare
Loading in...5
×

Slide share(magic gen)

  • 201 views
Uploaded on

 

More in: Technology
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Be the first to comment
    Be the first to like this
No Downloads

Views

Total Views
201
On Slideshare
0
From Embeds
0
Number of Embeds
0

Actions

Shares
Downloads
0
Comments
0
Likes
0

Embeds 0

No embeds

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
    No notes for slide

Transcript

  • 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