软件工程 第2章.ppt

Using automated support, the transformational process applies a series of transformations to change a specification into a deliverable system.利用自动化工具的支持，变换过程使用一系列变换把需求变成一个可交付使用的系统（Balzer 1981） 6.Transformational model 变换模型 软件工程理论与实践 变换模型是一种基于形式化规格说明语言及程序变换的软件开发模型。它采用形式化的软件开发方法，对形式化的软件规格说明进行一系列自动的或半自动的程序变换，最终映射成为计算机系统能够接受的程序系统。 软件工程理论与实践 Compare with requirements；update and needed与需求进行比较；必要时加以更新 Formal Specification形式化说明 Transform变换 …… Test Formal Development Record正式开发记录 Sequence of transformations plus rationale for them 一系列的变化及其基本原理 Delivered System System Requirements （sometimes informal or incomplete） Transform 2 Transform 1 软件工程理论与实践 软件需求确定以后，可用某种形式化的需求规格说明语言（如VDM的META-Ⅳ，CSP和Z）描述软件需求规格说明，生成形式化的设计说明。为了确认形式化规格说明与软件需求的一致性，往往以形式化设计说明为基础开发一个软件原型。用户可以从人机界面、系统主要功能、性能等几个方面对原型进行评审，必要时，可以对软件需求、形式化设计说明和原型进行修改，直到原型被确认为止。这时软件开发人员就可以对形式化的规格说明进行一系列的程序变换，直到生成计算机可以接受的目标代码。 软件工程理论与实践 多步程序变换过程的一个重要性质是每一步变换对相关的模型描述是封闭的。即每一步程序变换的正确性仅与该步变换所依据的规范Mi以及对变换后的假设Mi+1有关，在此意义上，变换步骤独立于其他变换步骤。这称为变换的独立性。若没有这种独立性，就不能控制错误的蔓延。 研究形式化规格说明及其变换技术的主要技术手段有：　　·基于模型的规格说明及其变换技术；　　·基于代数结构及其变换技术；　　·基于时序逻辑的规格说明和验证技术；　　·基于可视化的形式化技术等。 软件工程理论与实践 一个实用的程序变换系统大多采用人机交互或自动变换方式。它由一系列程序变换语言（大多是系统内部的中间语言）及其编译系统、分析验证工具、控制变换过程的工具和变换规则库构成。 软件工程理论与实践 变换模型的特点：　　·该模型只适合于软件的形式化开发方法；　　·需要严格的数学理论（如逻辑、代数等）和形式化技术支持；　　·需要一整套开发环境（如程序变换工具、定理证明工具等）的支持； 　　·该模型目前还缺乏相应的支持工具，仍处于手工处理方式；　　·对软件开发人员要求较高。 软件工程理论与实践 理论上，一个正确的、满足客户要求的形式化规格说明，经过一系列正确的程序变换后，应当能够生成正确的、计算机系统能够接受的程序代码。但是，目前形式化开发方法在理论、实践和人员培训方面与工程应用还有一定的距离。 软件工程理论与实践 7.Phased development: increments and iteration 阶段化开发：增量和迭代模型 增量模型把软件产品作为一系列的增量构件来设计、编码、集成和测试。每个构件由多个相互作用的模块构成，并且能够完成特定的功能。使用增量模型时，第一个增量构件往往实现软件的基本需求，提供最核心的功能。 软件工程理论与实践 Build Release 1构建版本1 Build Release 2构建版本2 Build Release 3构建版本3 Use Release 1使用版本1 Use Release 2使用版本2 Use Release 3使用版本3 Time Users用户 Developers开发人员 Development Systems开发系统 Production Systems产品系统 软件工程理论与实践 the system as specified in the requirements documents is partitioned into subsystems by functionality. The releases are defined b