发明名称 一种软件可靠性加速测试与评估方法及其计算机辅助工具
摘要 本发明提出一种基于畸化操作剖面的软件可靠性加速测试与评估方法及其计算机辅助工具,属于软件可靠性工程领域。所述方法提出构建一种畸化操作剖面,基于该剖面对被测软件进行软件可靠性增长与验证加速测试与评估。所述工具通过传统操作剖面构造模块构造传统操作剖面,进一步通过畸化操作剖面构造模块构造畸化操作剖面,根据用户选择执行可靠性验证加速测试模块和可靠性增长加速测试模块,由测试用例自动生成模块进行测试中的用例生成。本发明实现了畸化操作剖面与传统Musa操作剖面之间的可靠性参数的无偏估计,具有较好的测试效率,相比传统测试方法,测试时间短,测试结果也准确,便于工程人员的理解和实际操作。
申请公布号 CN102360332A 申请公布日期 2012.02.22
申请号 CN201110314538.6 申请日期 2011.10.17
申请人 北京航空航天大学 发明人 李秋英;陆民燕;王健;罗磊
分类号 G06F11/36(2006.01)I 主分类号 G06F11/36(2006.01)I
代理机构 北京永创新实专利事务所 11121 代理人 周长琪
主权项 一种畸化操作剖面的构建方法,其特征在于,所述畸化操作剖面有两种实现方法:(1)方法1:首先确定普通操作和关键操作在畸化操作剖面的发生概率,具体是:将普通操作的发生概率置为0,关键操作的发生概率依据下面式子得到: <mrow> <msubsup> <mi>pc</mi> <mi>i</mi> <mo>&prime;</mo> </msubsup> <mo>=</mo> <mfrac> <msub> <mi>pc</mi> <mi>i</mi> </msub> <mrow> <msub> <mi>pc</mi> <mn>1</mn> </msub> <mo>+</mo> <msub> <mi>pc</mi> <mn>2</mn> </msub> <mo>+</mo> <mo>.</mo> <mo>.</mo> <mo>.</mo> <mo>+</mo> <msub> <mi>pc</mi> <mi>k</mi> </msub> </mrow> </mfrac> <mo>-</mo> <mo>-</mo> <mo>-</mo> <mrow> <mo>(</mo> <mn>1</mn> <mo>)</mo> </mrow> </mrow>其中,pci代表第i个关键操作在传统操作剖面上的发生概率,k代表关键操作的个数,pc′i代表第i个关键操作在畸化操作剖面上的发生概率,将各关键操作在传统操作剖面上的发生概率之和pc1+pc2+…+pck作为整个畸化操作剖面加速因子,各关键操作的加速因子和整个畸化操作剖面的加速因子相同;所述的关键操作是指需要重点测试的操作,所述的普通操作是指不需要重点测试的操作;(2)方法2:利用操作发生概率值对所有操作的发生概率值进行大小翻转,则第i个操作在畸化操作剖面上的发生概率为: <mrow> <msubsup> <mi>p</mi> <mi>i</mi> <mo>&prime;</mo> </msubsup> <mo>=</mo> <mfrac> <mrow> <msub> <mi>p</mi> <mi>max</mi> </msub> <mo>-</mo> <msub> <mi>p</mi> <mi>i</mi> </msub> </mrow> <mrow> <munderover> <mi>&Sigma;</mi> <mrow> <mi>i</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>n</mi> </munderover> <mrow> <mo>(</mo> <msub> <mi>p</mi> <mi>max</mi> </msub> <mo>-</mo> <msub> <mi>p</mi> <mi>i</mi> </msub> <mo>)</mo> </mrow> </mrow> </mfrac> <mo>-</mo> <mo>-</mo> <mo>-</mo> <mrow> <mo>(</mo> <mn>2</mn> <mo>)</mo> </mrow> </mrow>则整个畸化操作剖面的加速因子Λ为: <mrow> <mi>&Lambda;</mi> <mo>=</mo> <mfrac> <mn>1</mn> <mrow> <munderover> <mi>&Sigma;</mi> <mrow> <mi>i</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>n</mi> </munderover> <mfrac> <msubsup> <mi>p</mi> <mi>i</mi> <mrow> <mo>&prime;</mo> <mn>2</mn> </mrow> </msubsup> <msub> <mi>p</mi> <mi>i</mi> </msub> </mfrac> </mrow> </mfrac> <mo>-</mo> <mo>-</mo> <mo>-</mo> <mrow> <mo>(</mo> <mn>3</mn> <mo>)</mo> </mrow> </mrow>第i个关键操作的加速因子Λi为: <mrow> <msub> <mi>&Lambda;</mi> <mi>i</mi> </msub> <mo>=</mo> <msub> <mi>p</mi> <mi>i</mi> </msub> <mfrac> <mrow> <munderover> <mi>&Sigma;</mi> <mrow> <mi>i</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>n</mi> </munderover> <mrow> <mo>(</mo> <msub> <mi>p</mi> <mi>max</mi> </msub> <mo>-</mo> <msub> <mi>p</mi> <mi>i</mi> </msub> <mo>)</mo> </mrow> </mrow> <mrow> <msub> <mi>p</mi> <mi>max</mi> </msub> <mo>-</mo> <msub> <mi>p</mi> <mi>i</mi> </msub> </mrow> </mfrac> <mo>-</mo> <mo>-</mo> <mo>-</mo> <mrow> <mo>(</mo> <mn>4</mn> <mo>)</mo> </mrow> </mrow>其中,n表示操作的总个数,pmax代表传统操作剖面中所有操作之中最大的发生概率,pi代表第i个操作在传统操作剖面上的发生概率,p′i代表第i个操作在畸化操作剖面上的发生概率。
地址 100191 北京市海淀区学院路37号