软件测量验证

验证软件系统的测量包括两个步骤 –

验证测量系统

度量或度量系统用于通过数字表征现有实体的一个或多个属性来评估现有实体。如果一个度量准确地描述了它声称要度量的属性，那么它就是有效的。

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

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

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

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

米(P1) > 米(P2)

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

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

预测系统用于预测未来实体的某些属性，包括具有相关预测程序的数学模型。

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

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

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