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
•테스트 시작
•중간파일을 분석
•테스트 결과
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 : 각 테스트 데이터들의 실행경로를 보여줌
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