검증 - 검증 소프트웨어의 과정

용어 "검증"과 "검증"매우 자주 기술 문헌에 사용되며 소프트웨어의 분석의 품질과 관련이 있습니다. 과학 문헌에서는 이러한 개념의 다양한 해석이있다. 그래서 그 문제를 조사하려고합니다.

가장 적절한, 우리의 관점에서 다음과 같은 정의입니다. 확인 및 검증 -의 품질 관리 수행을 목표로하는 활동입니다 소프트웨어를 그것의 초기 단계에서 오류를 감지하기는. 그들이 공통의 목표를 가지고 것으로 보인다. 그럼에도 불구하고,이 종은 실수로 간주 될 수있다 위반있는 검증 특성, 제한 및 규정의 소스의 차이가 있습니다.

검증 - 소프트웨어의 적합성 검사 기술 문서 요구 사항 명세, 건축 또는 도메인 모델에 의해 제공. 포함되어있는 용어 및 개발, 규정 및 표준의 과정 비교 계산 절차의 "의무"에서.

데이터 검증은 준수 프로그램 설립 기준, 요구 사항, 설계, 사용자 문서의 기능을 설정하기 위해 수행 할 수 있습니다. 이 경우, 의무적으로 사전 검사는 소프트웨어가 작동 국가에 규정 된 표준 및 규정 준수에 비교되어 그 문서에 따라야한다. 이 수행되는 동작의 모든 시퀀스를 고려하고 대해 고려할 필요가있다.

프로그램에 오류 또는 결함의 경우 그렇지 않으면 상기 문서와 프로그램 특정 작업에 대한 해결책이 될해야 보정 악기의 선택에 대한 결정의 현재 기능 사이에 충돌이 있습니다.

검증 검증 달리 개발 또는 동반 소프트웨어 요구 사항이나 고객이나 사용자의 요구 준수를 검증 할 책임이있다. 이러한 요구는 종종 모든 문서에 기록되지 않습니다. 검증이 덜 검증보다 정형화 된 이유입니다. 이는 고객, 사용자 대표, 또한 분석가 또는 전문가에 참석할 수있는 과정입니다 주제 영역을. 즉, 사람들은 특정 요구와 이해 관계자의 실제 요구를 표현할 수있다.

검증 -? "제대로 만든 소프트웨어입니다"라는 질문에 대한 답이다, 그리고 검증 -? "윌 적합한 소프트웨어".

이러한 질문에 대한 답변을 검색 할 때, 당신은 확인 (또는 인증) 내용이 확인 (검증)보다 약간 넓게 설정되어있는 것을 알 수 있습니다. 그러나 검증은 밀접하게 소프트웨어 제품의 품질을 제어 할 수 있도록 연결되어 있습니다.

예를 들어, 컴퓨터 프로그램의 검증 목적의 기초가 이전 단계에서 얻은 결과로, 특히 얻은 제품 수명주기에서, 이러한 요구 사항을 충족하기 위해 인 방법을 제공한다.

우리가 모델 검증에 대해 이야기하면, 우리가 개념 또는 필요한 컴퓨터 모델의 정확한 디스플레이의 검증에 초점을 맞출 것이다 수학적 모델.

검증 시스템 코드 부호화와 일치 다큐멘터리 안내 검증 소스를 분석 할 때.

검증 프로세스는 다른 계산을 포함하는 작업을 포함 할 수있다. 기존 프로젝트의 적절한 문서, 필수 테스트, 새로운 소프트웨어 제품의 테스트 및 시연 결과를 새 프로젝트의 기술 및 과학 문서의 비교.