验证软件系统的测量包括两步 :
验证测量系统
验证预测系统
验证测量系统
测量或测量系统用于评估现有系统实体通过数字表征其一个或多个属性.如果度量准确地表征了它声称要测量的属性,则该度量是有效的.
验证软件测量系统是通过显示确保度量是所声明属性的正确数值表征的过程.表示条件得到满足.
为了验证测量系统,我们既需要描述实体的形式模型,也需要保留我们正在测量的属性的数值映射.例如,如果有两个程序P1和P2,并且我们想要连接这些程序,那么我们希望任何长度 m 来满足该程序,
m(P1 + P2)= m(P1)+ m(P2)
如果程序 P1 的长度大于程序 P2 ,那么任何度量 m 也应该满足,
m(P1)> m(P2)
可以通过计算代码行来测量程序的长度.如果此计数满足上述关系,我们可以说代码行是长度的有效度量.
验证度量的正式要求包括证明它表征所述属性的特征在测量理论的意义上.验证可用于确保正确定义测量器并与实体的实际行为一致.
验证预测系统
预测系统用于预测涉及具有相关预测程序的数学模型的未来实体的某些属性.
在给定环境中验证预测系统是通过以下方式确定预测系统的准确性的过程.经验手段,即通过将模型性能与给定环境中的已知数据进行比较.它涉及实验和假设检验.
验证可接受的准确度取决于预测系统是确定性的还是随机的,以及进行评估的人.一些随机预测系统比其他随机预测系统更随机.
随机预测系统的例子是诸如软件成本估算,努力估计,进度估计等系统.因此,正式验证预测系统,我们必须决定它是如何随机的,然后将预测系统的性能与已知数据进行比较.