单项选择题 以下状态迁移图（中括号表示状态，箭头表示边）：[a]->[b]，[b]->[c]，[b]->[d]则覆盖所有边至少需要（）个案例。

单项选择题 以下状态迁移图（中括号表示状态，箭头表示边）：[a]->[b]，[b]->[c]，[c]->[d]，[b]->[d]，[a]->[c]则覆盖所有边至少需要（）个案例。

单项选择题 在输入条件规定了一个整数取值范围的前提下，可以确定（）个有效等价类和（）个无效等价类。

单项选择题 对于以下Java代码片段，为了达到分支覆盖，至少需要（）个用例。