哈尔滨营销型网站建设,室内设计应届生简历,网站开发需要团队吗,企业邮箱怎么注册格式所属章节#xff1a;
第5章. 软件工程基础知识 第5节. 净室软件工程 1. 概述
净室#xff08;Cleaning Room#xff09;软件工程是一种应用数学与统计学理论#xff0c;以经济的方式生产高质量软件的工程技术#xff0c;力图通过严格的工程化的软件过程达到开发中的零缺…所属章节
第5章. 软件工程基础知识 第5节. 净室软件工程 1. 概述
净室Cleaning Room软件工程是一种应用数学与统计学理论以经济的方式生产高质量软件的工程技术力图通过严格的工程化的软件过程达到开发中的零缺陷或接近零缺陷。净室方法不是先制作一个产品再去消除缺陷而是要求在规约和设计中消除错误然后以“净”的方式制作可以降低软件开发中的风险以合理的成本开发出高质量的软件。
净室软件工程Cleanroom Software EngineeringCSE是一种在软件开发过程中强调在软件中建立正确性的需要的方法。在净室软件工程背后的哲学是通过在第1次正确地书写代码增量并在测试前验证它们的正确性来避免对成本很高的错误消除过程的依赖。它的过程模型是在代码增量积聚到系统的过程的同时进行代码增量的统计质量验证。它甚至提倡开发者不需要进行单元测试而是进行正确性验证和统计质量控制。
净室是一种以合理的成本开发高质量软件的基于理论、面向工作组的方法。净室是基于理论的因为坚实的理论基础是任何工程学科所不可缺少的。再好的管理也替代不了理论基础。净室是面向工作组的因为软件是由人开发出来的并且理论必须简化到实际应用才能引导人的创造力和协作精神。净室是针对经济实用软件的生产的因为在现实生活中业务和资源的限制必须在软件工程中予以满足。最后净室是针对高质量软件的生产的因为高质量改进管理降低风险及成本满足用户需求提供竞争优势。 2. 理论基础
净室软件工程的理论基础主要是函数理论和抽样理论。
1函数理论
一个函数定义了从定义域到值域的映射。一个特定的程序好似定义了一个从定义域所有可能的输入序列的集合到值域所有对应于输入的输出集合的映射。这样一个程序的规范就是一个函数的规范。
一个明确定义的函数应当具有以下特性
完备性
对定义域中的每个元素值域中至少有一个元素与之对应。对程序而言每种可能的输入都必须定义并有一个输出与之对应。
一致性
在值域中最多有一个元素与定义域中的同一元素对应。对程序而言每个输入只能对应一个输出。
正确性
函数的正确性可以由上述性质判断。对程序而言某项设计的正确性可以通过基于函数理论的推理来验证。
2抽样理论
不可能对软件的所有可能应用都进行测试。把软件的所有可能的使用情况看作总体通过统计学手段对其抽样并对样本进行测试根据测试结果分析软件的性能和可靠性。
