2025 SW공학

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