阅读下面程序，下列选项中，能够完成语句覆盖的测试用例是（）
if（（x>4）||（z<7））
{
k=x*y-1；
j=sqrt（k）；
}
if（（x==8）&&（y>5））
{
j=x%y+2；
}
j=j%3；

A.在软件测试过程中要确定程序缺陷的确切位置，并对程序设计和编码进行修改
B.软件测试是在程序编码完成之后才开始进行的
C.软件测试是通过现象，找出原因的一个思维分析过程
D.软件测试的主要工作是验证产品是否满足了用户的需求

A.GB/T8566
B.GB/T16260
C.GB/T18905
D.GB/T17544
E.GB/T11457
F.GB/T15532