m0_63723722的博客

形式化方法，中文也称形式方法[1]、正规方法[2]。在计算机科学和软件工程领域，形式化方法是基于数学的特种技术，适合于软件和硬件系统的描述、开发和验证[3]。将形式化方法用于软件和硬件设计，是期望能够像其它工程学科一样，使用适当的数学分析以提高设计的可靠性和强健性[4]。但是，由于采用形式化方法的成本高意味着它们通常只用于开发注重安全性的高度整合的系统[5]。测试只能表明程序中存在错误，而不能表明程序中没有错误。除非对程序进行的测试能够穷尽所有可能的场景，否则传统的测试手段无法完全保证系统的安全可靠。

软件配置管理概述软件过程的输出信息可以分成三个主要类别：(1）计算机程序（源代码和可执行程序）；(2）描述计算机程序的文档（针对不同的软件开发人员和客户);(3）数据或内容（包含在程序内部和外部)。在软件过程中产生的所有信息项统称为软件配置。•新的业务或市场条件，引起产品需求或者业务规则的变更。•新的客户需要，要求修改信息系统产生的数据、产品提供的功能或基于计算机的系统提供的服务。•企业改组或扩大/ 缩小规模。导致项目优先级或软件工程团队结构的变更。•预算或进度的限制，导致系统或产品的重定义。

体系结构决策与系统体系结构相关的决策记录了关键的设计问题以及所选用的体系结构方案背后的原理。面向服务的体系结构决策(SOAD）日建模 IZim117 是一种知识管理框架，它以一种可以指导未来开发活动的方式，为捕获体系结构决策的依赖提供了支持。将一种体系结构风格应用于某一特定的应用类型时，指导模型包含了此体系结构决策所要求的相关知识。该模型基于已完成项目中获取的体系结构信息而建立，并且此类项目采用了前述的体系结构风格。指导模型记载了设计问题存在的地方、应当做出体系结构决策的地方，以及从潜在可选方案中

体系结构风格的简单分类以数据为中心的体系结构。数据存储(如文件或数据库）位于这种体系结构的中心，其他构件会经常访问该数据存储，并对存储中的数据进行更新、增加、州除或者修改。数据流体系结构。当输人数据经过一系列计算构件和操作构件的交换形成输出数据时，可以应用这种体系结构。管道一过滤器模式（如图）拥有一组称为过滤器的构件，这些构件通过管道连接，管道将数据从一个构件传送到下一个构件。每个过滤器独立于其上游和下游的构件而工作。过滤器的设计要针对某种形式的数据拾人，并且产牛某种特定形式的数据输出（到.

风险预测风险预测(risk proiection）又称风险估计 （risk estimation)，试图从两个方面评估每一个风险：(1）风险发生的可能性或概率：（2）如果风险发生，风险相关问题产生的后果。项目计划人员、其他管理人员及技术人员都要进行以下4 步风险预测活动：1.建立一个尺度，以反映风险发生的可能性。2.描述风险产生的后果。3. 估算风险对项目及产品的影响。4.标明风险预测的整体精确度。以免产生误解。按此步骤进行风险预测，目的是使我们可以按照优先级来考虑风险。任何软件团队都不可能以同样

1程序设计2Boolean flag = true ;while (P && flag) {do G;if(!Q) flag=false;}

面向对象方法学，以教据为王线 把数据和对数据的操作紧窗结白起来的方法。四要点：1.把对象作为融合数据以及数据上操作行为统一软件结构。2.把所有的对象都划分子类。3.对级很北之同天能 通过发送消良互相联系。优点1.降低了软什产品的复东性，提高了软件的可理解性。简化了软件的开发和维护工作。2. 特有的熟承生和多态性，进一步提高面冈对象软件的可重用性。软件过程：是为了获得高质量软件所需要的一系列社务困框架。软件团队ConstantinerCon931针对软件工程团队提出了四种“组织模式”：

软件工程是一种层次化的技术。任何工程方法（包括软件工程）必须构建在软件工程层次图质量承诺的基础之上。全面质量管理、六西格玛和类似的理念日促进了持续不断的过程改进文化。正是这种文化最终引导人们开发出更有效的软件工程方法。过程框架沟通、策划、建模、构建、部署过程的适应性调整活动、动作和任务的总体流程以及相互依赖关系。•在每一个框架活动中，动作和任务细化的程度•工作产品的定义和要求的程度。•质量保证活动应用的方式。•项目跟踪和控制活动应用的方式。•过程描述的详细程度和严谨程度•客户和利

原系统分析：技术可行性：虽然生理数据的系统涉及大量 的专业数据，精密仪器，软件工程师并不精通，但是可以在专业人士的帮助下完成。经济可行性：支出方面由医院方面承担是否可行取决于医院方面是否所需费用。技术可行性：医院并不具有软件维护能力，在数据库的维护上需要专业人士的操作，因为病患数目不会很麻烦，所以只需要几个人定期维护系统即可。...