按證明論和證偽論兩種哲學(xué)思想原理，把現(xiàn)今存在的軟件測(cè)試工作進(jìn)行了梳理，闡述了各種思想原理對(duì)軟件測(cè)試技術(shù)的發(fā)展的貢獻(xiàn)。還提出了一些技術(shù)模型和理論模型，用實(shí)例表明重視思想原理對(duì)于軟件測(cè)試具體實(shí)踐的重要性。對(duì)于計(jì)算機(jī)科學(xué)《軟件測(cè)試》課程的學(xué)生、研究生和教師，這本書是一本較好參考讀物。對(duì)于研究軟件測(cè)試的專家和從事軟件測(cè)試工作的

本書以SQLServer2016中文版為平臺(tái)，系統(tǒng)地介紹數(shù)據(jù)庫(kù)基礎(chǔ)、SQLServer2016及其應(yīng)用。全書以圖書管理系統(tǒng)數(shù)據(jù)庫(kù)貫穿，以其他數(shù)據(jù)庫(kù)輔助。教程部分共10章，系統(tǒng)地講解SQLServer2016的基本功能。實(shí)驗(yàn)部分主要針對(duì)SQLServer2016基本操作和基本語句，分為基本訓(xùn)練和擴(kuò)展訓(xùn)練。綜合應(yīng)用部分創(chuàng)建

在JavaWeb開發(fā)領(lǐng)域，各種新技術(shù)層出不窮。本書介紹了用Spring開發(fā)JavaWeb應(yīng)用的各種技術(shù)，包括SpringMVC框架、數(shù)據(jù)驗(yàn)證、攔截器、異常處理機(jī)制、Web應(yīng)用的國(guó)際化、服務(wù)器端異步處理客戶請(qǐng)求、AOP面向切面編程、通過SpringJDBCAPI訪問數(shù)據(jù)庫(kù)、通過SpringDataAPI訪問數(shù)據(jù)庫(kù)、RES

本書介紹編譯理論的基礎(chǔ)及實(shí)現(xiàn)方法，強(qiáng)調(diào)語言的形式化定義、編譯技術(shù)和各種概念及實(shí)現(xiàn)過程的具體方法。全書共10章，內(nèi)容包括引論、形式語言和有限自動(dòng)機(jī)理論、詞法分析、自頂向下的語法分析、自底向上的語法分析、語法制導(dǎo)翻譯與中間代碼生成、運(yùn)行時(shí)的存儲(chǔ)組織與分配、符號(hào)表、代碼優(yōu)化及目標(biāo)代碼生成。介紹過程以算法為核心，力求簡(jiǎn)潔明了地

《深入理解Java高并發(fā)編程》致力于介紹Java高并發(fā)編程方面的知識(shí)。由于多線程處理涉及的知識(shí)內(nèi)容十分豐富，因此介紹時(shí)必須從Java層面的講解一直深入到底層的知識(shí)講解。為了幫助讀者輕松閱讀本書并掌握其中知識(shí)，本書做了大量基礎(chǔ)知識(shí)的鋪墊。在第1篇基礎(chǔ)知識(shí)儲(chǔ)備中，主要介紹計(jì)算機(jī)原理、并發(fā)基礎(chǔ)、常見語言的線程實(shí)現(xiàn)、Java并

《JavaScript從入門到精通（第4版）》從初學(xué)者角度出發(fā)，通過通俗易懂的語言、豐富多彩的實(shí)例，詳細(xì)介紹了使用JavaScript語言進(jìn)行程序開發(fā)需要掌握的各方面技術(shù)。全書分為4篇，共21章，內(nèi)容包括初識(shí)JavaScript、JavaScript基礎(chǔ)、流程控制、函數(shù)、JavaScript對(duì)象與數(shù)組、字符串與數(shù)值處理

本書為以C語言作為入門的程序設(shè)計(jì)類課程編寫的教材。本書采用“分層案例剖析”的編寫方式，深入淺出地講解了程序設(shè)計(jì)的基本知識(shí)，使讀者循序漸進(jìn)地掌握C語言的編程方法和思想，提高讀者掌握用計(jì)算機(jī)解決實(shí)際問題的能力。本書先通過分析精心設(shè)計(jì)且淺顯易懂的案例，詳細(xì)介紹C語言的基本知識(shí)點(diǎn)，并在此基礎(chǔ)上進(jìn)一-步加大難度，重點(diǎn)講解復(fù)合數(shù)據(jù)

《游戲設(shè)計(jì)概論》由《巴冷公主》游戲開發(fā)團(tuán)隊(duì)為讀者全方位了解游戲行業(yè)而編寫。第6版在原暢銷書的基礎(chǔ)上適時(shí)更新了手機(jī)游戲應(yīng)用開發(fā)、電子競(jìng)技等內(nèi)容。全書共分16章，從游戲玩家與電子競(jìng)技選手的入門課開始，介紹電子競(jìng)技游戲的基本知識(shí)、游戲設(shè)計(jì)的核心、游戲設(shè)計(jì)流程與控制、游戲引擎的秘密花園、游戲開發(fā)工具簡(jiǎn)介、人工智能算法在游戲中的

本書以業(yè)界開源性能測(cè)試工具JMeter為依托，結(jié)合真實(shí)的工作實(shí)踐，用通俗易懂的語言層層深入講解性能測(cè)試技能。全書共分為5章和6個(gè)附錄，第1章講解性能測(cè)試基礎(chǔ)知識(shí)，包括性能測(cè)試的整體知識(shí)體系、必備基礎(chǔ)知識(shí)和通用標(biāo)準(zhǔn)等；第2章講解初級(jí)性能測(cè)試技能，包括JMeter九大核心組件的使用、測(cè)試腳本的編寫等；第3章講解中級(jí)性能測(cè)試

本書以區(qū)塊鏈研究和比特幣為代表的數(shù)字加密貨幣的應(yīng)用現(xiàn)狀為切入點(diǎn)，系統(tǒng)并深入地介紹區(qū)塊鏈基礎(chǔ)理論和關(guān)鍵技術(shù)；從區(qū)塊鏈應(yīng)用面臨的機(jī)遇與挑戰(zhàn)出發(fā)，探究區(qū)塊鏈技術(shù)與各領(lǐng)域融合發(fā)展的應(yīng)用前景；以區(qū)塊鏈技術(shù)應(yīng)用平臺(tái)為基礎(chǔ)，給出基于區(qū)塊鏈的版權(quán)存證開發(fā)實(shí)例。本書技術(shù)原理詳盡，內(nèi)容全面，開發(fā)步驟清晰。