设计下列伪程序的判定覆盖测试用例。
if (a>10) then
x=10
else
x=1
end if
if（b>10）and (t<3) then
y=20
else
y=2
end if
if(c>15) then
z=30
else
z=3
end if

判断覆盖标准为，不仅使条语句都至少执行一次，还要是程序中每个分支都至少执行一次。也就是说，设计的测试用例使每个判定都有一次取“真”和“假”的机会。 测试用例(不唯一)：a=16 t=0 b=11 c=16； a=5 t=0 b=10 c=15