采用白盒法测试模块(程序),应根据( )进行。(0.5)
A. 内部逻辑结构
B. 算法复杂度
C. 外部功能特性
D. 支撑环境
设有下列语句序列:(x>1) and (y<=5) then z←x * y;se z←x+y;z=12 then z←2 * z。用判定条件覆盖法进行测试,则应选用( )为测试用例。(0.5)
A. x=1, y=12; x=4, y=7
B. x=2, y=1; x=3, y=3
C. x=3, y=4; x=1, y=9
D. x=4, y=5; x=1, y=6