[정보처리기사 실기] 화이트박스 테스트 검증기준(동적테스트, 커버리지)

✏️ 동적테스트 화이트박스 테스트 검증기준(WhiteBoxTest Coverage)

* 문장검증기준(Statement Coverage)

• 문장 1회
• 모든 문장이 한 번 이상 실행된다.
  
  

* 분기검증기준(결정;Decision Coverage)

• T/F
• 분기점은 조건문에서의 각 분기 또는 논리적 분기 지점을 나타내고, 각 분기는 프로그램의 특정 경로를 나타내며, 조건문의 참/거짓에 따라 결정된다.
• 모든 코드 분기가 테스트되었을 때 100%의 분기 커버리지가 달성된다.
  
  

* 조건검증기준(Condition Coverage)

• TF, FT
• 각 조건이 참과 거짓으로 평가되는 모든 가능한 경우를 테스트한다.
• 각 조건이 최소한 한 번은 참으로, 한 번은 거짓으로 평가되도록 한다.
  
  

* 분기/조건기준(Condition Decision Coverage)

• TT, FF
• 프로그램의 모든 분기점이 최소한 한 번 실행되었는지를 나타낸다. 모든 코드 분기가 테스트되었을 때 100%의 분기 커버리지가 달성됩니다.
• 프로그램의 모든 조건이 참과 거짓으로 평가되었는지를 나타낸다. 각 조건을 만족하거나 만족하지 않는 경우를 모두 테스트하여 100%의 조건 커버리지를 달성한다.
  
  

* 변경분기/조건기준(MC/DC; Modified Condition Decision Coverage)

• TT, FF, TF, FT
• 모든 논리적 조건이 최소한 한 번 이상의 경우에 대해 참과 거짓으로 평가되어야 한다.
• 각 조건은 다른 조건에 독립적으로 기여해야 한다. 한 조건의 변경이 다른 조건의 결과에 영향을 미치면 안 된다.
• 각 결정은 서로 독립적으로 평가되어야 하며, 한 결정의 변경이 다른 결정에 영향을 미치면 안 된다.
  
  

* 다중조건검증기준(MCC; Multiple Condition Coverage)

• TT, FF, TF, FT
• 각 조건이 독립적으로 평가되고, 각 조건이 최소한 한 번 이상 참과 거짓으로 평가되도록 테스트한다.
• 여러 조건이 함께 평가되었을 때의 결과를 테스트한다.
• 조건들 간에 독립성을 보장하고, 한 조건의 변경이 다른 조건에 영향을 미치지 않도록 테스트한다.
  
  

* 경로검증기준(All Path Coverage)