在实际的逻辑覆盖测试中，一般以（）为主设计测试用例。

A.你永远也不可能完成测试
B.当你时间不够或者资金不够用的时候，就完成了测试
C.我们不能绝对地认定软件永远也不会再出错，但可以根据合理和有效的统计模型来判定软件的测试程度
D.软件测试是不可以穷尽的

A.程序的内部逻辑
B.程序的复杂结构
C.使用说明书
D.程序的功能

A.状态图
B.流程图
C.数据流分析图
D.因果图