净室理论基础来自于数学。HarlanMills敏锐地看出计算机程序可以执行一个数学函数，从而为软件开发确立了合适的科学基础。在他的早期论文“结构化程序设计的数学基础”、“计算机程序设计的新数学”和“如何正确编写和认识程序”中，解释了软件开发基于数学的函数理论。Mills在软件测试的统计特性方面同样敏锐地确立了相应的科学基础，也就是说，软件测试只是从无限的可能使用中抽取的样本。他的早期论文，如关于计算机程序的统计验证“将统计学应用于软件认证。Mills提出的软件的科学基础使得净室软件工程成为一个真正的工程学科。对Mills的基本思想感兴趣的读者，可从1988年相关出版物以及Mills的早期论文汇编<<软件生产率>>(由DorsetHouse公司出版)中获得第一手资料。

　　函数理论

　　净室开发方法基于数学中的函数理论。一个函数定义了一个从定义域到值域的映谢，定义域中的每个元素都可在值域中找到惟一的元素与之对应。一个特定的程序好似定义了一个从定义域(程序所有可能输入序列的集合)到值域(所有对应于输入的输出集合)的映射。这样一个程序的规范就是一个函数的规范，描述了一个程序的定义域(或输入序列)到值域(或输出空间)的映射。

　　一个定义明确(well-defined)的函数有如下特性：完备性、一致性和正确性。因为一个程序规范描述了一个函数，所以它必须是完备的、一致的和正确的。　　(1)数学完备性要求对定义域中的每个元素，值域中至少有一个元素与之对应。也就是说，每种可能的输入都必须定义，并有一个输出与之对应。

　　(2)数学一致性要求在值域中最多有一个元素与定义域中的同一元素对应，也就是说，每个输入只能对应一个输出。

　　(3)相对于需求的规范正确性由定义域专家判断。然而对于一个给定的正确的规范，某项设计及其规范的正确性是可以通过基于函数理论的推理来验证的。

　　Linger、Mills和Hevner(1986)提出的用于净室软件开发的盒子结构的方法取代了由Linger、Mills和Witt(1997)提出的将数学函数理论应用于软件开发的方法。被明确提出的有三种功能形式的盒子：黑盒、状态盒和明盒。

　　统计理论

　　净室测试方法基于统计学。过去的几十年中统计学在工程中获得了广泛的成功和应用。当从经济上或技术上无法测试样本全体时，可以使用统计抽样的方法。如果统计结果没有达到质量目标，生产过程需做必要调整。这种以统计学为坚实基础的从产品度量到生产过程之间的反馈循环，得到了广泛的认可和应用。怎样把这种方法应用于软件呢?在制造业，统计数字在于所生产产品的有形变化;在一些处理过程(如包裹投递)中，统计数学牌预期处理的偏差中，那么在软件中统计数学中如何产生呢?

　　在软件中，用于采样的全体(population)是所有可能使用情况的集合其中集合中的每个元素代表系统的一种可能运行情况。统计的目的是度量系统正确运行一个样本的能力。因为总体是无限的，完全的测试是不可能的，所以必须利用统计学方法来对系统发生做一个有效的推理。测试过程不论如何扩展，在所有可能的输入序列中都只能算一个很小的集合所有的测试活动只能是无限总体中的抽样。

　　在净室软件工程中，统计测试既可用于产品检测(单开发过程循环的结果)，也可用于过程检测(多开发过程循环的结果)。净室采用增量开发的迭代过程，这样可测量和提高运行的一致性。

　　净室小组的工作

　　净室开发小组完成三项主要工作：制定系统规范、开发和认证。开发小组通常很小，由3~8人组成，这样可减少协调和简化通信。小组中有一名组长。根据整个组的责任和进度优先级，任务在小组内部分配和协调。对于小组规模项目，一个小组足够了。这种情况下，小组在开发的不同阶段分别完成规范制定、开发和认证工作。对于中等规模的项目，可能需要组际(team-of-teams)方法。一个最初的组通常由一些最有经验的人组成。他们规范和定义系统的结构，开发并认证一两个增量，并为子系统制定规范。然后由这个初始小组的成员担任开发和认证各个子系统的小组组长。为了适应用户需求变化或系统层次策略的改变，初始小组在一段时间(1天或一个月或更长时间)后可能重组。对于大规模的系统，组际方法是必要的，可能会指定规范组、开发组和认证组。因此，应该组成三个初始组，一个组制定系统规范，一个组开发初始增量，还有一个组认证这些增量。之后这些组的成员在子系统层次上领导特定小组。无论是什么组织，所有小组成员都要接受净室技术培训。这种培训可在有经验的小组领导的指导下作为在职训练进行。

[1][2]