http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
한규정(Kyujung Han),권기현(Kihyeon Kweon),정연대(Yeondae Chung),최형진(Hyungjin Choi) 한국정보과학회 1997 한국정보과학회 학술발표논문집 Vol.24 No.2Ⅰ
본 연구는 데이터 흐름 분석을 기반으로 LOTOS 명세로부터 테스트 케이스를 자동 생성하는데 그 목적이 있다. 즉, 입력으로 주어지는 LOTOS 명세를 입출력에 관계되는 정의-사용(Def-Use)관계 정보를 분석하여 이에 따른 데이터 흐름 그래프를 작성하고 이런 흐름 그래프를 운행하는 테스트 케이스를 유도하게 된다. 또한 생성되는 테스트 케이스의 실행 불가능한 (infeasible) 한 문제를 해결하기 위해 기호실행(symbolic execution) 혹은 연쇄(chaining) 방법론 중 효율적인 것을 적용한다. 본 연구의 도구로서 LOTOS 명세 편집기, 데이터 흐름, 그래프 생성, 테스트 케이스 생성, 테스트 목저에 따른 테스트 실행 등으로 구성된다.