软件测试导论

本书涵盖了软件测试的基础理论，涵盖了边界值、等价类、因果图；基于控制流的软件测试语句覆盖、分支覆盖、路径覆盖；基于组合分析的测试方法，如单因素覆盖、基本选择覆盖、成对测试；基于形式化规格说明书的测试方法：有限状态机、Petri网、Uml图；以及变异测试和蜕变测试等。