영상자료 - 상태 기반 테스팅 기법

 

https://sttp.site/
위 주소의 온라인 북 "Software Testing: From Theory to Practice"에서 
2.4 Model based testing의 상태 기반 테스팅에 대한 내용을 발췌함

---

1. 상태 기반 테스팅 소개 (길이: 7분 2초)

출처 https://www.youtube.com/watch?v=h4u9k-P3W0U

휴대폰 온/오프 및 잠금 기능을 예로 들어
상태 모델링(즉, UML 상태 다이어그램을 그리는 방법)에 대해 설명한다.

 

 

2. 상태 머신 테스팅 (길이: 7분 56초)

https://www.youtube.com/watch?v=pvFPzvp5Dk0

상태 머신 관련 테스트 적정성 기준(test adequacy criteria)을 제시하고, 
상태 모델로부터 테스트케이스를 도출하는 방법을 설명한다. 

즉, 웹 애플리케이션의 로그인 기능을 예로 들어
가장 먼저 상태 머신을 생성하고,  
생성된 상태 머신 그래프를 전이 트리(Transition Tree)로 변환하고,
이 전이 트리에서 테스트케이스(전이 시퀀스)를 
체계적으로 뽑아 내는 방법을 보여준다.

3. 스니크 경로 테스팅 (길이: 3분 36초)

https://www.youtube.com/watch?v=EMZB2IZT8WA

상태 모델에서 구체적으로 명세되지 않은 전이(unspecified behavior)를 테스팅하는 기법인
스니크 경로 테스팅(Sneak Path Testing)에 대해 설명한다.

상태 머신 그래프를 표 형태(Transition Table)로 변환하여
스니크 경로에 상응하는 테스트케이스를 도출하는데,
이는 백도어나 불법적인 전이가 가능한지를 체크하는
보안 테스팅(Security Testing)에 활용될 수 있다.

4. 슈퍼상태 및 직교 영역 (길이: 4분 17초)

https://www.youtube.com/watch?v=D0IQxdjI0M0

상태 다이어그램의 확장성(scalability)을 지원하는 메카니즘인
'슈퍼상태(superstate)'와 '직교 영역(orthogonal region)'을 소개하고 
휴대폰 온/오프 및 잠금 기능을 예로 들어 모델링 방법을 설명한다.