本题考察的是净室软件工程（Cleanroom Software Engineering, CSE） 的基本概念与实施特征。
A选项净室软件工程是一种开发成本很高的软件开发方法：正确。净室方法强调形式化规格说明、设计和正确性验证，需要大量的人力、培训和严谨的流程，因此开发成本较高。
B选项净室软件工程开发的模块无需进行传统的模块测试：不正确。净室方法虽然强调通过形式化方法和正确性验证来预防缺陷，但完全不进行传统模块测试是不可行的。实际上，在实际应用中，仍然需要一定的测试活动来验证设计的正确性和系统行为的一致性。因此，该说法过于绝对。
C选项净室软件工程的理论基础主要是函数理论和抽样理论：正确。净室方法基于函数理论（用于形式化规范与设计）和抽样理论（用于统计测试），这是其理论基础的核心内容。
D选项采用正确性验证，使得净室项目的软件质量有了极大的提高：正确。净室方法通过设计阶段的正确性验证，能够在源头上消除缺陷，因此大大提高了软件的质量和可靠性。
因此，选项B是唯一不正确的描述。