소프트웨어 측정 검증

소프트웨어 시스템의 측정을 검증하는 데는 두 단계가 있습니다.

측정 시스템 검증

측정 또는 측정 시스템은 하나 이상의 속성을 수치 적으로 특성화하여 기존 엔티티를 평가하는 데 사용됩니다. 측정이라고 주장하는 특성을 정확하게 특성화하면 측정이 유효합니다.

소프트웨어 측정 시스템을 검증하는 것은 표현 조건이 충족되었음을 보여줌으로써 측정이 청구 된 속성의 적절한 숫자 특성인지 확인하는 프로세스입니다.

측정 시스템을 검증하려면 엔티티를 설명하는 공식 모델과 측정중인 속성을 보존하는 수치 매핑이 모두 필요합니다. 예를 들어 두 개의 프로그램 P1과 P2가 있고 이러한 프로그램을 연결하려는 경우 어떤 측정 값이든m 그것을 만족시키기 위해 길이의

m (P1 + P2) = m (P1) + m (P2)

프로그램이 P1 프로그램보다 길이가 더 깁니다. P2, 모든 측정 m 만족해야합니다.

m (P1)> m (P2)

프로그램의 길이는 코드 줄을 세어 측정 할 수 있습니다. 이 개수가 위의 관계를 충족하면 코드 줄이 길이의 유효한 척도라고 말할 수 있습니다.

측정을 검증하기위한 공식적인 요구 사항은 측정 이론의 의미에서 명시된 속성을 특성화한다는 것을 입증하는 것입니다. 유효성 검사를 사용하여 측정기가 적절하게 정의되고 엔티티의 실제 행동과 일치하는지 확인할 수 있습니다.

예측 시스템은 관련 예측 절차와 함께 수학적 모델을 포함하는 미래 엔티티의 일부 속성을 예측하는 데 사용됩니다.

주어진 환경에서 예측 시스템을 검증하는 것은 경험적 수단, 즉 주어진 환경에서 알려진 데이터와 모델 성능을 비교하여 예측 시스템의 정확도를 설정하는 프로세스입니다. 여기에는 실험과 가설 테스트가 포함됩니다.

검증에 허용되는 정확도는 예측 시스템이 결정론 적인지 확률 적인지 여부와 평가를 수행하는 사람에 따라 다릅니다. 일부 확률 적 예측 시스템은 다른 시스템보다 더 확률 적입니다.

확률 적 예측 시스템의 예로는 소프트웨어 비용 추정, 노력 추정, 일정 추정 등과 같은 시스템이 있습니다. 따라서 예측 시스템을 공식적으로 검증하려면 그것이 얼마나 확률 적인지 결정한 다음 예측 시스템의 성능을 알려진 데이터와 비교해야합니다.