软件可靠性的不确定性研究

软件的云模型和云进化策略，基于云模型的可靠性评估，基于markov测试方法的软件可靠性分析，考虑多种不确定因素的可靠性评估。

软件可靠性、安全性与质量保证

本书主要介绍了软件质量及可靠性的基本概念、软件的可靠性设计、软件测试、软件可靠性预计模型、软件系统安全性分析、以及软件的质量保证等内容。 ...

计算机系统硬件软件可靠性理论及其应用

本书包括可靠性的基本概念及数量特征；数学模型与分析；检错和纠错码理论与应用；系统的可靠性设计与维修性设计，硬件的结构设计、故障诊断等。 ...

软件可靠性概论

随着软件规模日益庞大、软件应用领域空前广泛，社会对软件的依赖程度及其紧密。同时，软件的运行异常给人们生产、生活等各个方面造成严重威胁成为迫切需要解决的问题。软件可靠性是软件质量的重要内容，本书基于...

软件可靠性方法

本书通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。紧紧围绕逻辑和自动机理论这条主线，书中比较了这些方法的不同之处，并讨论了它们...

持续交付 发布可靠软件的系统方法

基于可靠性的海洋机器人软件建模方法及仿真

本书的主要内容是首先通过本体将UML模型和Petri网模型相结合，提出了一种海洋机器人运动控制系统软件体系结构的描述模型，然后利用该模型进行控制系统软件的容错设计，并在此模型的基础上进行控制系统的软件可靠...

高中压配电网可靠性评估 实用模型、方法、软件和应用

本书主要内容基于作者多年的研究成果，同时也参考了国内外业内有关专家的文献，主要包括：基于虚拟网络和元件分类的故障范围计算机搜索混合方法、多重故障对配电网可靠性评估的影响分析、复杂中压配电网可靠性快...

系统软件可靠性

本书共分11章，第1章简介了系统软件可靠性及其相关术语；第2章讨论了软件可靠性工程以及包括马尔科夫过程、更新过程等在内的随机过程的相关概念；第3章描述了评估理论、常见的评估技术以及置信区间估计；第4章阐述...

网构软件可靠性技术研究

网构软件作为一种新的软件应用模式，它构建和运行在开放、动态的计算机网络上，将是软件系统未来的一种重要发展方向，其可靠性研究受到了重视，在很多领域也开展了有益探索。针对网构软件可靠性，本书主要研究了网构...