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