论文部分内容阅读
净室(cleanroom)软件工程是一种应用数学和统计学方法以经济有效的方式开发高质量软件的工程技术。净室软件提出的基于使用模型的统计测试，是统计方法在软件测试上的一种应用。借助马可大模型分析，作者在厦门某银行的凭证管理系统的设计中，采用的Discriminant值对使用链和测试链进行定量分析，结果表明该算子具有良好的验证效率，证明了测试用例的充分性。