Carleton University · COMP 5302

소프트웨어의 자동 검증 및 밸리데이션

공식 명칭 : Automated Verification & Validation of Software

학점 : 0.5 학점참고 기준 연도 : 2026-27

설명

형식적 테스트 도출 방법, 테스트 관리, 고수준 CASE 기반 검증 및 확인, 설계 및 코드의 품질 평가를 위한 데이터 흐름 및 제어 흐름 측정 및 지표, 회귀 분석 및 테스트에 관한 주제.

원문 참조 텍스트

Topics in formal test derivation methods, test management, high-level, CASE-based verification and validation, data-flow and control-flow measures and metrics for assessing quality of designs and code, regression analysis and testing.

    출처 및 참고문헌

    날짜와 출처는 정보를 확인하는 데 도움이 되도록 보관됩니다. 번역은 읽기 편의를 위해 제공되며 조건과 요건은 공식 출처가 기준입니다.

    출처 참조 : https://calendar.carleton.ca/grad/courses/COMP/

    StudyCanada에 문의하기

    유학 계획이나 질문을 보내 주세요. 이메일로 이야기를 이어가겠습니다.

    입력하신 연락처는 문의에 답변하는 데 사용됩니다. 개인정보 보호

    이 양식은 StudyCanada에 전달됩니다. 해당 학교에 연락하려면 학교 소개에 기재된 연락처를 이용해 주세요.