보증 모델

최대 가능성 예측, 수치 모델, 신뢰 구간을 토대로 추정을 내린다. 따라서 반드시 모델의 정합성을 평가해야 한다. 검증에는 모델을 과거 데이터에 적용해 보고, 실제 데이터와 모델이 예측한 값을 비교하는 과정이 포함된다. 모델에서 얻은 데이터는 메트릭으로 사용해야 하며, 다른 모델의 입력 값으로 사용할 수 있어야 한다.

보안-자물쇠
보안

보증 모델링은 시스템을 위한 신뢰 단계의 정량적인 예측 값을 제공한다. 시스템의 가용성과 신뢰성을 예측하는 모델은 내부 에러 개수와 에러 생성, 가동 시간을 포함한 에러 모델, 소프트웨어 에러 보고까지 걸리는 시간 예측을 포함한다. 소프트웨어 에러 탐지 모델은 시스템 디버깅 상태를 특징으로 한다. 여기에는 시스템 운영 시 주어진 시간에 수정되는 소프트웨어 에러가 발생 가능한 개수와 에러 내용이 적은 프로그램 개발 방법 및 프로그램 복잡성 측정 개발 방법 같은 우려를 포함한다.


내부 프로그램 구조 모델에는 통과한 경로(모듈)의 개수, 경로를 통과한 횟수, 실패 가능성 뿐만 아니라 모든 프로그램 경로 실행에 필요할 수도 있는 자동화된 테스트에 대한 조언도 포함된다. 테스팅 효과성 모델 및 기술은 모든 프로그램 경로 실행에 필요한 테스트 개수와 통계적 테스트 모델에 대한 추정 값을 제공한다. 소프트웨어 관리 및 조직 차원의 구조 모델은 프로세스 성능을 위한 통계 수치를 포함한다. 이러한 모델은 에러 발생 가능성과 프로그램 테스팅 프로세스, 에러 증가를 야기하는 디버깅 습관과 에러 발생 가능성 사이의 수학적 연관성을 찾아낼 수 있다.


일반적으로 보증은 실패를 대상으로 판단하며, 소프트웨어 보증을 위한 측정 모델을 사용 하려면 특정 측정 환경에서 무엇이 '실패'로 이어지는지에 대한 포괄적이고 종합적인 정의가 필요하다.

  • 네이버 블러그 공유하기
  • 네이버 밴드에 공유하기
  • 페이스북 공유하기
  • 카카오스토리 공유하기