Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2012.06b
- /
- Pages.241-243
- /
- 2012
- /
- 1598-5164(pISSN)
A Study for Improved $Stateflow^{(R)}$ Control Flow Graph Unfolding Algorithm Applied Back-Up Free Concept
Back-Up Free를 적용한 개선된 스테이트 플로우의 제어 흐름 그래프 전개 알고리즘에 대한 연구
- Seo, Jang-Won (Ajou University) ;
- Choi, Kyoung-Hee (Ajou University) ;
- Park, Seung-Kyu (Ajou University) ;
- Chung, Ki-Hyun (Ajou University)
- Published : 2012.06.22
Abstract
본 논문은 스테이트 플로우에서 작성된 제어 흐름 그래프를 전개하여 테스트 케이스를 뽑아내기 위한 기존 제어 흐름 그래프 전개 알고리즘에 대해서 소개한다. 그리고 기존 제어 흐름 그래프전개 알고리즘의 단점으로 지적되는 비효율적인 측면, 즉 불필요한 하위 트리의 복사 등의 단점을 개선하기 위해 Back-Up Free라는 개념을 소개하고, Back-Up Free 개념을 적용하여 좀 더 개선된 제어 흐름 그래프전개 알고리즘의 아이디어를 설명한다.
Keywords