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