16、软件工具、抽象行为与精确文档：提升软件工程的关键

软件工具、抽象行为与精确文档：提升软件工程的关键

上半部分

在软件开发领域，行为抽象和精确文档是提升软件质量和开发效率的重要因素。下面将详细探讨行为抽象的开发环境以及精确文档的重要性。

行为抽象的开发环境

若要运用行为抽象层，就必须确保程序的任何阶段，而非仅最终程序，都能成为建模、模拟、验证和用例应用的目标。逐步细化存在一些问题，比如人们常误解高层规范涵盖了最终程序的所有期望属性，实际上规范是逐步引入的。而且如今的编程文化过于关注最终代码，工程师需要学习何时引入新阶段，何时将设计决策合并。

一个支持行为抽象的开发环境具有以下特点：
1. 多阶段描述 ：该环境允许并跟踪系统日益详细的描述，每个阶段都是后续阶段的行为抽象。
2. 持续分析 ：在每个阶段，环境都会对给定程序进行分析，如生成测试、运行测试套件、模拟描述、验证描述的格式正确性等。分析发现的问题尽量只给出警告，以不影响后续分析。环境会在后台持续运行分析，并记录结果。
3. 多种描述形式 ：一个阶段的描述可以有多种形式，如用例说明、前后条件契约、抽象程序段等。许多描述是不完整的，聚焦于该阶段重要的属性。在进入新阶段时，切换语言可能是自然的选择。由于一种描述形式是编程语言代码，因此可以像现在一样使用该系统开发软件，这便于工程师逐步尝试新系统的功能。
4. 表示变更 ：一个阶段不仅可以通过算法改进前一阶段的行为，还可以通过改变数据表示来实现。例如，一个阶段可能使用数学类型，后续阶段可以用列表或树来表示，甚至添加缓存以提