지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회논문지 : 소프트웨어 및 응용 정보과학회논문지 : 소프트웨어 및 응용 제39권 제9호
- 발행연도
- 2012.9
- 수록면
- 734 - 749 (16page)
이용수
초록· 키워드
오류제보하기
상태 기계는 시스템이나 컴포넌트, 객체의 행위를 표현하는 동적 행위 모델로서, 정형 검증, 테스트, 코드 자동 생성 등 다양한 분야에서 활용된다. 상태 기계는 시스템의 모든 실행 가능한 메소드들의 흐름을 표현하므로 복잡도가 높다. 따라서 수동으로 정확하고 완전한 상태 기계를 작성하는 것은 많은 시간과 노력이 소요되며, 실수를 유발하는 작업이다. 따라서 자동으로 완전하고 정확한 상태 기계를 구축하는 기법에 대한 연구가 필요하다. 상태 기계의 이해도는 상태 기계를 통하여 시스템의 행위를 얼마나 정확하게 이해할 수 있는지를 나타내는 척도이다. 이해도는 유지보수성의 중요한 요소로 알려져 있다. 상태기계의 특성상 동일한 시스템의 행위를 다양한 형태의 상태 기계로 표현 가능하다. 상태 기계의 형태가 달라지면 그 이해도 또한 달라진다. 그러므로 상태 기계를 생성할 때, 이해도에 대한 고려가 필요하다. 기존에, 상태 기계를 자동으로 구축하기 위한 많은 연구가 있었지만, 완전 자동화에 대한 연구와 생성된 상태 기계의 이해도에 대한 고려가 미흡하였다. 따라서 본 논문에서는 계약 기반 정형 명세로부터 이해도 높은 상태 기계를 자동으로 구축하는 기법을 제안한다. 상태 기계의 자동 생성을 위하여 각 과정마다 명확한 알고리즘을 제시하였으며, 구축된 상태 기계의 이해도를 평가하기 위하여 이해도 측정 실험을 실시하였다. 이해도 측정 실험의 결과, 본 연구에서 제안한 기법으로 구축한 상태 기계가 타 연구에서 제안한 기법으로 구축한 상태 기계보다 우수한 이해도를 보임을 확인할 수 있었다.
목차
요약
Abstract
1. 서론
2. 관련 연구
3. 상태 기계 자동 생성
4. 이해도 비교 실험 준비
5. 실험 결과
6. 결론 및 향후 연구
참고문헌
참고문헌 (25)
참고문헌 신청
1. [기타자료] - OMG / 2004 / UML 2.0 Superstructure Specification
2. [학술지(정기간행물)] - C. Nebut / 2006 / Automatic Test Generation: A Use Case Driven Approach / IEEE Trans. Software Eng 32 (3) : 140 ~ 155
3. [학술대회논문] - A. David / 2002 / Formal Verification of UML Statecharts with Real-Time extensions / Proc. Fundamental Approaches to Software Eng : 218 ~ 232
4. [학술대회논문] - Y.G. Kim / 1999 / Test Cases Generation from UML State Diagrams / IEE Proc. Software 146 (4) : 187 ~ 192
5. [학술대회논문] - L.C. Briand / 2004 / Using Simulation to Empirically Investigate Test Coverage Criteria based on Statechart / Proc. Int’l Conf. Software Eng : 86 ~ 95
2. [학술지(정기간행물)] - C. Nebut / 2006 / Automatic Test Generation: A Use Case Driven Approach / IEEE Trans. Software Eng 32 (3) : 140 ~ 155
3. [학술대회논문] - A. David / 2002 / Formal Verification of UML Statecharts with Real-Time extensions / Proc. Fundamental Approaches to Software Eng : 218 ~ 232
4. [학술대회논문] - Y.G. Kim / 1999 / Test Cases Generation from UML State Diagrams / IEE Proc. Software 146 (4) : 187 ~ 192
5. [학술대회논문] - L.C. Briand / 2004 / Using Simulation to Empirically Investigate Test Coverage Criteria based on Statechart / Proc. Int’l Conf. Software Eng : 86 ~ 95
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2013-569-003196746