构建之法阅读笔记007

《构建之法》教会了我很多东西，不一定是编程技巧，而是思考的方式。

　　形式化方法建立在严格的数学基础上，其目标是希望能使系统具有较高的可信度和正确性，并能使系统具有良好的结构，使其易维护，关键是能较好地满足用户需求。“形式化方法”一词虽然一直被广泛地应用，但在不同程度上，因理解不同，使其具有了不同的含义。一般说来，形式化方法是指具有坚实数学基础的方法，它是数学上的综合、分析技术的应用，用于开发计算机控制的系统，经常有推理工具的支持，它可提供一个用于模型设计和分析的一个严格而有效的途径。

　　在对本书的学习中，我学习到了代码规范是什么，怎么才算是规范的代码，代码空格要求等相关问题。学习了通过编写单元测试来进行测试，可以使模块的质量能够得到稳定的、量化的保证。我通过学习学会了如何测试用例，来保证程序的质量。我还学习了PSP相关知识，通过编写PSP表格来记录我在程序的各个模块的开发上消耗的时间。对于团队合作，我也有了更加清晰的认识。

　　现在因为互联网的发展，人们为了解决现实社会和生活中的各种问题，总是会求助于软件。而为了全面而准确地找到软件的需求，一般我们按照以下步骤。1.获取和引导需求；2.分析和定义需求；3.验证需求；4.在软件产品的生命周期中管理需求。而在软件团队分析软件需求时还要考虑一些利益相关者，比如，用户，顾客，市场分析师，监管机构，软件工程师，我们不可能满足所有利益相关者的要求，但是我们需要做到让相关角色在这个阶段有机会参与和提出他们的需求和意见。

　　我们作为未来的软件工程师，让我们一起为软件工程行业的未来而努力吧！