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

  • 2012.06b
  • /
  • Pages.241-243
  • /
  • 2012
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

A Study for Improved $Stateflow^{(R)}$ Control Flow Graph Unfolding Algorithm Applied Back-Up Free Concept

Back-Up Free를 적용한 개선된 스테이트 플로우의 제어 흐름 그래프 전개 알고리즘에 대한 연구

  • Published : 2012.06.22

⟨ Previous Next ⟩

Abstract

본 논문은 스테이트 플로우에서 작성된 제어 흐름 그래프를 전개하여 테스트 케이스를 뽑아내기 위한 기존 제어 흐름 그래프 전개 알고리즘에 대해서 소개한다. 그리고 기존 제어 흐름 그래프전개 알고리즘의 단점으로 지적되는 비효율적인 측면, 즉 불필요한 하위 트리의 복사 등의 단점을 개선하기 위해 Back-Up Free라는 개념을 소개하고, Back-Up Free 개념을 적용하여 좀 더 개선된 제어 흐름 그래프전개 알고리즘의 아이디어를 설명한다.

Keywords