集美大学软件工程课件

软件工程第4篇软件工程高级专题计算1011上官剑新概论1、敏捷过程开发2、Web工程3、形式化方法»»分析各方法在软件工程中的应用、好处，以及如何用它们来进行项目的开发。计算1011上官剑新20108130622/21敏捷过程开发应对变更的能力——敏捷性；敏捷是指在软件的开发活动中，坚持一些基本原则，灵活运用各种方法，快速地开发出令客户满意的产品；基于敏捷原则进行的软件开发过程，视为敏捷过程，有自适应和增量提高的过程即是敏捷过程。计算1011上官剑新20108130623/21敏捷过程开发的3个变更能持续地适应：①源自开发过程中获取的经验而进行的变更；②软件需求的变更；③开发环境的变更。计算1011上官剑新20108130624/21敏捷过程模型极限编程；（XP）自适应软件开发；（ASD）动态系统开发方法；（DSDM）Scrum；Crystal；特征驱动开发；（FDD）精益开发；计算1011上官剑新20108130625/21敏捷过程开发设计自己的敏捷方法：有目的模型，即选用什么样的敏捷模型；

使用多个模型，但不一定使用全部内容；在实践中检验各个模型，保留最好的；内容重于表现形式，理解模型及工具。

银弹是不存在的，敏捷开发的根本在于相信在混乱的业务环境下有不可预测性，并且相信人们能成功交付软件能力的可预测性。计算1011上官剑新20108130626/21计算1011上官剑新20108130627/21Web工程Web工程提倡使用一个过程和系统的方法来开发高质量的基于Web的系统。它"使用合理的、科学的工程和管理原则，用严密的和系统的方法来开发、发布和维护基于Web的系统"。计算1011上官剑新20108130628/21基于Web的系统及应用Web工程不是软件工程的完全克隆，但是它借用了软件工程的许多基本概念和原理，强调了相同的技术和管理活动WebApp：Web的系统和应用Web的系统和应用不同于其他类别的计算机软件：基于web的系统是“页面排版和软件开发、市场和预算、内部交流和外部联系以及艺术和技术间”综合作用的产物基于Web的系统及应用Web服务器技术：MicrosoftIIS、webSphere、WebLogic、Apache、TomcatWeb开发技术：HTML、PHP、ASP、JSPWeb辅助技术：UML扩展机制、Web服务计算1011上官剑新20108130629/21计算1011上官剑新201081306210/21基于Web系统及应用的属性在Web工程中，下面的应用类别是最常遇到的信息型：使用简单的导航和链接提供只读的内容。下载型：用户从合适的服务器下载信息。可定制型：用户定制内容以满足特定需要。交互型：一个用户群落通过聊天室、公告牌或即时消息传递来通信。计算1011上官剑新201081306211/21基于Web的系统及应用用户输入型：基于表格的输入是满足通信需要的主要机制。面向事务型：用户提交一个由WebApp完成的请求(如下订单)。面向服务型：应用向用户提供服务(如帮助用户确定抵押支付)。门户型：应用引导用户到在本门户应用范围之外的其他内容或服务。数据库访问型：用户查询某大型数据库并提取信息。数据仓库型：用户查询一组大型数据库并提取信息。计算1011上官剑新201081306212/21Web工程过程WebApp的开发具有如下特点：WebApp常常以增量的方式去开发变化经常发生期限较短因此整个Web工程过程也与这些特点相适应。计算1011上官剑新201081306213/21Web工程过程－过程框架整个Web工程过程框架包括：分析设计测试发布、维护形式化方法——从广义上讲，形式化方法是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模型的分析活动。——狭义的讲，形式化方法是运用形式化语言，进行形式化的规格描述、模型推理和验证的方法。——就形式化建模而言，形式化表示必须包含一组定义其语法语义的形式化规则。这些规则可用于分析给定的表达式是否符合语法规定，或证明该表达式具有某种性质。计算1011上官剑新201081306214/21形式化方法所谓形式化规格说明语言的关键思想是把软件开发过程中的需求规格说明阶段和软件设计说明阶段分开,在需求规格说明阶段精确地描述软件“做什么”，而不涉及“怎么做”。编写规格说明与编写计算机程序的不同之处在于规格说明是对目标软件系统的功能描述，而计算机系统则是实现目标软件系统功能的过程描述。计算1011上官剑新201081306215/21形式化方法应用于何处形式化需求规约

–作为程序验证的基准

–规约语言Z，VDM，Larch –作为程序行为的模型，与需求相对照形式化领域知识

–领域知识是否完整；对未来的系统有何影响

–形式化有助于直接精确地刻画环境需求的形式化

–以便进行需求模拟

–以便测试逻辑一致性

–以便测试完整性（依据底层的数学模型）计算1011上官剑新201081306216/21形式化方法的好处用数学语言能够解决规格说明的二义性问题，提高其精确性;数学提供了确认手段，使得证明和验证软件程序满足用户和系统的需求成为可能;针对需求和设计模型进行自动的分析和推理; –分析模型性质

–推导模型逻辑结果模拟/执行模型，有助于可视化及验证;软件的设计过程就是一个形式化的过程; –软件设计的最终产物是程序，它可看作是一种可执行的形式规约，用于解决非形式化的问题。计算1011上官剑新201081306217/21两种形式化方法Petri网Z语言计算1011上官剑新201081306218/21形式化方法建模语言Petri网适于描述各种异步并发系统的动态行为特性，尤其是活性。Petri网能够描述并行程序的真并发语义。适合作为语义描述模型使用。目前较为流行的应用是用Petri网描述工作流系统的语义模型。计算1011上官剑新201081306219/21形式化方法建模语言Z语言系统规约定义一组状态模式以及影响这组状态的操作模式

.优点–有良好的数学基础–结构清晰简单