软件工程-胡飞（第二稿电子教案）chapter 13.pptVIP

软件工程技术发展 基于组件的软件可以有四类组件组成 软件工程技术发展 软件组件的开发流程可以遵循传统的软件工程 方法，包含下面六个迭代阶段： 13.3.2 软件过程成熟度的基本概念 软件工程技术发展 软件工程技术发展 软件工程技术发展 13.4.2 Web测试 软件与微电子学院 软件工程技术发展 13.1 软件开发中的形式化方法 13.1.1 基本概念 形式化方法是采用数学规约的方法来描述问题。 非形式化的描述方法，往往会导致系统描述中存在矛盾、二义性、含糊性、不完整性、以及抽象层次的混杂等问题。 软件与微电子学院 * 软件工程技术发展 形式化方法的优点： 描述的简洁性 实现了软件过程的平滑变迁 精确性和逻辑性 为软件验证提供了支持 软件与微电子学院 * 软件工程技术发展 13.1.2 有穷状态机 我们可以将有穷状态机表示为一个5元组（J，K， T，S，F），其中： J 是一个有穷的非空状态集； K是一个有穷的非空输入集； T是一个从（J-F）×K到J的转换函数； S ∈J，是唯一的初始态； F ∈J，是若干个终止态。 软件与微电子学院 * 软件工程技术发展 13.1.3 Petri网 Petri网是对离散并行系统的数学表示，适合 于描述异步的并发的计算机系统模型。Petri网 既有严格的数学表述方式，也有直观的图形表达式。 软件与微电子学院 * 软件工程技术发展 Petri网的数学表述，是一个四元组C = (P, T, I, O)。 P = {P1, … , Pn}是一个有穷位置集，n= 0。在图中用圆圈表示位置。 T = {T1, … , Tm}是一个有穷转换集，且T和P不相交。在图中用短直线表示转换； I：T?P∞为输入函数，是由位置到转换无序单位组的映射。在图中用由位置指向转换的箭头表示转换输入函数； O：T?P∞为输出函数，是由转换到位置无序单位组的映射。在图中用由转换指向位置的箭头表示转换输出函数。 软件与微电子学院 * 软件工程技术发展 13.1.4 Z语言 概念：将事物的状态和行为用数学符号形式化表达的语言，为编写计算机程序和验证计算机程序的正确性提供依据，是软件工程中编码之前的规格说明语言 最简单的形式化规格说明含有下述4个部分： 给定的集合、数据类型及常数 状态定义 初始状态 操作 软件与微电子学院 * 软件工程技术发展 13．2 基于组件的软件工程 基于组件的软件开发（Component-Based Software Development）已经成为软件开发的主流方法，并极大地提高了软件生产的效率，缩短了软件研制的时间，提高了软件的质量。 软件与微电子学院 * 软件工程技术发展 13.2.1 基于组件的软件开发过程 基于组件的软件开发的基本思想是：从现有组件库中选用满足要求的组件，按照己经定义好的软件体系结构，通过基于组件的软件工程过程，对这些组件进行装配来开发一个软件系统。 软件与微电子学院 * 第一类 第二类 第三类 第四类 第一类组件是商业组件 第二类组件是内部组件 第三类组件也是内部开发的组件，这些组件被修改后在其它项目中被复用。 第四类组件是一系列重新被创建的组件 软件工程技术发展 基于组件的软件的开发过程总结如下： 需求分析 基于组件的分析和设计 组件收集，选择，定制和开发 从组件使用者的角度对组件进行单元测试 组件装配和集成 集成测试 系统测试 运行和维护 软件与微电子学院 * 软件工程技术发展 13.2.2 组件的开发流程 组件的定义：一个软件组件就是一个组合单元，它具有一组按契约或合同说明的特定的接口和清晰的上下文依赖关系。一个软件组件可以被独立的部署，以便被第三方组装。 软件与微电子学院 * 对组建实施部署 部署与管理 组件交付之后的维护 维护 提供者对组件的测试 测试 实现设计 编码实现 组件的设计文档 设计 组件规格说明文档 需求分析 软件工程技术发展 13.2.3 基于组件的软件工程（CBSE）及其研究 CBSE主要的研究方向： 组件模型的标准化和组件库系统的标准化。 提出基于组件的软件工程方法的概念模型和过程模型， 有效地指导系统软件的开发过程。 加强组件开发进程的管理过程。 软件工程辅助工具的开发。 测试基于组件的软件存在新的问题和挑战。 非技术因素对基于组件开发的影响。 软件与微电子学院 * 软件工程技术发展 13．3 软件能力成熟度模型（CMM） 13.3.1 CMM概述 CMM可以指导软件机构。通过确定当前的过程成效度状况、识别对过程改进起关键作用的一些问题，来明确过程改进的方向和策略。 CMM提供了一个级别框架，根据其过程成熟度的不同，划分成由低到高的五个级别(见图13-10) 软