博文
软件可靠性简论110804
|||
此文是对闵老文章《容错计算技术的应用》的评论，行文如下：
软件可靠性工程研究对于改善软件可靠性方面是至关重要的，但现在软件行业规范意识比较差，产品交付质 量难以保证，一般软件制品生产对可靠性要求很难量度，一般测试很难发现问题。更谈不上程序验证，无法达到充分的可信性，大型程序系统验证更是浩大工程。特 种软件系统一定要进行模型检验与证明（尽可量进行），建立符合领域特种软件验证的模型系统，逐步实践，逐步完善。特种软件开发模式与一般系统要有严格不同 的模式与流程，保障可靠性。国内这方面的基础研究比较薄弱。要用工程的视角看待软件可靠性问题，要用科学的视角看待软件可靠性基础理论研究问题。一般可靠 性理论可作为软件可靠性研究的理论基石，不能套用硬件可靠性来研究软件可靠性问题。
https://blog.sciencenet.cn/blog-89075-471852.html
上一篇：华为为列控系统提供GSM-R 方案
下一篇：软件驱动世界，安全威胁世界110809
软件可靠性工程研究对于改善软件可靠性方面是至关重要的，但现在软件行业规范意识比较差，产品交付质 量难以保证，一般软件制品生产对可靠性要求很难量度，一般测试很难发现问题。更谈不上程序验证，无法达到充分的可信性，大型程序系统验证更是浩大工程。特 种软件系统一定要进行模型检验与证明（尽可量进行），建立符合领域特种软件验证的模型系统，逐步实践，逐步完善。特种软件开发模式与一般系统要有严格不同 的模式与流程，保障可靠性。国内这方面的基础研究比较薄弱。要用工程的视角看待软件可靠性问题，要用科学的视角看待软件可靠性基础理论研究问题。一般可靠 性理论可作为软件可靠性研究的理论基石，不能套用硬件可靠性来研究软件可靠性问题。
https://blog.sciencenet.cn/blog-89075-471852.html
上一篇：华为为列控系统提供GSM-R 方案
下一篇：软件驱动世界，安全威胁世界110809
