第1章 补充软件工程1.pptVIP

课程章节简介 1.兴和达企业网站 2.云山市教育局办公自动化系统 3.winarray项目管理门户 4.云开大学BOOKSHOP 项目构架 1.项目介绍 2.构架与设计 3.网站设计 4.网站安全 5.系统集成测试 课程需要补习知识 1.软件工程 2.viso等设计工具的使用 3.工作流引擎 4.vs下的软件测试方式 这门课程你能够学习到的 1.软件开发的一般过程 2.软件设计的一般方法 3.软件设计工具的使用 4.软件测试的一般方法 极端编程(eXtreme Programming) 极端编程(eXtreme Programming)是一种开发纪律，以简单性、交流、反馈和勇气为基本宗旨。它的做法是以有效的实践规则将整个团队紧密联系起来，通过充分的反馈使团队能随时知道自己目前的状况和恰当的调节规则以适应自己的特殊情况。? 极限编程(eXtreme Programming) 1.在极限编程中，每一个项目贡献者都是“团队”完整的一部分。这个队伍是围绕着一个每天和队伍坐在一起共同工作的商业代表——“客户”建立起来的。 核心实践：整体团队 2.极限编程的队伍采用一种简单的方式来进行规划和跟踪，以决定下一步要做什么和预知项目什么时候会完成。聚焦于商业价值，团队通过一系列的通过了客户定义的测试和完全集成的小的发布来创作软件系统。 核心实践：规划策略，小发行版，客户测试 3.极限编程者通过成对和小组的方式共同工作，通过简单设计和强制测试的代码，不断的提升设计以保证设计总是适合当前的需求。 核心实践：简单设计，成对编程，测试优先开发，设计改进 极限编程(eXtreme Programming) 4.极限编程队伍会总是保持系统能够集成并且在所有的时间运行。程序员以成对的方式编写所有的产品代码，并且在所有时间内都共同工作。他们以相似的形式编码以保证所有成员都可以按需要理解和改进所有的代码。 核心实践：持续集成，集体代码所有权，编码标准 5.极限编程队伍分享一个公共并且简单的系统蓝图。所有成员可以按照一种不时保持同步的节奏进行工作。 核心实践：系统比喻，可接受的步伐 可重用部件组装模型(构件集成模型) 使用重用技术的软件工程模型 构件(components)：可重用的软件成份 可复用性（Reusability） 集成化软件开发环境（ISEE） 可重用部件组装模型 用户 通信 计划 产品开发及发布 用户 评估 风险 分析 标志候 选构件 查找 构件 若存在则 提取构件 若不存在则 构造构件 进行下 一次迭代 将新构件 存入库中 基于构件的软件工程(CBSE)过程模型 构 件 开 发 分析 设计 编程 测试 领域分析 系统 测试 构件提交 领域专家经验 现有系统资料 领域构 件需求 构件/构架库 领域构架 领 域 构 件 系统 开发 系统专用构件 应用 系统 构件生产线 领域构架 领域构件 问题域 用户需求 系统生产线 系 统 组 装 分析 设计 编程 构架细化 专 用 构 件 开 发 分析 设计 编程 测试 软 件 生 产 线 应用构件 提取车间 构件生 产车间 标准规范 与 质量保证 1基础构件，2功能构件 3接口构件，4用户界面构件 应用 构件库 构件库 组装 车间 领域 1 领域 2 应用 系统 ... 1 2 3 4 6. 形式化方法模型 转换模型(Transformational Model) 净室模型(Cleanroom Model) 转换模型 形式化 规格说明 与需求比 较后修正 形式化开发记录 变换n 变换2 变换1 测试 系统需求 目标系统 … … 形式化规格语言及其变换技术 基于模型的规格说明及其变换技术 基于代数结构及其变换技术 基于时序逻辑的规格说明和验证技术 基于可视形式化技术 净室模型(形式化的增量开发模型) 基于思想： 力求在分析和设计阶段就消除错误， 确保正确，然后在无缺陷或“洁净”的状态 下实现软件的制作。 三个关键技术： 置于统计过程控制之下的增量开发 基于函数的规范、设计、验证 统计测试和软件认证 净 室 模 型 盒结构 规约 需求 收集 形式化 设计 正确性 验证 代码 检查 测试计划 统计性 使用测 试 验证 增量 #1 盒结构 规约 需求 收集 形式化 设计 正确性 验证 代码 检查 测试计划 统计性 使用测 试 验证 增量 #2 盒结构 规约 需求 收集 形式化 设计 正确性 验证 代码 检查 测试计划 统计性 使用测 试 验证 增量 #1 . . . . . . . . . . . . * * * 第一个协软件