作為軟件測試（包括白盒測試和黑盒測試）中的一個基本問題，測試用例自動生成尤為重要，這是因為白盒測試中的許多問題（如控制流測試和數(shù)據(jù)流測試）以及黑盒測試中的一些問題都可以歸結(jié)為測試用例生成問題。解決這個問題的本質(zhì)在于約束系統(tǒng)的建立和求解。約束求解是人工智能的一個傳統(tǒng)研究方向。本書將系統(tǒng)地研究如何進行軟件系統(tǒng)的約束建

本書以Windows為平臺，從入門者的角度，以簡潔、通俗易懂的語言系統(tǒng)全面地講解了Python3的基礎(chǔ)知識。全書共分9個項目，內(nèi)容包括Python概述、基礎(chǔ)語法、常用語句、字符串、列表、元組和字典、函數(shù)、文件、異常和錯誤、面向?qū)ο缶幊痰�。本書附有教學課件、源代碼、習題等課程資源。本書可作為計算機相關(guān)專業(yè)的Python教

本書將幫助你更好地理解如何將威脅建模應(yīng)用到實踐中，以保護你的系統(tǒng)免受網(wǎng)絡(luò)攻擊威脅。本書的主要重點是如何使用威脅建模來分析系統(tǒng)設(shè)計，以便你可以識別系統(tǒng)實施和部署中固有的風險，并規(guī)避這種風險。本書不提供用于安全設(shè)計或特定拓撲、系統(tǒng)、算法分析的方法，而是提供識別風險情況所需的工具、解決這些風險情況的具體方法選項，并為你提供更

本書自2010年首次出版，經(jīng)歷多次印刷，廣受讀者認可。第3版在第2版內(nèi)容基礎(chǔ)之上，遵循網(wǎng)絡(luò)系統(tǒng)集成思路，按照技術(shù)專題的方式迎合教學內(nèi)容，以適應(yīng)當前人才培養(yǎng)教學的需要和網(wǎng)絡(luò)發(fā)展。本書從真實案例和實踐出發(fā)，以核心技術(shù)和應(yīng)用為中心，比較全面地介紹了局域網(wǎng)技術(shù)與組網(wǎng)工程的主要內(nèi)容。全書共10章，具體內(nèi)容包括：局域網(wǎng)概述、有線局

《C程序設(shè)計實踐教程（第三版）（普通高等教育計算機類專業(yè)教材）》是與《C程序設(shè)計》（第三版）配套的教學參考書，全書包括實驗指導、章節(jié)練習和程序設(shè)計實踐MFC基礎(chǔ)3部分內(nèi)容。在實驗指導部分設(shè)計了15個實驗，這些實驗和課程內(nèi)容緊密配合，可幫助讀者更好地掌握C程序設(shè)計的方法。章節(jié)練習部分為幫助讀者進行課外練習而編寫，是課程學

在區(qū)塊鏈發(fā)展歷程中，以太坊的誕生具有里程碑式的意義。本書介紹使用Solidity開發(fā)以太坊智能合約DApp的方法，內(nèi)容涵蓋Solidity的基本語法，使用開發(fā)框架Truffle開發(fā)、部署、測試以太坊DApp的方法，通過以太坊測試網(wǎng)絡(luò)進行交易的方法，開發(fā)安全智能合約所應(yīng)遵守的規(guī)范和對智能合約進行安全審計的方法等。讀者在閱

Go語言是近年來非常流行的新興編程語言，它不僅是以太坊客戶端和HyperledgerFabric區(qū)塊鏈平臺的開發(fā)語言，而且廣泛應(yīng)用于區(qū)塊鏈應(yīng)用的開發(fā)。本書介紹使用Go語言開發(fā)的經(jīng)典聯(lián)盟鏈項目HyperledgerFabric，它由Linux基金會管理。國外的微軟、摩根大通、世界銀行和國內(nèi)的華為、阿里巴巴、百度、騰訊等企

本書是一部關(guān)于現(xiàn)代數(shù)據(jù)庫系統(tǒng)的基本原理、技術(shù)和應(yīng)用的教材。第一篇介紹了數(shù)據(jù)庫基礎(chǔ)知識及MySQL的基礎(chǔ)操作；第二篇介紹了數(shù)據(jù)庫事務(wù)管理、數(shù)據(jù)庫的保護及MySQL的高級應(yīng)用；第三篇描述了關(guān)系數(shù)據(jù)庫的設(shè)計與實現(xiàn)，并給出了一個具體的數(shù)據(jù)庫設(shè)計案例。本書以數(shù)據(jù)庫管理系統(tǒng)的出現(xiàn)背景為線索，引出數(shù)據(jù)庫的相關(guān)概念及數(shù)據(jù)庫的整個框架體

本書是江蘇省高等學校重點教材《數(shù)據(jù)結(jié)構(gòu)原理與應(yīng)用》的配套教材，補充與拓展課堂教學內(nèi)容，銜接理論與實踐。本書在選材與編排上以易讀易用易練可研為目標，為數(shù)據(jù)結(jié)構(gòu)相關(guān)課程提供全方位的實踐練習指導。全書分為4篇：第1篇是原理篇，簡述典型結(jié)構(gòu)（線性表、棧和隊列、數(shù)組和矩陣、樹和二叉樹、圖等）及其在計算機中的實現(xiàn)原理，查找和排序的

AdobeAfterEffects2020可以幫助用戶高效、精確地創(chuàng)建引人入勝的動態(tài)圖形和視覺效果，其強大功能在于可以快速地對視頻進行剪輯處理，比如，分割或拼接視頻片段，添加特效和過渡效果，融合數(shù)碼照片、音樂和視頻等。全書共分10章，包括制作海報文字AdobeAfterEffects2020基礎(chǔ)操作、科技信息展示關(guān)鍵幀