3.2 模型相关性的证明 　　为了进一步验证测试模型的独立性，引入皮尔逊模型来验证模型在时间上的独立性，利用统计学中皮尔逊模型计算相关度，该相关系数是判断两组数据与某一直线拟合程度的一种度量.它以用户为坐标轴，将评价的物品绘制到图上.如果两位用户的评价情况相同，那么这条直线将成为对角线.公式如下： 　　若根据实际测试情况，若根据数据计算出的皮尔逊相关系数大于0.3,则表示相关.反之，则无关，即：两两某时段失效数概率. 　　在实际的软件测试过程中，是分阶段进行的，如：静态测试.单元测试.

摘要： 本文在航空电子系统软件测试的背景上，对ARINC653 平台燃油模块在Testbed 测试平台上的测试用例进行统计，得出实际测试案例分布服从特殊泊松的数学特征据此，根据软件测试的时间依赖性提出一种新的可靠性评估模型ISTREM,并且求得软件测试用例的失效率，从而对软件进行可靠性评估，解决了软件测试可靠性评估过程复杂且计算量较大并且忽略时间依赖性的问题最后，在Matlab 平台上对软件系统（燃油模块）的测试可靠性进行评估，得出实验结果，并且提出不足 　　1?引言随着软件行业的快速发展，软

3.2 模型相关性的证明 　　为了进一步验证测试模型的独立性，引入皮尔逊模型来验证模型在时间上的独立性，利用统计学中皮尔逊模型计算相关度，该相关系数是判断两组数据与某一直线拟合程度的一种度量.它以用户为坐标轴，将评价的物品绘制到图上.如果两位用户的评价情况相同，那么这条直线将成为对角线.公式如下： 　　若根据实际测试情况，若根据数据计算出的皮尔逊相关系数大于0.3,则表示相关.反之，则无关，即：两两某时段失效数概率. 　　在实际的软件测试过程中，是分阶段进行的，如：静态测试.单元测试.

摘要： 本文在航空电子系统软件测试的背景上，对ARINC653 平台燃油模块在TeSTbed 测试平台上的测试用例进行统计，得出实际测试分布服从特殊泊松的数学特征据此，根据软件测试的时间依赖性提出一种新的可靠性评估模型ISTREM,并且求得软件测试用例的失效率，从而对软件进行可靠性评估，解决了软件测试可靠性评估过程复杂且计算量较大并且忽略时间依赖性的问题，在Matlab 平台上对软件系统（燃油模块）的测试可靠性进行评估，得出实验结果，并且提出不足 　　1?引言随着软件行业的快速发展，软件开发各