净室软件工程.pptxVIP

Email:tanghx@hit.edu.cn;“净室”（Cleanroom）一词源自半导体工业中硬件生产车间，通过严格、洁净的生产过程预防了缺陷的产生，而不是在事后再去排除故障。借用这个词，充分显示了净室技术“防患于未然”的主导思想;通过在第一次正确的书写代码增量，并在测试前验证其正确性来避免成本过高的缺陷消除过程。它的过程模型是在代码增量集成到系统的同时，进行代码增量的统计质量验证。;20世纪70年代末80年代初，资深数学家和IBM客座科学家Harlan Mills阐述了将数学、统计学及工程学上的基本概念应用到软件的设想 ;净室软件工程的发展;致力于通过防止软件缺陷来提高软件质量 立足于严格的科学理论基础 强调净室小组：制定系统规范、开发和认证； 基本目标是：开发过程的可管理性和使用时的无失效性;函数理论和抽样理论 函数理论 一个函数定义了从定义域到值域的映射。一个特定的程序好似定义了一个从定义域（所有可能的输入序列的集合）到值域（所有对应于输入的输出集合）的映射。这样，一个程序的规范就是一个函数的规范 抽样理论 不可能对软件的所有可能应用都进行测试。把软件的所有可能的使用情况看作总体，通过统计学手段对其进行抽样，并对样本进行测试，根据测试结果分析软件的性能和可靠性;统计过程控制下的增量式开发（Incremental Development）：增量是最终软件产品的功能子集，系统功能随时间增加 基于函数的规范、设计：盒子结构方法按照函数理论定义了三种抽象层次：行为视图、有限状态机视图和过程视图。 规范从一个外部行为视图（称为黑盒）开始 然后被转化为一个状态机视图（称为状态盒） 最后由一个过程视图（明盒）来实现 盒子结构是基于对象的;正确性验证：是CSE的核心，正是由于采用了这一技术，净室项目的软件质量才有了极大的提高 统计测试（Statistically Based Testing）和软件认证：净室测试方法采用统计学的基本原理，即当总体太大时必须采取抽样的方法。首先确定一个使用模型（usage model）来代表系统所有可能使用的（一般是无限的）总体。然后由使用模型产生测试用例。因为测试用例是总体的一个随机样本，所以可得到系统预期操作性能的有效统计推导;净室软件工程的基本模型;净室的组成;系 统 工 程;增量开发的理论基础;功能规范;净室技术-基于函数规范的设计和验证;设计求精和验证;;黑盒规范的原则;黑盒的组成(例);状态盒;状态盒组成（例）;明盒(清晰盒) 是一个计算机程序或程序集 将 (OS,S) (NS,R),借助过程实现 明盒的过程可以重用己有的黑盒或在求精过程中引入新的黑盒 明盒的正确性验证是基于数学方法，证实一个过程与其规范相符;盒子的层次结构;盒子结构原则;净室技术-统计测试和软件认证;盒子结构开发过程;净室实例;净室实例-设计求精与验证;净室实例-设计求精与验证;CMM是软件组织进行软件过程改进以及评估和评价软件能力的基准。但在具体的过程改进实施中，需要有效的软件工程方法支持 净室软件工程正是为过程改进提供了具体实施方法，它能够及早发现并消除缺陷，显著提高软件的正确性、可靠性和可理解性，降低项目的成本，提高软件质量，延长软件的生命周期;可将净室软件工程应用到CMM的实践中，从组织管理和技术工程实践两个方面改进软件过程，从而更加经济有效地提升软件质量 在CMM中，关键实践仅仅描述了应该“做什么”，并没有给出更没有规定“如何”去具体操作，操作的方法和步骤必须由软件组织自己去解决 CMM只是对软件组织过程改进的指导，而非解决一切软件开发过程中的问题的法宝。在实施CMM的过程中，仍然需要有效的软件工程技术和方法，如“净室软件工程”方法的支持;基于CMM的净室裁剪;基于CMM的裁剪原则;基于净室的裁剪方法;针对净室技术形式化程度的裁剪;针对净室技术形式化程度的裁剪;针对净室技术形式化程度的裁剪;净室过程的优点;CSE太理论化，需要更多的数学知识。其正确性验证的步骤比较困难且比较耗时 CSE要求采用增量式开发、采用盒子结构、采用统计测试方法，普通工程师必须经过加强训练才能掌握 CSE开发小组不进行传统的模块测试，这是不现实的。工程师可能对编程语言和开发环境还不熟悉，而且编译器或操作系统的bug也可能导致未预期的错误;净室过程中的关键技术分析;净室软件工程方法的效果;The End;1、有时候读书是一种巧妙地避开思考的方法。五月-20五月-20Wednesday, May 27, 2020 2、阅读一切好书如同和过去最杰出的人谈话。18:29:5718:29:5718:295/27/2020 6:29:57 PM 3、越是没有本领的就越加自命不凡。五月-2018:29:5718:29May-2027-