— He's already back to Australia, _____? 

— _____. He is on a visit to Shanghai. [ ]

A. isn't he; No

B. hasn't he; Yes

C. isn't he; Yes

D. hasn't he; No

单元测试中必须进行的测试是（）

A、功能测试

B、接口测试

C、边界测试

D、重要执行路径测试

E、局部数据结构测试

F、语句覆盖和分支覆盖测试

G、错误处理能力测试

H、在不同语言或不同操作系统环境下被调用的正确性测试

I、资源占用、运行时间、响应时间等测试