비공식 검증 및 검증 방법

비공식적인 검증 및 검증 방법은 모델링 및 시뮬레이션에서 더 자주 사용됩니다.그것들은 ^[1]양적이라기보다 질적이라 비공식이라고 불린다.검증 또는 검증의 많은 방법이 수치 결과에 의존하는 반면, 비공식 방법은 결론을 도출하기 위해 전문가의 의견에 의존하는 경향이 있다.수치 결과가 주요 초점은 아니지만, 이는 수치 결과가 완전히 무시된다는 것을 의미하지는 않는다.비공식 방법을 선택하는 데는 몇 가지 이유가 있다.경우에 따라서는 비공식적인 방법을 통해 모델을 검증할 수 있는지 여부를 신속하게 테스트할 수 있습니다.다른 경우에는 비공식적인 방법이 단순히 사용 가능한 최선의 선택이다.비공식 방법은 공식 방법보다 덜 효과적이지 않으며 "공식" 방법에서 기대하는 것과 동일한 규율과 구조로 수행되어야 한다.적절하게 실행되면 확실한 결론을 ^[2]내릴 수 있습니다.

모델링 및 시뮬레이션에서는 검증 기법을 사용하여 모델 상태를 분석합니다.검증은 실행 가능 모델의 다양한 측면을 개념 모델과 비교하는 데 중점을 두고 다양한 방법으로 완료됩니다.반면 검증 방법은 개념적 또는 실행 가능한 모델을 모델링하려는 상황과 비교하는 방법입니다.두 방법 모두 모델을 분석하여 사용 중인 모델링 방법의 결점이나 실제 상황의 잠재적인 잘못된 표현을 찾는 데 도움이 될 수 있는 방법입니다.

감사

검사는 개념 모델이 실행 가능 모델과 얼마나 정확하게 일치하는지 비교하는 데 사용되는 검증 방법입니다.전문가, 개발자 및 테스터 팀은 원래 개념 모델의 콘텐츠(알고리즘, 프로그래밍 코드, 문서, 방정식)를 철저히 스캔하여 실행 가능한 모델이 얼마나 일치하는지 확인하기 ^[1]위해 적절한 상대 모델과 비교합니다.이 검증 방법의 주요 목적 중 하나는 어떤 원래 목표가 간과되었는지 확인하는 것입니다.모델을 검사함으로써 팀은 간과되었을 수 있는 문제를 파악할 수 있을 뿐만 아니라 프로젝트 ^[3]후반에 문제가 될 수 있는 잠재적 결함을 파악할 수 있습니다.

사용 가능한 자원에 따라 검사팀의 구성원은 모델 제작팀의 일원이 될 수도 있고 아닐 수도 있습니다.바람직하게는 별개의 그룹이지만, 같은 그룹 멤버라면, 그룹 멤버는 이미 생산의 관점에서 프로젝트를 검토하는 데 시간을 할애하고 있기 때문에 간과될 수 있습니다.또한 검사는 특별 또는 고도로 구성될 수 있다는 점에서 더욱 유연하며 검사팀 구성원은 모델레이터, 리더, 레코더 등의 특정 역할과 검사에 사용되는 특정 절차 단계를 할당받습니다.검사관의 목표는 개념 모델과 실행 모델 ^[1][4]사이의 결함을 찾아 문서화하는 것입니다.

얼굴 검증

얼굴 검증의 이점 중 하나는 사용자와 시뮬레이션 간의 상호작용이 우선인 실시간 가상 시뮬레이션 중에 효과적으로 사용할 수 있다는 것입니다.이러한 유형의 모델은 사용자의 입력 또는 상호작용이 필요하므로 이러한 유형의 시뮬레이션에서 효과적입니다.모델이 기준을 충족하는지 검증하는 가장 좋은 방법은 실제 모델 상황을 경험한 사용자에게 모델이 익숙한 상황을 정확하게 나타내는지 확인하는 것입니다.이 상황을 잘 알고 있는 사용자는 개발자가 알지 못하는 수정이 필요하다는 것을 알게 됩니다.이러한 유형의 검증은 효과적이며 가상 시뮬레이션에 가장 적합합니다.또한 테스트 일정이 짧거나 분석 가능한 정량적 결과를 내기 어려운 모델 검증에도 사용됩니다.양적 결과가 바람직한 결과여야 하지만 전문가의 확실한 검증 설명도 받아들일 ^[1]수 있다.

