摘要
计算机软件可靠性估计是当今研究的重要问题之一。基于有限Markov链理论 ,形式化的描述了软件统计测试方法 ,提出了一种软件的可靠度估计及其近似置信下限估计方法 ,并分别对特殊的分支和序列两类软件系统进行了具体研究。
The software reliability estimate of computer is nowadays the one of the important problems that study. The paper describes the progress of the statistical test formally, based on the finite Markov chain theories, presents a kind of way to valuate software reliability and its approximate confidence interval , and furthermore,special branching and sequential systems are studied in detail.
出处
《舰船电子工程》
2004年第4期124-127,共4页
Ship Electronic Engineering
关键词
MARKOV链
统计测试
使用链
评估
置信下限
Markov Chains
statistical testing
usage model
valuation
confidence inferior limit
