m0_56064858的博客

V模型：RAD（Rapid Application Development，快速应用开发）模型是软件开发过程中的一个重要模型，由于其模型构图形似字母V，所以又称软件测试的V模型。阶段步骤:V模型大体可以划分为以下几个不同的阶段步骤：客户需求分析、软件需求分析、概要设计、详细设计、软件编码、单元测试、集成测试、系统测试、验收测试。缺陷及解决:V模型仅仅把测试过程作为在需求分析、系统设计及编码之后的一个阶段，忽视了测试对需求分析,系统设计的验证，需求的满足情况一直到后期的验收测试才被验证。适用范围:

形式化方法英文的名称是formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。其主要用于开发计算机系统的形式化方法是描述系统性质的基于数学的技术，这样的形式化方法提供了一个框架，可以在框架中以系统的而不是特别的方式刻划、开发和验 证系统。 如果一个方法有良好的数学基础，那么它就是形式化的，典型地以形式化规约语言给出。这个基础提供一系列精确定义的概念，如：一致性和完整性，以及定义规范 的实现和正确性。 形式化方法的本质是基于数学的方法来描述目标软件系统属性的一种技术。不同的形式化方法的数学

围绕软件开发实践和方法论，总有很多教条式的口水仗。阶段式（phase-gate）方法能够有效管理软件开发过程的风险，还是说只是风险管理中的花哨噱头？TDD真的能够促生出高品质软件？结对编程是代码评审的有效替代抑或只是增加了商议沟通代价？我想说，虽然缺乏证据判断这些论调的谬处，但有两条常用的法则能够帮助我们选择好的实践，同时，提升我们所提供软件的价值：划小开发周期以及提升反馈效率。Michael Feathers给出了以下观点：我认为，我们最终还是得倚重开发者的能力，这才是个更重要的考量因素，而非选择哪门

1.为什么软件开发的周期总是预估的2~3倍?在软件开发中，会出现许多未预估到的情况，导致时间周期出现差错。然后就是预估周期会比较偏理想化，而软件开发时出现的变化是时刻都有，这样就导致了软件开发的周期总是预估的2-3倍。2.什么是分而治之？所谓“分而治之” 就是把一个复杂的算法问题按一定的“分解”方法分为等价的规模较小的若干部分，然后逐个解决，分别找出各部分的解，把各部分的解组成整个问题的解，这种朴素的思想来源于人们生活与工作的经验，也完全适合于技术领域。诸如软件的体系结构设计、模块化设计都是分而治之的

面向元数据的方法、面向过程的方法、面向对象的方法和形式化方法，并称软件工程中的四大方法，它们共同构成了软件工程方法论。软件工程方法论是指在软件开发的过程中必须遵循的普遍行为和规则，包含三要素：方法、工具和过程。通过学习软件工程方法论，学习系统的，科学的理论框架，吸收前人的经验，可以提高我们软件开发的速度和质量。而在经软开发中，我们需要软件方法论给我们系统的框架，这样我们才会有方向，然后就是前人的经验，可以少犯错误。总的来说，软件工程方法论对于软件开发来说必不可少，非常重要，是整个软件开发系统中一个重要的齿轮

我的观点:软件工程主要是传授我们如何构思解决问题的方法，就像室内设计一样，先要规划出设计图，然后才去动手设计，而软件工程就是教我们怎么规划设计图，写程序就是动手设计的部分。开发软件需要构思出良好的方案，才好动手开发。所以我觉得软件工程对于开发软件来说非常重要。当有了思路之后，一切问题就会迎刃而解。...