4、B.一个好的测试用例能够发现至今尚未发现的错误C.证明程序是正确、没有错误的D.一个成功的测试用例是发现了至今尚未发现的错误的测试15.IDEF0是IDEF方法的一部分,用于建立系统的(A)p36A.功能模型B.信息模型C.动态模型D.关系模型16.结构化设计是以哪个阶段产生的DFD图为基础,按一定的步骤映射成软件结构?(B)p41A.可行性分析B.需求分析C.概要设计D.详细设计17.数据字典是用来定义_________中的各个成份的具体含义的。( D )P30A.流程图B.功能结构图C.系统结构图D.数据流图18.DFD中的每个加工至少有( B )P27A