第 7 章 用测试描述需求和契约

本文介绍了现代软件设计中测试的重要性以及测试先行的范式。传统的测试已经不再是简单的质量检验或者质量保证，而是成为软件开发活动中一个基础却重要的实践。文章强调了测试不再仅仅是在编码完成之后以发现错误为目的的活动，而是贯穿软件开发和维护的全生命周期的活动。从 V 模型到 I 模型的转变，强调了测试前置的策略，即在任何一个阶段都可以应用测试前置的策略。文章介绍了 I 模型的特点，包括在需求阶段、设计阶段和编码阶段立即验证质量，从而带来快速的反馈，大幅提升各环节的效率和质量。此外，文章还介绍了测试先行的设计，以及如何用测试澄清和文档化需求。通过引入 BDD 框架，文章展示了如何将自动化测试与需求文档结合，从而提升沟通效果和质量保障能力。整体来说，本文强调了测试在软件开发中的重要性，并介绍了测试先行的开发范式，以及对质量和效率的重大影响。文章还讨论了测试先行带来的关键影响及具有的优势，包括使契约显式化，以及测试先行对测试人员的角色提出了新的技能要求。