软件测试:等价类划分测试方法,边界值分析测试方法,逻辑覆盖测试用例设计,基本路径测试用例设计方法,程序的静态分析,单元测试方法实践