软件观点与度量方法探讨.pdfVIP

建立“质量观点与度量方法”

软件工程师和学生们，往往看重的是软件能否做出来，而忽略软件质量因素。由此导致，

虽然能做出软件，但却得不到市场和用户的认可。没有质量的软件系统或产品是没有用处的！

问题的关键是：对质量都会走，即，好，或不好！这不是工程师的原

则，工程师往往给出的是折衷的解决方案，因为受到时间、等的。而数学家会给出

最完美的定理要么成立，要么不成了！

把学生从理科思维转变为工程思维是的，因为学生习惯于要求。近

似的、工程上满足的观点有妥协和不完美的感觉。“软件质量”一课要解决这些问题。

1.程序类型划分

大多数学生会认为：计算机程序总是对的，或者，应当能找到一个理论方法证明“程序

是对的”。现实世界是的。我们无法证明“任意一个程序是正确的，除非该程序是可被

证明的”，程序的正确性证明是一个NP问题。

软件产业中见到的大部分程序是E和P型的，也是软件工程师所的主要问题。ZD、