Model-Based Testing

1. Model-Based Testing

• Brute Force Testing , Category Partitioning Testing 외에 Model based Testing이 존재

• Independently Testable Feature(카테고리)를 뽑아낸 후

• spec을 읽고 수동으로 모델 생성하기

  (Finite State Machine, Grammar, Algebraic Specification, Logic Specification, Control/Data Flow Graph)

1) Finite State Machine

: FSM > Execution Tree로 변환

: All state coverage, All structural(Transition) coverage 를 사용해서 test case 뽑아내기

• All transition : 모든 execution 경우를 다 지남

• All state : 모든 execution 노드를 다 지남

  

2) Decision Structures

: Condition Action table을 그린 후 combination > MC/DC 순으로 복잡하면 condition을 변경시켜가며 실행한다.

3) Control/Data Flow Graph

: statement/condition(Decision) coverage를 사용해서 test case 뽑아내기

(반자동으로 systematic하게)

• node에 spec이 포함됨

• 1. Node adequacy Criteria (Statement)
• 2. Branch adequacy Criteria

  (condition은 애매, spec의 조건문이 좀 애매하기 때문)

  ?? 근데 그러면 위에 Decision structure에서 combination , MC/DC 이거는 어케 하는겨?

4) Grammars

: 컴파일 언어로 변경해서 가능