怎样计算程序的可靠性
看到这个问题，我想到了之前看过有关四色定理证明的一些细节。四色定理应该是最有名的机器证明例子之一。当时的部分数学家还不太接受计算机程序证明数学定理的方式，为了更严格验证证明的正确性，使用了一个叫做Coq的证明验证程序。维基百科四色定理词条有这样一句描述Coq：证明验证程序是一个由法国开发的软件，能够从逻辑上验证一段电脑程序是否正常运行，并且是否达到了它应该达到的逻辑目的。当时对这个Coq的原理十分好奇，查阅了一些资料，这里讲得比较详细：http://www.guokr.com/blog/22921/另外，个人看法，程序中的每一条语句都是严格的数学语句，只要定义一套“可靠性”的标准，当然就能公式化地分析每一条语句逻辑上是否达到了目标，或者有多大的正确概率，从而分析出整个程序的可靠性。
■网友
请找关于软件可靠性的相关知识，有这样一个领域。
■网友
可靠度、失效率等概念用来描述硬件系统的可用性，软件本质上不存在硬件的失效机理，因此原则上程序（软件）无法计算可靠度。当然也有硬套的，只能参考，价值不大。
推荐阅读
- 聪明人养花，这3种“花”怎样也要养一盆，每年能省不少医药费
- 互联网怎样解决“家政服务上门速度慢”的问题
- 招聘都要学历，何来程序员不看学历
- 银行系统的研发岗(程序员)是不是很难进(校招)推广到国企的研发岗(程序员)呢
- 怎样看待从1月8号起，QQ钱包开始提现收费
- 银行it人怎样转型
- 汽车|冬天怎样让车内温度快速升高？座椅加热的最佳使用方式二，外循环的作用总结
- 怎样进入通信行业
- 怎样评价扶他柠檬茶的小说《云养汉》的结尾
- 有啥方法，网站，项目可以自己练习计算广告学