|
|
知识路径： > 安全性与可靠性技术 > 系统可靠性 >
|
|
相关知识点：2个
|
|
|
|
|
在数据模型下，对于一个预先确定的输入环境，软件的可靠度定义为在n次连续运行中软件完成指定任务的概率。其基本方法如下：
|
|
|
|
设需求说明所规定的功能为F，而程序实现的功能为F'，预先确定的输入集为E={ei:i=1，2，…，n｝，令导致软件差错的所有输入的集合为Ee，即Ee={ej:ej∈EandF'（ej）≠F（ej）｝，则软件运行一次出现差错的概率为：
|
|
|
|
|
|
|
|
在上述讨论中，假设所有输入出现的概率相等。如果不相等，且ei出现的概率为pi（i=1，2，…，n），则软件运行一次出现差错的概率为：
|
|
|
|
|
|
|
|
|
|
于是，软件的可靠度（n次运行不出现差错的概率）为：
|
|
|
|
|
|
显然，只要知道每次运行的时间，上述数据模型中的R（n）就很容易转换成时间模型中的R（t）。
|
|
|
