第10章现代软件工程技术方案.ppt

第10章 现代软件工程 学习目标 了解软件重用的概念和软件重性技术的基本方法 掌握软件构件的概念及基于软件构件的开发技术 了解软件形式化技术和软件智能化技术 了解嵌入式系统的基本知识与开发过程 第10章 现代软件工程 教学内容 10.1 软件形式化技术 10.2 软件重用技术 10.3 基于构件的开发技术 10.4 软件智能化技术 10.5 嵌入式系统软件技术 10.6 嵌入式系统开发过程 10.7 嵌入式软件的测试 本章小结 10.1 软件形式化技术 10.1.1 形式方法的引入 用自然语言描述的需求规格说明，具有易读、易理解的优点，但也可能存在矛盾、二义性、模糊性、不完整性及抽象层次混乱等问题。 程序设计语言可用来描述需求规格说明，但大多数程序设计语言是过程性的，在描述程序时，要求给出数据结构和控制结构的具体行为描述，也就是说程序设计语言着重描述的是“如何做”而不是“做什么”的问题。因此不太适合描述抽象程度较高的需求规格说明。 10.1.1 形式方法的引入 第四代语言4GL，更多地采用过程抽象和数据抽象技术。 过程抽象更多地关注软件系统要实现的功能，而忽略这些功能的实现过程。 数据抽象允许使用较抽象的数据结构来描述抽象实体，而忽略这些抽象实体概念的具体实现细节。 10.1.1 形式方法的引入 20世纪80年代中期以来，一种综合性的专用需求规格说明的形式规格描述语言应运而生。这种形式化规格语言克服了自然语言和程序设计语言的不足，应用形式化、规范化的数学理论，严格定义软件系统“做什么”的形式语义模型，并支持自动程序转换系统将需求规格说明的语义模型转换为可执行代码。由此产生的软件形式开发方法正日益受到各国软件业界的重视。 10.1.1 形式方法的引入 按照形式化的程度，可以把软件工程使用的方法划分成非形式化，半形式化和形式化3类。用自然语言描述需求规格说明，是典型的非形式化方法。用数据流图或实体—联系图建 立模型，是典型的半形式化方法。 形式化方法，是描述系统性质的基于数学的技术，也就是说，如果一种方法有坚实的数学基础，那么它就是形式化的。 10.1.2 形式方法的分类 形式方法是应用严格的形式符号和数学方法，定义或描述目标软件系统需求规格说明的一种方法。形式方法按照需求规格说明的定义可分为以下两大类： 1．面向模型的形式方法 又称为基于状态描述的形式方法。其基本思想是利用域、元组、集合、序列、映射、包等这些已知特性的数学抽象概念来为目标软件系统的状态特征和行为特征构造形式语义模型。 10.1.2 形式方法的分类 2．代数构造形式方法 代数形式方法为目标软件系统的需求规格说明提供一些特殊的构造机制，并以代数构造方式描述目标系统的结构、功能。 10.1.3 形式方法的优缺点 形式方法的优点是： （1）对系统的需求规格说明描述精确、定义完整。 （2）形式化的需求规格说明有利于系统的设计与实现。 （3）软件实现的正确性可以形式验证，确保软件质量。 10.1.3 形式方法的优缺点 形式方法存在的缺点主要有： （1）形式化的需求规格说明可读性较差。 （2）形式化方法对软件设计人员提出较高要求，需进行更专业化的培训。 （3）形式方法只适用于能够静态定义的软件系统，它无法定义动态系统行为。 （4）形式化的规格说明即形式语义模型，其正确性验证费时费力，目前还不能简化或自动化 （5）形式方法目前还缺乏软件工程环境的支持 10.1.4 软件形式开发方法 如果在软件开发过程中应用形式方法则称为软件形式开发方法。 首先，在需求分析阶段的信息收集和信息分析工作中，采用形式化的规格说明语言构造目标软件系统严格的形式需求规格说明（形式语义）。 然后，以形式需求规格说明为起点，借助相应的形式开发支持工具辅助实现目标软件系统。 10.2 软件重用技术 软件重用就是重复利用已经存在的软件制品，包括代码、设计结构、模块实现、变换过程、规格说明、文档，用于构造新的软件系统。 对建立软件目标系统而言，所谓重用，就是利用某些早先开发的对建立新软件系统有用的软件元素来生产新系统。它是一项活动，而不是一个对象。 10.2 软件重用技术 对于新的软件开发项目而言，它们或者是构成新软件系统的构件，或者是在软件开发过程中发挥某种作用。通常将这些软件元素称为可重用构件。 实施软件重用的目的是要使软件开发工作进行得“更快、更好、更省”。 10.2 软件重用技术 软件重用是软件工程一个新的发展方向，在软