演讲主题

契约为中心的精益软件设计

开发者都希望能够高效、高质量的编写软件。本演讲展示了3个可大幅提升编程效率、彼此密切相关，却容易被忽视的实践：由外而内、测试先行和设计契约。通过案例和分析，展示它们在实践效果。具体来说： * 由外而内统一了设计和编码的顺序，降低了决策难度，高效推导设计契约。 * 设计契约保障了软件边界的清晰，保障了软件资产的可理解和可演进能力。 * 测试先行作为测试驱动开发的入门版本，有助于由外而内的实施，也构成了设计契约的活文档。