2025 SW공학

2025/06/12

22:26 강의 게시판: 테스트 명세(Test Specification)와 테스트 오라클(Test Oracle) Java 구현 방법

Java로 테스트 명세(Test Specification)와 테스트 오라클(Test Oracle)을 어떻게 구현하는지 예제를 통해 설명드릴게요. 여기서는 JUnit을 사용한 간단한 단위 테스트를 예로 들어볼게요... Prof. Jong Min Lee

22:23 강의 게시판: 테스트 오라클

테스트 오라클은 소프트웨어 테스트에서 **"결과가 정답인지 판단할 기준"** 역할을 합니다. 테스트 명세가 “어떻게 테스트할 것인가”를 다룬다면, 오라클은 “그 결과가 옳은가?”를 판단해주는 *검사관* 같은 존... Prof. Jong Min Lee

22:21 강의 게시판: 테스트 명세와 테스트 오라클

`pytest`는 Python 기반의 테스트 자동화 도구로, 테스트 명세와 테스트 오라클을 코드로 자연스럽게 구현할 수 있게 도와줘요. 각각이 어떻게 작동하는지 예제를 통해 설명해볼게요.
---
##... Prof. Jong Min Lee

2025/05/29

08:44 강의 게시판: MCDC Testing의 최소 테스트 케이스 개수

MC/DC(Modified Condition/Decision Coverage)에서 조건이 n개일 때 **최소 테스트 케이스 수가 n+1**이라는 원칙은, 각 조건이 **논리적으로 독립적으로 전체 결과에 영향을 ... Prof. Jong Min Lee

09:32 강의 게시판: 2010 행정안전부 프로그램 표준 코딩 규칙

한번 읽어보세요. Prof. Jong Min Lee

2025/05/28

09:00 강의 게시판: 구조 기반 테스트 케이스 설계 사례

## `if (weight > 10 and color in ('red', 'green', 'blue'))` 테스트 케이스 설계
### 1. **Branch Testing (분기 커버리지)**
전체 조건식... Prof. Jong Min Lee

2025/05/27

08:52 강의 게시판: MCDC Testing

## MCDC(Modified Condition/Decision Coverage) 테스팅
**MCDC**는 소프트웨어 테스트에서 각 조건(condition)이 결정(decision) 결과에 독립적으로 ... Prof. Jong Min Lee

08:42 강의 게시판: 구조 기반 테스트 설계 기법

## ISO/IEC/IEEE 29119의 구조 기반 테스트 설계 기법
**구조 기반 테스트 설계 기법(Structure-Based Test Design Techniques)**은 소프트웨어의 내부 구조(코... Prof. Jong Min Lee

08:38 강의 게시판: 명세 기반 테스트 설계 기법

ISO/IEC/IEEE 29119-4에서 정의하는 **명세 기반 테스트 설계 기법**은 시스템의 요구사항, 명세서, 모델 등을 기반으로 테스트 케이스를 도출하는 블랙박스 테스트 접근법입니다. 이 기법들은 소프트... Prof. Jong Min Lee

08:37 강의 게시판: 동적 테스팅 (Dynamic Testing)

## ISO/IEC/IEEE 29119의 동적 테스팅(Dynamic Testing) 개념
**동적 테스팅**은 소프트웨어나 시스템을 실제로 실행하여 동작을 관찰하고, 요구사항 충족 여부 및 결함을 식별하는... Prof. Jong Min Lee

08:36 강의 게시판: 정적 테스팅 (Static Testing)

## ISO/IEC/IEEE 29119에서의 정적 테스팅 개념
**정적 테스팅(Static Testing)**은 소프트웨어나 관련 산출물을 실제로 실행하지 않고 결함이나 품질 문제를 식별하는 테스트 기법입... Prof. Jong Min Lee

08:33 강의 게시판: RE: IEEE 1012-2016 : IEEE Standard for System, Software, and Hardware Verification and Va...

## Validation 활동의 정의와 목적
IEEE 1012 표준에서 Validation(확인)은 개발된 시스템, 소프트웨어, 하드웨어가 실제 사용자 요구와 의도된 용도를 충족하는지 평가하는 활동입니다.... Prof. Jong Min Lee

08:32 강의 게시판: RE: IEEE 1012-2016 : IEEE Standard for System, Software, and Hardware Verification and Va...

## Verification 활동의 정의와 목적
IEEE 1012 표준에서 Verification(검증)은 개발 산출물(예: 요구사항, 설계, 코드, 문서 등)이 해당 단계의 명세와 요구사항에 부합하는지 ... Prof. Jong Min Lee

08:31 강의 게시판: RE: IEEE 1012-2016 : IEEE Standard for System, Software, and Hardware Verification and Va...

IEEE 1012 표준에서 정의하는 V&V(Verification & Validation, 검증 및 확인)는 시스템, 소프트웨어, 하드웨어의 개발 및 유지보수 전 과정에서 산출물이 요구사항에 부합하는지(검증)와... Prof. Jong Min Lee

08:29 강의 게시판: IEEE 1012-2016 : IEEE Standard for System, Software, and Hardware Verification and Valida...

IEEE 1012는 시스템, 소프트웨어, 하드웨어의 검증(Verification) 및 확인(Validation, V&V) 프로세스를 정의하는 국제 표준입니다. 이 표준은 개발, 유지보수, 재사용(레거시, COT... Prof. Jong Min Lee

2025/05/20

22:27 강의 게시판: V & V 용어 설명

소프트웨어 공학 분야에서 "Verification"을 "검증"으로, "Validation"을 "확인"으로 번역하여 설명하는 것은 사실 **일반적인 표준 번역입니다.** 즉, 제가 앞서 설명드린 내용이 일반적인 ... Prof. Jong Min Lee