问题
单项选择题
Bowen和Hinchley提出的“形式化方法的十条戒律”，可作为想应用这一重要的软件工程方法的人们的行动指南。以下关于形式化方法的描述中，错误的是______。
A．应该选择合适的表示法，并建立详尽的文档
B．不应该对质量标准作任何折中，应该测试，测试，再测试
C．应该放弃传统的开发方法，不应该教条化
D．应该复用，且有随时可以请教的形式化方法顾问
答案
参考答案：C
解析： 在现实世界中做出使用形式化方法的决策并不是一件简单的事，Bowen和Hinchley提出了“形式化方法的十条戒律”，可作为想应用这一重要的软件工程方法的人们的行动指南，如表4-4所示。
| 表4-4形式化方法的十条戒律 | ||
| 序号 | 戒律 | 说明 |
| 1 | 应该选择合适的表示法 | 为了从众多的形式规约语言中进行有效的选择，应该考虑语言的词汇、被规约的应用 类型，以及语言的使用广度等 |
| 2 | 应该形式化，但不要过分形式化 | 通常没有必要对主要系统的每个方面应用形式化方法，那些安全、关键的构件是首选 对象，然后才是那些不能容忍失效的构件 |
| 3 | 应该估算成本 | 形式化方法的启动成本很高，人员的培训，支持工具的获取，以及合同顾问的雇用使 首次投资成本很高，在考查和形式化方法相关联的投资回报时必须考虑这些成本 |
| 4 | 应该有随时可以请教的形式化方 法顾问 | 当第一次使用形式化方法时，专家培训和咨询是成功的关键 |
| 5 | 不应该放弃传统的开发方法 | 可以将形式化方法、传统方法或面向对象的方法相集成，每种方法都有各自的优点和 缺点，合理地进行组合能够产生较好的结果 |
| 6 | 应该建立详尽的文档 | 形式化方法对建立系统需求文档提供了简洁的、无二义的和一致的方法。然而，推荐 使用自然语言注释配合形式规格说明，以增强读者对系统的理解 |
| 7 | 不应该对质量标准进行任何折中 | 在系统开发过程中，必须坚持应用其他软件质量保证SQA活动 |
| 8 | 不应该教条化 | 必须认识到形式化方法并不是正确性的保证，即使在开发中使用形式化方法，最终系 统仍可能有小的遗漏，小的bug，以及其他不满足期望的属性 |
| 9 | 应该测试，测试，再测试 | 形式化方法并不能免除对软件工程师提出的进行良好策划及彻底测试的需求 |
| 10 | 应该复用 | 从长远看，减少软件成本和增加软件质量的唯一合理的方法是复用。形式化方法并没 有改变这个现实，事实上，形式化方法是一种合适的创建可复用构件库的途径 |