Prof. Jong Min Lee
작업내역
2025/06/12
- Java로 테스트 명세(Test Specification)와 테스트 오라클(Test Oracle)을 어떻게 구현하는지 예제를 통해 설명드릴게요. 여기서는 JUnit을 사용한 간단한 단위 테스트를 예로 들어볼게요...
- Java로 테스트 명세(Test Specification)와 테스트 오라클(Test Oracle)을 어떻게 구현하는지 예제를 통해 설명드릴게요. 여기서는 JUnit을 사용한 간단한 단위 테스트를 예로 들어볼게요...
- 테스트 오라클은 소프트웨어 테스트에서 **"결과가 정답인지 판단할 기준"** 역할을 합니다. 테스트 명세가 “어떻게 테스트할 것인가”를 다룬다면, 오라클은 “그 결과가 옳은가?”를 판단해주는 *검사관* 같은 존...
- 테스트 오라클은 소프트웨어 테스트에서 **"결과가 정답인지 판단할 기준"** 역할을 합니다. 테스트 명세가 “어떻게 테스트할 것인가”를 다룬다면, 오라클은 “그 결과가 옳은가?”를 판단해주는 *검사관* 같은 존...
- `pytest`는 Python 기반의 테스트 자동화 도구로, 테스트 명세와 테스트 오라클을 코드로 자연스럽게 구현할 수 있게 도와줘요. 각각이 어떻게 작동하는지 예제를 통해 설명해볼게요.
---
##... - `pytest`는 Python 기반의 테스트 자동화 도구로, 테스트 명세와 테스트 오라클을 코드로 자연스럽게 구현할 수 있게 도와줘요. 각각이 어떻게 작동하는지 예제를 통해 설명해볼게요.
---
##...
2025/05/29
- 08:44 2025 SW공학 강의 게시판: MCDC Testing의 최소 테스트 케이스 개수
- MC/DC(Modified Condition/Decision Coverage)에서 조건이 n개일 때 **최소 테스트 케이스 수가 n+1**이라는 원칙은, 각 조건이 **논리적으로 독립적으로 전체 결과에 영향을 ...
- 한번 읽어보세요.
2025/05/28
- ## `if (weight > 10 and color in ('red', 'green', 'blue'))` 테스트 케이스 설계
### 1. **Branch Testing (분기 커버리지)**
전체 조건식...
2025/05/27
- ## MCDC(Modified Condition/Decision Coverage) 테스팅
**MCDC**는 소프트웨어 테스트에서 각 조건(condition)이 결정(decision) 결과에 독립적으로 ...
내보내기 Atom