软件测量验证

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

验证测量系统

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

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

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

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

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

m(P1) > m(P2)

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

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

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

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

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

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