白盒测试以检查处理过程的细节为基础，对程序中尽可能多的（）进行测试，检查内部（）和（）是否有错，程序的（）与预期的状态是否一致。