Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2012.06b
- /
- Pages.247-249
- /
- 2012
- /
- 1598-5164(pISSN)
Research on Model Optimization by Analysis of Condition of Transition
Transition Condition 분석에 따른 모델 최적화 연구
- Seong, Bong-Jin (Ajou University) ;
-
Chung, Ki-Hyun
(Ajou University) ;
-
Choi, Kyung-Hee
(Ajou University)
- Published : 2012.06.22
Abstract
본 연구에서는 MATLAB Simulink/Stateflow 기반으로 만든 모델의 transition의 condition을 미리 연산하고, 이를 바탕으로 모델을 최적화하는 모듈을 제안하고 이를 구현하였다. 구현한 모듈은 stateflow 내부의 transition condition의 label string을 이진트리로 구성하고, True/False를 판단한다. 그리고 condition의 True/False 판단 결과를 통해 모델의 최적화 과정을 수행한다. 제안하는 모듈을 이용하여 간단한 예시모델의 수정 과정을 보이고 테스트 커버리지가 향상되는 것을 검증하였다.
Keywords