| 在数据模型下，对于一个预先确定的输入环境，软件的可靠度定义为在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）。
|
|
|
