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 명세 편집기, 데이터 흐름, 그래프 생성, 테스트 케이스 생성, 테스트 목저에 따른 테스트 실행 등으로 구성된다.
천윤식(Yoonsik Cheon),김철홍(Cheolhong Kim),박원규(Wonkyu Park),김강호(Kangho Kim),정연대(Yeondae Chung) 한국정보과학회 1997 한국정보과학회 학술발표논문집 Vol.24 No.1A
ISO 표준 정형 명세 언어 LOTOS는 사용자의 요구사항이나 시스템 모형을 추상적이고 정형적으로 작성할 수 있도록한다. 반면, 명세로부터 구현을 직접 도출하기는 쉽지 않다. 따라서 추상 명세를 실현가능한 코드로 정제하는 자동화 지원도구가 절실히 필요하며, LOTOS가 산업계에서 받아들여 지고 실제로 사용되는데 지대한 공헌을 할 것으로 기대된다. 본 논문에서는 현재 시스템공학연구소에서 수행하고 있는 LOTOS 코드 생성기 개발 사례를 소개한다.