通过一个程序模块设计白盒测试用例,并详细介绍了设计的过程