1) 문장 검증 기준 (Statement Coverage)
- 문장 1회
- 모든 문장이 한 번 실행된다.
2) 분기 검증 기준 (Decision Coverage)
- T/F
- 분기점은 조건문에서의 각 분기 또는 논리적 분기 지점을 나타내고, 각 분기는 프로그램의 특정 경로를 나타내며, 조건문의 참/거짓에 따라 결정된다.
- 모든 코드 분기가 테스트 되었을 때 100%의 분기 커버리지가 달성된다.
3) 조건 검증 기준 (Condition Coverage)
- TF, FT
- 각 조건이 참과 거짓으로 평가되는 모든 가능한 경우를 테스트한다.
- 각 조건이 최소한 한 번은 참으로, 한 번은 거짓으로 평가되도록 한다.
4) 분기/조건 기준 (Condtion Decision Coverage)
- TT, FF
- 프로그램의 모든 분기점이 최소한 한 번 실행되었는지를 나타낸다. 모든 코드 분기가 테스트 되었을 때 100%의 분기 커버리지가 달성된다.
- 프로그램의 모든 조건이 참과 거짓으로 평가되었는지를 나타낸다. 각 조건을 만족하거나 만족하지 않는 경우를 모두 테스트하여 100%의 조건 커버리지를 달성한다.
5) 변경분기/조건기준 (MD/DC, Modified Condition Decision Coverage)
- TT, FF, TF, FT
- 모든 논리적 조건이 최소한 한 번 이상의 경우에 대해 참과 거짓으로 평가되어야 한다.
- 각 조건은 다른 조건에 독립적으로 기여해야 한다. 한 조건의 변경이 다른 조건의 결과에 영향을 미치면 안 된다.
- 각 결정은 서로 독립적으로 평가되어야 하며, 한 결정의 변경이 다른 결정에 영향을 미치면 안된다.
6) 다중 조건 검증 기준 (MCC, Multiple Condition Coverage)
- TT, FF, TF, FT
- 각 조건이 독립적으로 평가되고, 각 조건이 최소한 한 번 이상 참과 거짓으로 평가되도록 테스트한다.
- 여러 조건이 함께 평가되었을 때의 결과를 테스트한다.
- 조건들 간에 독립성을 보장하고, 한 조건의 변경이 다른 조건에 영향을 미치지 않도록 테스트한다.
경로 검증 기준 (All Path Coverage)
'CS > OS & 하드웨어' 카테고리의 다른 글
CPU 스케줄링 /SJF SRT (0) | 2024.10.02 |
---|---|
CPU 스케줄링 (Scheduling) 개념 (1) | 2024.09.24 |
논리게이트의 종류(AND, OR, NOT, NAND, NOR, XOR, XNOR) (0) | 2024.09.24 |
결합도(Coupling)과 응집도(Cohesion) 순서 (0) | 2024.09.22 |
Virtual Machine (가상 머신이란?) (0) | 2024.09.19 |