以下文档，（）不属于系统文档包括的内容。

单项选择题（）是一种黑盒测试技术，这种技术把程序的输入域划分成若干个数据类，据此导出测试用例。

A.等价划分
B.边界值分析

单项选择题调试是指在测试发现错误之后排除错误的过程，（）不属于调试途径。

A.蛮干法
B.回溯法
C.原因排除法
D.运用测试实例法

单项选择题软件测试方法一般有黑盒测试和白盒测试，而其中黑盒测试主要是依据程序的（）

A.结构
B.流程
C.功能
D.逻辑

单项选择题对软件是否能达到用户所期望的要求的测试称为（）

A.集成测试
B.系统测试
C.有效性测试
D.验收测试

单项选择题详细设计是软件总体设计滞后的工作。下列可选内容中，（）不属于详细设计内容。

A.算法设计
B.程序流程设计
C.界面设计
D.功能设计