单项选择题
下图所示为两个有限自动机M1和M2(A是初态、C是终态),()。
A.M1 和M2都是确定的有限自动机 B.M1和M2 都是不确定的有限自动机 C.M1是确定的有限自动机,M2是不确定的有限自动机 D.M1 是不确定的有限自动机,M2 是确定的有限自动机
A.错误猜测 B.逻辑覆盖 C.边界值分析 D.等价类划分
A.软件测试不仅能表明软件中存在错误,也能说明软件中不存在错误 B.软件测试活动应从编码阶段开始 C.一个成功的测试能发现至今未发现的错误 D.在一个被测程序段中,若已发现的错误越多,则残存的错误数越少