차례:
정의-정적 검증이란 무엇입니까?
정적 검증은 컴퓨터 코드를 분석하여 프로그램을 실행할 필요없이 표준 코딩 방법을 준수했는지 확인합니다. 소스 코드의 일부 버전에서 분석이 수행되며 프로그래머가 새 코드를 디버그하고 컴파일 된 코드에서 잠재적 오류를 감지 할 수있는 방법을 제공합니다.
Techopedia는 정적 검증을 설명합니다.
정적 검증은 안전에 중요한 컴퓨터 시스템 용 소프트웨어에서 널리 사용됩니다. 정적 검증에 사용되는 주요 기술은 정적 타이밍 분석 및 동등성 점검입니다. 정적 검증 흐름에서 타이밍 및 기능 검증은 분리되어 병렬로 실행됩니다. 정적 타이밍 분석은 타이밍 검사를 제공하며 동등성 검사는 스캔 체인 재정렬, 라우팅 및 배치와 같은 다른 변환을 통해 설계 스케일과 동일한 회로의 두 버전의 기능적 동등성을 검증합니다.
정적 검증의 몇 가지 구현 기술은 데이터 흐름 분석, 모델 확인, 추상화 해석 및 어설 션 사용입니다.
정적 검증에 일반적으로 사용되는 도구로는 Sonar, Yasca, 복사 / 붙여 넣기 검출기, Stylecop, FxCop, BLAST, Clang, Lint 및 Checkstyle이 있습니다.