얼굴 검증의 예

• 조종 입력에 대한 비행 시뮬레이터 응답의 정확성은 숙련된 조종사가 일련의 ^[1]기동을 통해 시뮬레이터를 비행하도록 함으로써 평가할 수 있다.
• 사용자 입력에 대한 포커봇 시뮬레이터의 응답 정밀도를 분석하여 A가 존재하는지 확인합니다.나는 논리적으로 ^{[citation needed]}반응하고 있다.
• 군인에게 ^{[citation needed]}전투 상황을 시뮬레이션한 모델을 테스트하게 하는 것.

회계 감사

감사는 모델이 설정된 지침과 얼마나 잘 일치하는지 확인하는 데 사용됩니다.감사 내역이 있는 경우 모델의 오류를 원래 소스로 추적하여 쉽게 찾고 수정할 수 있어야 합니다.감사는 회의를 통해 실시되며 감사 추적에 따라 ^[5]문제가 없는지 확인합니다.

감사의 예

감사의 가장 일반적인 적용은 시민이 "감사"되었을 때 볼 수 있다.이것은 논의된 모델링 및 시뮬레이션 방법에는 직접 적용되지 않지만 ^{[citation needed]}프로세스를 설명합니다.

워크스루

현장검증이란 검토하도록 설정된 모델 또는 문서를 담당하는 작성자와의 일정된 미팅입니다.저자와 더불어 모델 분석을 지원하는 상급 기술 직원과 비즈니스 직원 그룹이 있습니다.통상, 회의의 진행을 담당하는 퍼실리테이터도 있습니다.공식 회의 전에 작성자는 문서 또는 모델에 잠재적인 외관상의 오류가 없는지 확인합니다.이 검토 후 회의 참석자에게 전달되므로 회의 전에 모순이 없는지 철저히 검토할 수 있습니다.청중은, 그 분야의 전문 지식이나 시스템에 관한 지식을 기초로, 질문이나 우려 사항에 응할 수 있습니다.이 자리에서 저자는 청중에게 문서를 발표하고 그 방법과 결과를 설명할 것이다.진행자는 이 시점에서 청중의 질문을 제시할 책임이 있습니다.퍼실리테이터는 회의 구성을 주도할 뿐만 아니라 나중에 ^[3][4]재분석해야 할 나머지 문제를 메모합니다.

워크스루의 예

• 출판을 ^{[citation needed]}위해 제출하기 전에 내용을 검토하기 위해 앉아 있는 서면 저작물 작성자.
• 최종 제품이 고객의 ^{[citation needed]}승인을 받기 전에 제품을 검토하는 소프트웨어 개발 팀.

검토

검토팀은 경영진을 포함한다는 점을 제외하고는 현장조사 또는 점검과 유사하다.검토는 시뮬레이션 개발이 모든 개념 목표를 포함한다는 것을 경영진에게 확실히 하기 위한 목적으로 지침과 규격의 적용 범위를 포함한 전체 모델 프로세스의 개요입니다.단순한 기술적 검토 이상의 초점을 두고 있기 때문에 높은 수준의 방법으로 간주됩니다.실사 프로세스와 마찬가지로 검토 프로세스에는 회의 ^{[citation needed]}전에 제출되는 문서가 있어야 합니다.

