코드 검증

Code Verification · 국방·방위사업

코드 검증 뜻

확인된 논리의 표현이 컴퓨터 코드에서 적절하게 구현되고 있음을 보장하기 위한 모든 컴파일 가능한 코드에 대한 엄격한 검사.

영문
Code Verification
분야
국방·방위사업
다른 표기
Code Verification

표기 예시

예: 자료에서 ‘코드 검증(Code Verification)’처럼 한글 용어와 영문명을 함께 표기할 수 있습니다.

자료 출처

방위사업청 용어사전방위사업청 · 국방·방위사업

용어 설명은 정보 탐색을 돕기 위한 자료입니다. 법률·의료·금융·행정 등 중요한 판단에는 해당 기관의 최신 공식 자료를 함께 확인하세요.

코드 검증 자주 묻는 질문

코드 검증 뜻은 무엇인가요?

확인된 논리의 표현이 컴퓨터 코드에서 적절하게 구현되고 있음을 보장하기 위한 모든 컴파일 가능한 코드에 대한 엄격한 검사.

코드 검증 영어로 어떻게 쓰나요?

코드 검증의 영문 표기는 Code Verification입니다.

코드 검증은 어떤 분야의 용어인가요?

코드 검증은 지수포스트 용어사전에서 국방·방위사업 분야로 분류되어 있습니다.

같이 보면 좋은 관련 용어

Code Data

데이터를 처리하는 과정에서 분류 조합 및 집계를 용이하게 하고, 특정 자료의 추출을 쉽게 하기위한 기호 데이터이다. (예: 부대코드 등)

Line of Code Number

프로그램을 구성하는 최소명령단위인 문장(Statement)들의 수로서 주석문(Comments)을 제외한 실행문, 환경선언문, 데이터 선언문 등을 말한다.

☞ 부호 분할 다중화 방식(符號分割多重化方式)코로나 [지휘통제/통신] Corona 어떤 임계값을 넘는 전계에 의해 야기된 전극 주위 공기의 이온화로 인한 발광 방전현상.

Code Coverage

전체 프로그램 코드에서 실행(시험)이 된 코드의 비율을 %로 나타낸 것을 말하며 수준에 따라 문장(Statement), 분기(Branch), MC/DC 로 나눌 수 있다.

Corner Velocity

(1) 항공기의 허용 최대 "G"를 걸 수 있는 최소 속도. 대부분의 항공기에 있어서 코너 속도 이상에서는 선회율이 감소하고 선회 반경이 증가함. 코너 속도만을 가지고 항공기 성능을 비교해서는 안되며, 실제 공중 전투시에…

Chemical Light

특정한 표시 및 신호용으로 사용하는 화학 작용에 의한 발광을 하는 막대 모양의 도구.

Kepler's Laws

케플러가 브라헤의 행성관측 결과로부터 경험적으로 얻은 행성 운동에 관한 세 가지 법칙. 1. 케플러 제 1법칙(타원 궤도의 법칙) : 행성은 태양을 하나의 초점으로 하는 타원 궤도를 그리며 공전한다. 2. 케플러 제 2법칙…

Kepler's Equation

위성의 운동에서 이심률 (Eccentricity, e), 평균 근점이각(Mean Anomaly, μ), 이심 근점이각(Eccentric Anomaly, E)의 상호 관계를 표현한 방정식. μ = E - e sin E.

Keplerian Orbital Elements

타원 궤도를 도는 위성 및 행성의 위치와 속도를 정의하는 6가지 요소. 궤도 장반경(Semi-Major Axis), 궤도의 이심률(Eccentricity), 궤도의 경사각(Inclination), 근지점 인수(Argumen…

Case Designator

판매오퍼에서 지정되는 것으로 모든 관련 거래시 케이스 식별 역할을 하며, 케이스 식별부호의 마지막 요소로 일반적으로 3개의 문자로 지정된다.