한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)

한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지

CHILL 기반의 SDL 심벌 디버거의 구현

Implementation of SDL Symbol Debugger based on CHILL

  • 최원혁 (경북대학교 컴퓨터공학과) ;
  • 김성재 (경북대학교 컴퓨터공학과) ;
  • 김승호 (경북대학교 컴퓨터공학과)
  • 발행 : 2000.04.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

현재의 소프트웨어 개발은 구현 중심에서 설계 중심으로 변하고 있다. 설계 중심의 개발은 구현 프로그램의 자동생성을 바탕으로 설계 수준에서 정형화된 명세를 검증함으로써 설계와 구현 사이의 불일치를 없앨 수 있고, 유지보수가 효율적이다. 본 논문에서는 설계 중심의 개발 방법을 구축하기 위한 SDL과 CHILL 의 통합된 개발환경에서 디버깅 환경을 제공하기 위한 도구를 제안하고, 정합, 추적, 제어 언터페이스를 통하여 실행 주인CHILL 프로그램의 수행을 시스템 구현의 전단계 설계 문서인 SDL/GR의 심벌로 디버깅하는 SDL 심벌 디버거를 구현하였다.

키워드