对于分布式软件可靠性研究,在最初阶段,人们只是借鉴一般软件可靠性评估的基本理论和方法。随着软件可靠性评估技术的发展,形成了许多关于分布式软件可靠性评估的理论和方法,其中大部分是基于图论,利用K-端点网络因式分解定理进行评估。这种评估方法虽然经过理论分析和推导,具有一定的合理性,但是因其只考虑了分布式软件可靠性单项指标,没有综合分析分布式软件的其它性能对可靠性的影响,因此,在实际应用方面具有一定的局限性。针对上述局限性,“具有时间约束的分布式软件可靠性评估研究”以分布式软件的可靠性模型为基础,将精简和深度优先两种方法有机结合,引入时间约束因子,对分布式软件可靠性进行理论分析,确定具有时间约束的分布式软件可靠性评估的理论方法。在此基础上,推导出Degree-1精简算法、Series精简算法、新的文件生成树生成算法、文件传输路径生成算法以及响应时间评估算法。在使用这一系列算法之前,首先对分布式系统进行形式化描述,形成分布式系统示意图,为算法提供运用环境。根据节点上可用的数据文件和节点的度数,Degree-1精简算法和Series精简算法分别对分布式系统示意图进行度1精简和度2精简,降低了评估阶段的复杂度;在精简的分布式系统示意图中,运用新的文件生成树生成算法,生成执行程序的所有文件生成树,以便确定数据文件的所有传输路径;在每一个文件生成树中,运用文件传输路径生成算法,生成数据文件的所有传输路径,为确定数据文件的传输时间创造条件;在数据文件的传输路径中,运用响应时间评估算法,对数据文件的传输时间进行评估,从而确定文件生成树的状态;根据文件生成树的状态和状态变迁情况,运用Markov模型,对具有时间约束的分布式软件的可靠性进行评估。为了验证具有时间约束的分布式软件可靠性评估算法的性能,通过理论分析和软件模拟两种方式对可靠性进行评估。其中软件模拟通过可靠性评估模拟器实现,模拟器自动生成具有时间约束的分布式软件并对其可靠性进行评估。评估结果表明,上述算法具有较好的合理性、可行性和准确性。