软件度量验证

验证软件系统的度量涉及两个步骤：

• 验证度量系统
• 验证预测系统

验证度量系统

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

验证软件度量系统是通过证明表示条件得到满足来确保度量是对声称属性的适当数值表征的过程。

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

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

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

m(P1) > m(P2)

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

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

验证预测系统

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

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

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

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