요점은 V&V 에이전트를 통해 강조 표시됩니다.잠재적인 문제와 권장사항은 검토 결과 회의 중에 기록됩니다.이러한 결과를 바탕으로 작성된 요점에 대처하기 위한 조치가 취해지고, 결함이 처리되며, 권장 사항이 ^[4][6]고려됩니다.

데스크 체크

데스크 체크는 불일치를 발견하기 위해 모델을 신중하게 검토하는 작성자로 구성됩니다.검증의 주된 책임이 모델 작성자에게 있는 유일한 기술입니다.저자는 모든 원본 문서, 노트, 목표를 철저히 읽고 완성된 제품이 의도한 모든 것을 정확하고 완벽하게 모델화하는지 확인하려고 한다.이 시기는 또한 불완전한 부분을 포착하고 수정해야 할 시기이기도 하다.책임은 저자에게 있지만 다른 사람의 도움이 배제되는 것은 아니다.데스크 체크는 논의된 비공식적인 방법 중 가장 덜 공식적인 방법이지만, 오류를 포착하고 모델을 ^[3][7]검증하고 검증하는 데 있어 효과적인 첫 번째 방어 수단이 되는 경우가 많습니다.

데스크 체크의 예

소프트웨어를 개발하는 모든 프로그래머는 데스크 체크라고 알려진 비공식 검증 방법에 참여합니다.개발 중인 소프트웨어의 디버깅은 데스크 체크의 한 형태입니다.개발자는 중단점을 설정하거나 모델의 출력을 확인하여 개념 ^{[citation needed]}모델에서 개발된 알고리즘과 일치하는지 확인합니다.

튜링 테스트

튜링 테스트는 1950년대 영국의 수학자 앨런 튜링에 의해 개발된 비공식 검증 방법인데, 그 근본은 인간이 주어진 상황에서 다른 인간이 어떻게 반응할지에 대해 "전문가"로 보일 수 있기 때문에 얼굴 검증의 특별한 형태이다.특히, 이 모델은 인간의 행동을 모델링하려는 상황을 모델링하는 데 가장 적합합니다.이 검증 방법은 인간의 의사결정에 영향을 미치는 요인들과 다른 사람들 사이의 높은 편차를 설명하기 위해 고도로 계산하려고 하는 대신, 출력 데이터가 어떤 소스로부터 오는지 알지 못하는 다른 인간들에게 모델이 어떻게 보이는지에 초점을 맞춘다. 즉, 다른 인간 또는 모델이다.튜링 테스트는 우연 이상의 비율로 출력이 ^[1]모델링되는 상황에서 인간의 행동에 대한 예상 출력과 일치하는지 여부를 비교하는 것에 기초한다.

"인간 행동 모델의 검증에 적용되었을 때, 모델은 튜링 테스트를 통과했다고 하며, 따라서 전문가 관찰자가 모델 생성과 인간 생성 행동을 확실하게 구별할 수 없다면 유효하다.평가되고 있는 시스템 생성 행동의 특성은 인간 생성 행동과 구별할 수 없는 정도이기 때문에, 이 테스트는 알고리즘적으로 생성된 행동의 현실성의 평가와, 아마도 튜링의 원래 제안보다 더 직접적으로 관련이 있을 것이다."^[1]

튜링 테스트의 예

• Cleverbot은 질문에 응답하고 답변을 통해 학습함으로써 사람들과 소통하는 애플리케이션입니다.Cleverbot 테스트는 튜링 테스트를 사용하는 것이 가장 좋습니다.봇과 상호작용을 함으로써 사용자는 그것이 실제로 그들에게 반응하는 코드인지 아니면 다른 ^{[citation needed]}인간인지 구별할 수 있는지 여부를 분석할 수 있다.
• 포커 전략 알고리즘은 초보자와 포커봇을 구분하지 못할 정도로 개발됐다.기본적인 포커 전략은 그다지 복잡하지 않지만 고급 전략을 완전히 아우르기 위해 한 단계 더 나아가는 것은 아직 ^{[citation needed]}도달하지 못했다.

레퍼런스