离散型软件可靠性验证测试方案研究.pdf

第27卷第4期
计算机应用研究
Vol 27 No 4
2010年4月
Application Research of Computers
Apr.2010
离散型软件可靠性验证测试方案研究
姜梦岑,李秋英
(北京航空航天大学工程系统工程系,北京100191)
摘要:目前,国内外相关研究大多集中子以MTBF/MTF等时间相关指标作为可靠性参数的连续型软件,而
对以成功率等非时间相关指标作为可靠性参数的离散型软件的可靠性验证测试研究则比較少见。国此,针对?
种重要的离散型软件可靠性验证刚试方进行译细的分析与比較,并从标准层面上对这三种方案的实施方法与
技术细节进行改进,从而为离散型软件可靠性验证测试的开展与实施提供必要和有效的指导。
关键词:离散型软件;验证测试;软件可靠性;成功率;测试方案
中图分类号:TP311.5
文献标志码:A
文章编号:1001-3695(2010)04-1363-03
doi:10.3969/j-isn.1001-3695.2010.04.042
Research on discrete-type software reliability demonstration testing
JIANG Meng-cen, LI Qiu-ying
(Dept. of Sysem Engineering ofengineering Technology, Beihang niey, Beijing 100191, Chn
Abstract: At present, compared with continuous software(MTBF/MTTF), there are a little fewer researches on the discrete
type software( successes ratio )reliability demon raton t. However, the discrete-type software is also very useful for the
military system, such as missile shoot and control Thus, it is more important to perform software reliability demonstration te-
ting to demonstrate its reliability. This paper analyzed and compared the basic concepts of discrete software reliability demon-
stration testing and three classical testing scheme. It may of er useful guidance for the effective application of discrete software
reliability demonstration testing
Key words: discrete-type software; reliability demonstration testing; software reliability; success ratio; testing scheme
软件可靠性已成为使用方在验收软件时最为关心的指标有不确定性。设x是一个连续随机变量,那么【时刻的软件可
之ー一。国内外在这方面已取得了一系列重要的研究成果。国靠度被定义为(0,1)时间内软件不发生失效的概率,记为
外借鉴硬件可靠性验证测试的一套标准提出了一系列软件R()=Pr{x>T,则软件的平均无失效时间MTIF( mean time
可幕性验证测试方案2、生命周期测试方案"、 Bayesian无失 to failure)为MrmF=ia(D),T时刻软件失效率A(ihro
效验证测试方案;国内则在硬件方面推出了相应标准,而
rate)定义为
在软件方面,文献[6,7]推荐了几种可靠性测试方案。
上述研究所给出的验证测试方法大多只适用于连续型软
件(即可靠性指标为MTBF或失效率),而针对离散型软件(即
d: n R(t)
可靠性指标为成功率)的可靠性验证测试理论和方法则比较
上述定义是针对连续时间域的软件可靠性参数。但在许
少冤,尚不成熟且没有相应的标准。文献[8]指出,针对离散多情况下,则需要考虑离散时间域的可靠性参数?,如弹射
型软件的软件可幕性定量研究也是非常重要的,因为许多安全教生系统、导弹、核电站紧急关机系统中的安全关键软件,或是
关键软件都是离散型软件,如导弹发射控制软件。鉴于此,本银行服务系统中的服务类软件,此时用户关注的往往不是软件
文对离散型软件可靠性验证测试方案进行研究。
在一段时间内发生失效的概率,而是单次使用其成功的可能
性。显然,这类软件的可靠性与时间无关,并非时间的连续型
离散型软件可靠性验证測试相关概念
函数,故会选取成功率作为考察其可靠程度的参数,即单次任
务成功的概率,本文以此类软件作为研究对象。
软件可靠性验证测试一般在软件验收阶段进行,是为验证
离散型软件可靠性验证测试方案中,测试人员将成功率作
在给定的统计置信度下,软件当前的可靠性水平是否满足软件为惟一需要比较的可靠性参数,利用接收/拒收判定准则进行
开发合同、软件开发任务书或软件需求规格说明中的要求而进判断得出结果。侵定软件的操作失效概率为p,即不成功率,
行的测试。
p=1-R,且每次操作都满足贝努利( Bernouli)实验的统计独
飞行控制、任务规划等系统中的软件,会在任务期间连续立性,则认为在n次测试中,出现c次软件失效的概率为二项
使用,使用方关注的是这些系统在连续使用时间内不发生失效分布P(n=c)=Cc(1-P)n-c,这与硬件的可靠性在离散
的能力,通常这类软件的可靠性参数选取为MTBF/MTYF。假时间域下服从二项分布的抽样特性相同,因此借鉴硬件关于成
设软件于t=0时刻开始运行,并于x时刻发生失效。显然x具功率验证测试的标准。目前比较常见且重要的离散型软件可
收稿日期:2009-08-22;修回日期:2009-09-30基金项目:国军标“软件可靠性验证滿试”课题
作者简介:梦岑(1985-),女(满族),黑龙江虎林人,士研究生,主要研究方向为教件可靠性、软件测试(jne02@126.com);李秋美
(1973-),女,属龙江大庆人,讲师,主要研究方向为软件可靠性、软件別试
万方数据