Speaker:
운영동
Subject:
프로토콜 상태 머신과 예제 소개
Abstract:
상태 머신은 객체의 상태를 표현하거나 객체가 수행하는 행위를 명세하기 위한 모델이다. 그 중 프로토콜 상태 머신은 객체가 수행하는 행위보다 객체가 지켜야 할 규약(프로토콜)을 표현한 상태 머신의 일종이다. 본 발표에서는 프로토콜 상태 머신에 대해 소개하고 그에 대한 몇 가지 예제를 보인다.
'연구실 소식 > 세미나' 카테고리의 다른 글
| 이벤트 인과 관계를 이용한 sneak path 테스팅 전략 (0) | 2014.05.29 |
|---|---|
| 소프트웨어 결함 예측 능력 개선을 위한 샘플링 기법의 실험 (0) | 2014.05.02 |
| 상태 머신 다이어그램의 구현 (0) | 2014.05.02 |
| 소프트웨어 특성에 따른 탐색 기반 테스팅 성능 비교 (0) | 2014.04.18 |
| 소프트웨어의 변경 리스크 분석 (0) | 2014.04.18 |