作者:蔡立志编著
出版社: 清华大学出版社
CIP号:2016028541
书号:978-7-302-42821-3
出版地:北京
出版时间:2016
定价:¥30
本书涵盖了软件测试的基础理论,涵盖了边界值、等价类、因果图;基于控制流的软件测试语句覆盖、分支覆盖、路径覆盖;基于组合分析的测试方法,如单因素覆盖、基本选择覆盖、成对测试;基于形式化规格说明书的测试方法:有限状态机、Petri网、Uml图;以及变异测试和蜕变测试等。