扫一扫
关注中图网
官方微博
出版社：
售价：
-
基于人工智能的测试用例自动生成与测试用例集优化
¥47.6(7折)定价:¥68.0本书将系统地研究如何进行软件系统的约束建模和求解，利用人工智能的各种技术，对一些特殊情况(复杂数据类型、线性约束的区间初始化、库函数等)给出切实可行的解决方案。提升回归测试效率的一个重要方法是对测试用例集进行优化，目前常见的优化方法有3种，分别是测试用例集约简、选择和优先级排序。这3种方法分别适用于不同场景。本书主要关注测试用例集约简和测试用例优先级排序，通过对相关问题和已有方法的调研，将现在应用比较广泛的人工智能中的群智能算法和一些
-
源代码分析
¥80.5(7折)定价:¥115.0本书系统介绍了软件源代码分析的基本原理和常用方法, 同时介绍了当今比较主流的基于源代码分析的测试工具, 基本上涵盖了当今源代码分析技术的全部内容。本书共分11章, 内容包括: 源代码分析概要、抽象解释、符号计算、区间运算技术、路径敏感分析、抽象内存建模、上下文分析、程序切片、路径计算、约束求解和源代码分析应用...
