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

:软件过程为一个为建造高质量软件所需完成的任务的框架，即形成软佳产品的一

系列步骤，包括中间产品、资源、角色及过程中采取的方法、工具等范畴。

软件过程(SoftwareProcess)是指一套关于项目的阶段、状态、方法、技术和开发、维护

软件的人员以及相关Artifacts(计划、文档、模型、编码、测试、手册等)组成。目前有三

种方法：UP(theunifiedprocess)，TheOPENProcess，OOSP(TheObject-Oriented

SoftwareProcess)。软件过程(SoftwareProcedure)是指软件生存周期所涉及的一系列相关

过程。过程是活动的集合活动是任务的集合任务要起着把输入进行加工然后输出的作用。

活动的执行可以是顺序的、重复的、并行的、嵌套的或者是有条件地引发的。

软件过程是指软件整个生命周期，从需求获取，需求分析，设计，实现，测试，发布和维

护一个过程模型。一个软件过程定义了软件开发中采用的方法，但软件过程还包含该过程

中应用的技术——技术方法和自动化工具。过程定义一个框架，为有效交付软件工程技

术，这个框架必须创建。软件过程构成了软件项目管理控制的基础，并且创建了一个环境

以便于技术方法的采用、工作产品(模型、文档、报告、表格等)的产生、里程碑的创建、

质量的保证、正常变更的正确管理。

形式化方法：

在计算机科学和软件工程领域，形式化方法是基于数学的特种技术，适合于软件和硬

学

科一样，使用适当的数学分析以提高设计的可靠性和鲁棒性。但是，由于采用形式化方法的

成本高意味着它们通常只用于开发注重安全性的高度整合的系统。

形式化方法在古代就运用了，而在现代逻辑中又有了进一步的发展和完善。这种方法特

别在数学、计算机科学、人工智能等领域得到广泛运用。它能精确地揭示各种逻辑规律，制

定相应的逻辑规则，使各种理论体系更加严密。同时也能正确地训练思维、提高思维的抽象

能力。

用于开发计算机系统的形式化方法是描述系统性质的基于数学的技术这样的形式化方法提

供了一个框架，可以在框架中以系统的而不是特别的方式刻划、开发和验证系统。如果一个

方法有良好的数学基础，那么它就是形式化的，典型地以形式化规约语言给出。这个基础提

供一系列精确定义的概念，如：一致性和完整性以及定义规范的实现和正确性。形式化方

法的本质是基于数学的方法来描述目标软件系统属性的一种技术。不同的形式化方法的数

学基础是不同的，有的以集合论和一阶谓词演算为基础（如Z和VDM）,有的则以时态逻辑

为基础。形式化方法需要形式化规约说明语言的支持。

为什么形式化方法越来越重要？

（1）保证质量的需要（2）节约成本的需要（3）形式方法和复用

我们强烈地希望使用软件工程中最好的实践。软件中存在的缺陷至

少会引起客户的愤怒而在更坏的情况下可能会给客户的业务造成较大的破坏或者造成生命

损失。因此，企业要采用最好的实践，使他们的软件过程变得成熟起来。形式方法是一种前

沿技术，研究表明，这种技术非常有助于那些希望把软件产品的缺陷出现率减到最小的公

司。

有证据显示，形式方法的使用减少了项目成本。例如，旧M的大型CICS事务处理项目的

独立审核表明，9%的成本节约要归功于形式方法的使用。对T800型变换计算机的Inmos

浮点单元的独立审核也证明，形式方法的使用估计可以减少12个月的测试时间。

有效的软件复用有助于提高软件开发的生产率这在应用软件的快速开发中具有特殊的意义。

软件复用的思想是开发出可在未来项目中使用的基本部件这就要求部件具有高质量和高可

用性，而且部件的实际行为和使用环境也要具备一个文档化的描述。

形式方法在软件复用中也占有一席之地，因为它可提高部件正确性的置信度，并对某个部件

的行为进行明确的形式描述。可以对部件进行广泛的测试，以便为部件的正确性提供更高的

置信度。一个部件一般会在不同的环境中使用，而部件在某种条件下能正常运转并不能保证

它在未来也能够成功运转因为这个部件和其他部件或其他软件之间可能存在着潜在的不良

相互作用。因此，我们希望部件的行为能够得到明确的规定和充分的了解，并对部件的构成

进行形式分析，以确保风险最小化，并在最后得到高质量的软件。

结构化方法（SD方法）是一种传统的软件开发方法，它是由结构化分析、结