计算机软件可靠性问题 |
| |
引用本文: | 孙敬一.计算机软件可靠性问题[J].海军工程大学学报,1981(1). |
| |
作者姓名: | 孙敬一 |
| |
摘 要: | 本文举例说明了软件可靠性问题的重要性。简要地叙述了计算机软件可靠性技术研究中的三个中心问题:软件试验、程序正确性证明和结构程序设计。软件试验是当今世界上解决软件不可靠问题的主要手段。按试验的目的、对象和方法的不同,对软件试验进行了归纳分类。程序正确性证明是用数学方法,寻找程序逻辑错误的一个途经。文中从最基本的概念出发,用简单的例子,阐明证明程序正确性所应遵循的法则及证明的步骤和方法。但是以上两种技术均不能保证程序正确,所以解决软件可靠性间题的关键是结构程序设计。从设计方法、设计语言及设计的组织形式彻底革命,才能真正解决软件可靠性问题。但这三个方面是相辅相成,互相促进的。
|
本文献已被 CNKI 等数据库收录! |
|