Simulink/Stateflow 모델 최적화 기법

DC Field Value Language
dc.contributor.advisor최경희-
dc.contributor.author오한준-
dc.date.accessioned2018-11-08T06:27:11Z-
dc.date.available2018-11-08T06:27:11Z-
dc.date.issued2012-08-
dc.identifier.other12940-
dc.identifier.urihttps://dspace.ajou.ac.kr/handle/2018.oak/2982-
dc.description학위논문(석사)아주대학교 일반대학원 :컴퓨터공학과,2012. 8-
dc.description.abstractMATLAB의 Simulink와 Stateflow를 사용하여 임베디드 시스템을 모델링 하고 이를 기반으로 테스팅 작업을 할 수 있다. 이 때 Simulink/Stateflow 모델에는 불필요한 부분이 생기는 경우가 있다. 테스트 케이스를 생성하는 작업은 생각보다 많은 시간이 소요되는데 모델의 불필요한 요소는 이 시간을 더욱 증가시키는 요인이 된다. 따라서 Simulink/Stateflow 모델을 최적화 시켜 테스트 케이스 생성 시간을 줄이는 것이 본 연구의 주 목표이다. 더불어 모델을 최적화 시킴으로써 모델의 graphical 한 부분을 줄여 MATLAB 프로그램을 통해 모델을 확인할 때의 처리 속도를 향상시키는 효과가 있을 것이다. 모델 수정 후 원본 모델과의 실행 결과 비교를 통해 수정된 모델의 유효성을 검증하고, 변경된 모델을 이용해 테스트 케이스를 생성하고 그 통계를 분석하여 테스트 케이스 생성 시간의 감소 및 테스트 케이스 coverage를 분석하여 연구 효과를 정리한다.-
dc.description.tableofcontents그림 차례(List of Figure) 표 차례(List of Table) 제 1 장 서론 제 2 장 관련 연구 제 1 절 모델의 최적화 요소 분석 제 2 절 mdl 파일 분석 방식 제 3 장 모델 최적화 알고리즘 제 1 절 사용하지 않는 Chart 삭제 알고리즘 제 2 절 During function 처리 알고리즘 제 3 절 Infeasible state, transition 삭제 알고리즘 제 4 장 구현 제 5 장 검증 제 1 절 최적화 모델의 유효성 검증 제 2 절 테스트 케이스 통계 분석 제 5 장 결론 참고 문헌-
dc.language.isokor-
dc.publisherThe Graduate School, Ajou University-
dc.rights아주대학교 논문은 저작권에 의해 보호받습니다.-
dc.titleSimulink/Stateflow 모델 최적화 기법-
dc.title.alternativeHan-joon Oh-
dc.typeThesis-
dc.contributor.affiliation아주대학교 일반대학원-
dc.contributor.alternativeNameHan-joon Oh-
dc.contributor.department일반대학원 컴퓨터공학과-
dc.date.awarded2012. 8-
dc.description.degreeMaster-
dc.identifier.localId570422-
dc.identifier.urlhttp://dcoll.ajou.ac.kr:9080/dcollection/jsp/common/DcLoOrgPer.jsp?sItemId=000000012940-
dc.subject.keywordSimulink/Stateflow 모델-
dc.subject.keyword최적화-
dc.subject.keyword임베디드 시스템-
dc.subject.keyword테스팅-
dc.subject.keywordMATLAB-
Appears in Collections:
Graduate School of Ajou University > Department of Computer Engineering > 3. Theses(Master)
Files in This Item:
There are no files associated with this item.

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Browse