中南大学软件工程期末考试16级总结资料.docxVIP

软件过程：软件过程为一个为建造高质量软件所需完成的任务的框架，即形成软件产品的一系列步骤，包括中间产品、资源、角色及过程中采取的方法、工具等范畴。软件过程（Software Process）是指一套关于项目的阶段、状态、方法、技术和开发、维护软件的人员以及相关Artifacts（计划、文档、模型、编码、测试、手册等）组成。目前有三种方法：UP（the unified process），The OPEN Process，OOSP(TheObject-Oriented Software Process)。软件过程(Software Procedure)是指软件生存周期所涉及的一系列相关过程。过程是活动的集合；活动是任务的集合；任务要起着把输入进行加工然后输出的作用。活动的执行可以是顺序的、重复的、并行的、嵌套的或者是有条件地引发的。软件过程是指软件整个生命周期，从需求获取，需求分析，设计，实现，测试，发布和维护一个过程模型。一个软件过程定义了软件开发中采用的方法，但软件过程还包含该过程中应用的技术——技术方法和自动化工具。过程定义一个框架，为有效交付软件工程技术，这个框架必须创建。软件过程构成了软件项目管理控制的基础，并且创建了一个环境以便于技术方法的采用、工作产品（模型、文档、报告、表格等）的产生、里程碑的创建、质量的保证、正常变更的正确管理。形式化方法：在计算机科学和软件工程领域，形式化方法是基于数学的特种技术，适合于软件和硬件系统的描述、开发和验证。将形式化方法用于软件和硬件设计，是期望能够像其它工程学科一样，使用适当的数学分析以提高设计的可靠性和鲁棒性。但是，由于采用形式化方法的成本高意味着它们通常只用于开发注重安全性的高度整合的系统。形式化方法在古代就运用了,而在现代逻辑中又有了进一步的发展和完善。这种方法特别在数学、计算机科学、人工智能等领域得到广泛运用。它能精确地揭示各种逻辑规律,制定相应的逻辑规则,使各种理论体系更加严密。同时也能正确地训练思维、提高思维的抽象能力。用于开发计算机系统的形式化方法是描述系统性质的基于数学的技术，这样的形式化方法提供了一个框架，可以在框架中以系统的而不是特别的方式刻划、开发和验 证系统。 如果一个方法有良好的数学基础，那么它就是形式化的，典型地以形式化规约语言给出。这个基础提供一系列精确定义的概念，如：一致性和完整性，以及定义规范 的实现和正确性。 形式化方法的本质是基于数学的方法来描述目标软件系统属性的一种技术。不同的形式化方法的数学基础是不同的，有的以集合论和一阶谓词演算为基础（如Z和 VDM），有的则以时态逻辑为基础。形式化方法需要形式化规约说明语言的支持。为什么形式化方法越来越重要？保证质量的需要 （2）节约成本的需要 （3）形式方法和复用?为了得到高质量的软件，我们强烈地希望 使用软件工程中最好的实践。软件中存在 的缺陷至少会引起客户的愤怒，而在更坏 的情况下可能会给客户的业务造成较大的 破坏或者造成生命损失。因此，企业要采 用最好的实践，使他们的软件过程变得成 熟起来。形式方法是一种前沿技术，研究 表明，这种技术非常有助于那些希望把软 件产品的缺陷出现率减到最小的公司。有证据显示，形式方法的使用减少了项目 成本。例如，IBM的大型CICS事务处理项 目的独立审核表明，9％的成本节约要归功 于形式方法的使用。对T800型变换计算机 的Inmos浮点单元的独立审核也证明，形 式方法的使用估计可以减少12个月的测试时间。有效的软件复用有助于提高软件开发的生 产率，这在应用软件的快速开发中具有特 殊的意义。 软件复用的思想是开发出可在未来项目中 使用的基本部件，这就要求部件具有高质 量和高可用性，而且部件的实际行为和使 用环境也要具备一个文档化的描述。形式方法在软件复用中也占有一席之地，因为它 可提高部件正确性的置信度，并对某个部件的行 为进行明确的形式描述。可以对部件进行广泛的 测试，以便为部件的正确性提供更高的置信度。 一个部件一般会在不同的环境中使用，而部件在 某种条件下能正常运转并不能保证它在未来也能 够成功运转，因为这个部件和其他部件或其他软 件之间可能存在着潜在的不良相互作用。因此， 我们希望部件的行为能够得到明确的规定和充分 的了解，并对部件的构成进行形式分析，以确保 风险最小化，并在最后得到高质量的软件。结构化方法：结构化方法（SD方法）是一种传统的软件开发方法，它是由结构化分析、结构化设计和结构化程序设计三部分有机组合而成的。它的基本思想：把一个复杂问题的求解过程分阶段进行，而且这种分解是自顶向下，逐层分解，使得每个阶段处理的问题都控制在人们容易理解和处理的范围内。结构化方法的基本要点是：自顶向下、逐步求精、模块化设计、结构化编码。结构化分析方法是以自顶向下，逐步