-
包郵中國金融市場的利益沖突與倫理規制
¥21.8(6.6折)定價:¥33.0書直面中國金融市場各參與主體間的利益沖突,將金融市場和倫理兩個不同的利于結合起來,從金融市場的客觀需求來研究金融市場的內生倫理。 ...
-
包郵基于人工智能的測試用例自動生成與測試用例集優化
¥34.3(5折)定價:¥68.0本書將系統地研究如何進行軟件系統的約束建模和求解,利用人工智能的各種技術,對一些特殊情況(復雜數據類型、線性約束的區間初始化、庫函數等)給出切實可行的解決方案。提升回歸測試效率的一個重要方法是對測試用例集進行優化,目前常見的優化方法有3種,分別是測試用例集約簡、選擇和優先級排序。這3種方法分別適用于不同場景。本書主要關注測試用例集約簡和測試用例優先級排序,通過對相關問題和已有方法的調研,將現在應用比較廣泛的人工智能中的群智能算法和一些
-
包郵源代碼分析
¥80.5(7折)定價:¥115.0本書系統介紹了軟件源代碼分析的基本原理和常用方法, 同時介紹了當今比較主流的基于源代碼分析的測試工具, 基本上涵蓋了當今源代碼分析技術的全部內容。本書共分11章, 內容包括: 源代碼分析概要、抽象解釋、符號計算、區間運算技術、路徑敏感分析、抽象內存建模、上下文分析、程序切片、路徑計算、約束求解和源代碼分析應用...