【简介】本书提出了一种基于程序切片技术的自动化软件测试工具架构，提出了一种测试数据的自动生成和测试用例集约简的框架模型，便于在整个测试过程实现测试用例集的自动化管理。同时，将基于I O关系的黑盒测试用例集约简技术归结为问题空间(I,O),提出了两种算法对(I,O)进行约简，进而利用贪心算法实现约简。最后，将程序切片技术和测试信息相结合提出了两种软件错误定位策略。本书有较高的理论创新价值，值得出版。