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

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

가상실행에 기반을 둔 SW의 이해에 관한 연구

A Study on SW Understanding based on Virtual Execution

  • 정양재 (전북대학교 컴퓨터 과학과) ;
  • 박성옥 (전북대학교 컴퓨터 과학과) ;
  • 이문근 (전북대학교 컴퓨터 과학과)
  • 발행 : 2000.04.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

다양한 실행경로가 존재하는 실시간 시스템을 이해하기 위해 정적 정보와 함께 동적 정보의 이해가 필요하다. 본 논문은 매개언어 SRL을 사용하여 정적 정보와 동적 정보를 모두 표현할 수 있는 방법을 제안했다. SRL을 통해 표현된 정적 정보와 동적 정보는 많은 시스템 이해 도구에 사용될 수 있다. 또한 동적 정보를 얻기 위한 방법으로 실제 시스템이 아닌 가상기계를 통한 가상실행을 수행함으로써 안전성이 중요한 시스템을 검증이전에 위험부담 없이 검사할 수 있다.

키워드