软件工程1概要.ppt

领域工程的目的是构建领域模型、领域基准体系结构和可复用构件库 领域分析分析该领域中各种应用系统的公共部分或相似部分，构建领域模型和领域基准体系结构（reference architecture），标识领域的候选构件 对候选构件进行可变性分析，以适应多个应用系统的需要 构建可复用构件，经严格测试和包装后存入可复用构件库 应用系统工程的目的是使用可复用构件组装应用系统 分析待开发的应用系统，设计应用系统的体系结构，标识应用系统所需的构件 在可复用构件库中查找合适的构件（也可购买第三方的构件） 特化选中的构件，必要时作适当的修改，以适应该应用系统的需要 开发那些未找到合适构件的应用部分 组装应用系统 评价构件的复用情况，以改进可复用构件，同时对新开发的部分进行评价，并向构件工程推荐候选构件 根据ATT、Ericsson、HP公司的经验，有的软件复用率高达90%以上，产品上市时间可缩短2～5倍，错误率减少5～10倍，开发成本减少15%～75%。仅管这些结论出自一些较好使用基于构件开发的实例，但毫无疑问，基于构件的开发模型对提高软件生产率、提高软件质量、降低成本、提早上市时间起到很大的作用 形式方法模型 形式化方法（formal methods）是建立在严格数学基础上的一种软件开发方法。软件开发的全过程中，从需求分析、规约、设计、编程、系统集成、测试、文档生成、直至维护各个阶段，凡是采用严格的数学语言，具有精确的数学语义的方法，都称为形式化方法 形式化方法用严格的数学语言和语义描述功能规约和设计规约，通过数学的分析和推导，易于发现需求的岐义性、不完整性和不一致性，易于对分析模型、设计模型和程序进行验证。通过数学的演算，使得从形式化功能规约到形式化设计规约，以及从形式化设计规约到程序代码的转换成为可能 形式方法模型 净室软件工程（cleanroom software engineering）是一种形式化方法，希望在缺陷可能产生严重的危险前消除缺陷 净室软件工程强调在程序构造开始前进行正确性验证，并将软件可靠性认证作为软件测试的一部分 净室方法还强调统计质量控制技术，分析使用情况的概率分布，并由统计样本导出测试 净室方法采用增量模型，每个增量开发包括如下净室任务：增量策划、需求收集、盒结构规约、形式化设计、正确性验证、代码生成、代码审查和验证、统计测试计划、统计使用测试、认证等。如图1.14所示 净室过程模型 系 统 工 程 需求 收集 代码 审查 盒结构规约 形式化设计 正确性验证 代码 生成 统计 使用 测试 认证 测 试 计 划 增量1 需求 收集 代码 审查 盒结构规约 形式化设计 正确性验证 代码 生成 统计使用测试 认证 测 试 计 划 需求 收集 代码 审查 盒结构规约 形式化设计 正确性验证 代码 生成 统计使用测试 认证 测 试 计 划 增量2 增量3 内容摘要 计算机软件 软件工程 软件过程 软件过程模型 CASE工具与环境 在软件工程活动中，软件工程师和管理人员按照软件工程的方法和原则，借助于计算机及其软件工具的帮助，开发、维护、管理软件产品的过程称为计算机辅助软件工程 计算机辅助软件工程（CASE） Computer Aided Software Engineering 软件工具是用来辅助计算机软件的开发、运行、维护、管理、支持过程中的活动或任务的软件 按支持的软件过程活动分类： 开发过程：需求分析工具，设计工具，编码工具，测试工具 它们还可按支持的开发方法分为：结构化XX工具，面向对象XX工具 CASE工具 维护过程：版本控制工具，文档分析工具，逆向工程（reverse engineering）工具，再工程（reengineering）工具 管理过程：项目管理工具，配置管理工具，软件评价工具 应用类工具 集成型开发环境是一种把支持多种软件开发方法和过程模型的软件工具集成到一起的软件开发环境 集成型开发环境由环境集成机制和工具集组成 集成型软件开发环境 环境集成机制包括： 数据集成机制：为各种相互协作的工具提供统一的数据接口规范 控制集成机制：支持各个工具或开发活动之间的通信、切换、调度和协同工作，并支持软件开发过程的描述、执行与转接 界面集成机制：支持工具界面的集成和应用系统的界面开发，统一界面风格 相应的国际标准： ISO/IEC 12207（软件生存周期过程）、ISO/IEC 15288（系统生存周期过程）、ISO/IEC 15504（软件过程评估） 模型的繁衍导致模型框架、术语等方面的矛盾和不一致 包含在当代工程中各种各样的学科和工程是密切交叉在一起的，应用不同模型时效率低下且容易混淆，常常要付出极其昂贵的代价 美国国