📜  软件度量验证

📅  最后修改于: 2020-12-04 08:00:17             🧑  作者: Mango


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

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

验证测量系统

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

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

为了验证度量系统,我们既需要描述实体的形式模型,又需要保留要度量的属性的数字映射。例如,如果有两个程序P1和P2,并且我们想将这些程序连接起来,那么我们期望长度为m的任何长度都可以满足该要求,

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

如果程序P1的长度大于程序P2的长度,则任何小节m也应满足,

m(P1)> m(P2)

程序的长度可以通过对代码行进行计数来测量。如果此计数满足上述关系,则可以说代码行是长度的有效度量。

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

验证预测系统

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

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

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

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