지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회논문지 : 소프트웨어 및 응용 정보과학회논문지 : 소프트웨어 및 응용 제40권 제11호
- 발행연도
- 2013.11
- 수록면
- 645 - 656 (12page)
이용수
초록· 키워드
오류제보하기
상태 머신은 상태와 전이를 통하여 객체의 행위를 표현할 수 있기 때문에 테스트 케이스 자동생성에 많이 이용된다. 상태 머신을 이용하여 효율적인 테스트를 진행하기 위해서는 해당 상태 머신의 제어 용이성이 높아야 한다. 상태 머신의 제어 용이성은 대상을 얼마나 쉽게 원하는 상태로 만들 수 있는지에 대한 지표이다. 전이의 선/후행 조건이 많으면 원하는 상태로 만들기 위한 입력 시퀀스를 찾아내는 것이 어려우므로, 상태 머신의 제어 용이성이 낮을 수 있다. 따라서 본 논문은 기존 상태 머신의 제어 용이성 높은 상태 머신으로 변환하는 기법을 제안한다. 제안한 기법의 효용성을 평가하기 위하여 기존에 공개된 문헌에서 2개의 상태 머신을 제안한 알고리즘에 따라서 변환하였으며, 변환 전/후의 상태 머신으로 생성한 테스트 케이스의 수행 가능성을 비교하는 실험을 실시하였다. 그 결과 변환 후의 상태 머신을 이용하면 더욱 효율적으로 테스트 케이스를 생성할 수 있는 것으로 나타났다.
목차
요약
Abstract
1. 서론
2. 연구 배경
3. 상태 머신 변환
4. 사례 연구
5. 결론 및 향후 연구
References
참고문헌 (20)
참고문헌 신청
1. [인터넷자원] - / / http://www.omg.org/spec/ UML/2.3/Infrastructure/PDF
2. [인터넷자원] - Google / / Android Developer’s Reference
3. [인터넷자원] - IBM / / Rational StateMate
4. [학술지(정기간행물)] - Y. G. Kim. / 1999 / Test Cases Generation from UML State Diagrams / IEE Proc. Software 146 (4) : 187 ~ 192
5. [학술지(정기간행물)] - A. David. / 2002 / Formal Verification of UML Statecharts with Real-Time extensions / Proc. Fundamental Approaches to Software Eng. : 218 ~ 232
2. [인터넷자원] - Google / / Android Developer’s Reference
3. [인터넷자원] - IBM / / Rational StateMate
4. [학술지(정기간행물)] - Y. G. Kim. / 1999 / Test Cases Generation from UML State Diagrams / IEE Proc. Software 146 (4) : 187 ~ 192
5. [학술지(정기간행물)] - A. David. / 2002 / Formal Verification of UML Statecharts with Real-Time extensions / Proc. Fundamental Approaches to Software Eng. : 218 ~ 232
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2014-560-002658797