冯济舟 项利萍 刘梦飞

（中国电子科技集团第三十八研究所，安徽 合肥 230088）

黑盒预处理功能可测试性的研究

冯济舟 项利萍 刘梦飞

（中国电子科技集团第三十八研究所，安徽 合肥 230088）

通过对黑盒预处理功能可测试性的数学建模和理论证明，总结出可测试性黑盒预处理功能的判定步骤和测试方法，并通过一个实例进行详述。

黑盒预处理功能；可测试性；数学建模；理论证明

软件测试作为能力成熟度模型集成（CMMI，Capability Maturity Model Integration）验证（Verification，Ver）和确认（Validation，Val）过程域的重要实现手段，是软件生命周期模型中的重要阶段，是保证软件质量的重要途径。近年来，随着软件规模和复杂程度的不断提高，软件测试的难度也不断提高。

预处理是软件执行流程中最早经历的处理过程，是软件系统重要的组成部分。如果预处理功能出现问题，即使之后的业务功能均实现正确，最后也都会导致软件运行结果的失败。但是当出现测试结果失败时，由于没有定位到问题的来源，软件开发人员往往将排查问题的重心放在核心业务功能的实现上，如此造成了开发时间、开发资源和成本的浪费，进而导致软件项目进度的延误。

如图1所示黑盒软件基本流程图，图中的被测软件通过对输入进行预处理后转入实际功能模块，通过实际功能的输出判定软件是否满足用户的需要。在此情况下，当软件输出出现问题时，我们无法断定究竟是软件预处理功能的错误，还是软件实际功能的错误。然而在实际过程中，预处理功能往往是用户重要的隐性需求，并且预处理功能的正确实现往往是整个系统能否正确实现的前提，在软件结构流程中起到至关重要的作用。……