微软的PICT,pair法生成测试用例。使用比较简单,看自带的Help就能搞定