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

  • 2000.04a
  • /
  • Pages.579-581
  • /
  • 2000
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

A Study on SW Understanding based on Virtual Execution

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

  • 정양재 (전북대학교 컴퓨터 과학과) ;
  • 박성옥 (전북대학교 컴퓨터 과학과) ;
  • 이문근 (전북대학교 컴퓨터 과학과)
  • Published : 2000.04.01
Download PDF
⟨ Previous Next ⟩

Abstract

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

Keywords