Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

Slide share(magic gen)

387 views

Published on

Published in: Technology
  • Be the first to comment

  • Be the first to like this

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

×