软件测量验证

验证软件系统的测量涉及两个步骤 −

验证测量系统

测量或测量系统用于通过数字表征现有实体的一个或多个属性来评估现有实体。如果测量准确地表征了其声称要测量的属性，则该测量有效。

验证软件测量系统是通过显示表示条件得到满足来确保测量是所声称属性的正确数字表征的过程。

为了验证测量系统，我们需要一个描述实体的正式模型和一个保留我们正在测量的属性的数字映射。例如，如果有两个程序 P1 和 P2，并且我们想要连接这两个程序，那么我们期望任何长度为 m 的度量都满足这一点，

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

如果程序 P1 的长度大于程序 P2，那么任何度量 m 也应该满足，

m(P1) > m(P2)

程序的长度可以通过计算代码行数来测量。如果此计数满足上述关系，我们可以说代码行是长度的有效度量。

验证度量的正式要求包括证明它在测量理论意义上表征所述属性。验证可用于确保测量器定义正确并与实体的现实世界行为一致。

预测系统用于预测涉及数学模型和相关预测程序的未来实体的某些属性。

在给定环境中验证预测系统是通过经验方法确定预测系统准确性的过程，即通过将模型性能与给定环境中的已知数据进行比较。它涉及实验和假设检验。

验证可接受的准确度取决于预测系统是确定性的还是随机的，以及进行评估的人。一些随机预测系统比其他系统更具随机性。

随机预测系统的例子有软件成本估算、工作量估算、进度估算等系统。因此，要正式验证一个预测系统，我们必须确定它的随机性，然后将预测系统的性能与已知数据进行比较。