白盒测试若干方法和JUNIT及部分测试工具