mcdc1 오라클 문제의 극복: 돌연변이(Mutation) 및 메타모픽 테스트 기법과 커버리지 포섭 관계 기술사 학습노트 › 소프트웨어 공학 › 소프트웨어 테스트 SOFTWARE ENGINEERING · 정보관리기술사 / 컴퓨터시스템응용기술사 소프트웨어 테스트 심화: 테스트 오라클, 화이트박스 커버리지, 고도화 검증 기법 해부 단순한 버그 찾기를 넘어 시스템의 무결성을 수학적/논리적으로 증명하기 위한 화이트박스 커버리지(MC/DC)의 포섭 관계, 참/거짓을 판별하는 테스트 오라클(Test Oracle) 체계, 그리고 오라클 문제를 극복하기 위한 돌연변이(Mutation) 및 메타모픽(Metamorphic) 테스트 기법을 심층 분석한다. 정보관리기술사 컴퓨터시스템응용기술사 소프트웨어테스트 테스트오라클 화이트박스.. 2026. 4. 13. 이전 1 다음