扫一扫二维码
进群一起备考
查看更多
当前 - 选择题 - 开发模型中等
单选题
2025年5月第20题
中等
单选题
2025年5月第20题
#第二版教材
#必须掌握
净室（Cleanroom）软件工程是一种强调形式化规格说明与增量开发的软件开发方法，请问它主要基于哪种理论基础（函数理论和抽样理论）。
问题（1）
浓缩知识点
净室软件工程是融合形式化规格说明与增量开发的高可靠性软件开发方法，其核心理论基础为函数理论与抽样理论。其中函数理论通过将软件各模块建模为数学函数，以形式化方式精准定义系统行为，从开发源头保障软件功能的可预见性与正确性，最大程度规避错误引入；抽样理论则应用于软件统计测试环节，通过对输入空间进行科学合理的抽样分析来评估软件可靠性，无需开展全面穷举测试，在保证测试有效性的同时显著提升测试效率。需注意的是，净室软件工程的理论基础并非单一的概率统计，也与控制理论、状态机理论等无核心关联，它依托双理论支撑，聚焦于构建低缺陷、高可信的软件系统。
正确答案
A
本题考察的是净室软件工程的理论依据。
净室方法的两个核心理论基础是： 函数理论（Function Theory）：用于形式化描述软件系统的行为，强调通过数学函数来构建无错误的软件系统。软件的每个模块都被建模为数学上的函数，保证其行为的可预见性和正确性。 抽样理论（Sampling Theory）：应用在软件的统计测试阶段，通过对输入空间的合理抽样来评估软件的可靠性，而不是全面穷举测试。
选项B的“概率统计” 虽然与抽样有关，但表述不精确，不能覆盖函数理论的部分，故不选。
其他选项（C、D） 也涉及某些工程方法，但不是净室工程的核心理论依据。
因此选择选项 A。