在我国，劳动争议仲裁委员会是( )。

A．劳动保障行政部门的内设机构
B．隶属人民法院的仲裁机构
C．人民政府的组成机构
D．劳动行政部门代表、同级工会代表和用人单位方面的代表组成的机构

Myers在1979年提出了一个重要观点，即软件测试的目的是为了______。

A．证明程序正确

B．查找程序错误

C．改正程序错误

D．验证程序无错误