官术网_书友最值得收藏!

嵌入式軟件系統(tǒng)測試:基于形式化方法的自動化測試解決方案
會員

本書的主要內(nèi)容包括:第1章介紹嵌入式系統(tǒng)及軟件的基本概念;第2章介紹嵌入式軟件工程及質(zhì)量與可靠性的相關(guān)知識;第3章系統(tǒng)地介紹基于形式化方法的嵌入式軟件系統(tǒng)測試?yán)碚摽蚣芗凹夹g(shù);第4章討論實(shí)時嵌入式軟件自動化測試描述方法,主要從實(shí)時嵌入式軟件測試描述語言的設(shè)計(jì)及運(yùn)行機(jī)制等方面進(jìn)行闡述;第5章著重討論智能終端應(yīng)用(嵌入式)軟件系統(tǒng)測試技術(shù),從Android系統(tǒng)基礎(chǔ)開始,對測試用例生成、回歸測試及壓力測試等方面做了重點(diǎn)講解;第6章重點(diǎn)討論嵌入式軟件系統(tǒng)測試環(huán)境構(gòu)建技術(shù),提出實(shí)時嵌入式軟件仿真測試虛擬機(jī)規(guī)范的設(shè)計(jì)思路,同時對實(shí)時嵌入式軟件仿真測試環(huán)境的體系結(jié)構(gòu)設(shè)計(jì)以及測試執(zhí)行引擎的設(shè)計(jì)、實(shí)現(xiàn)及效率等進(jìn)行了探討;第7章給出典型航電系統(tǒng)嵌入式軟件測試實(shí)例。本書既可為從事軍用/民用領(lǐng)域嵌入式系統(tǒng)開發(fā)、驗(yàn)證及維護(hù)的專業(yè)技術(shù)人員提供參考,也可作為高等院校計(jì)算機(jī)、軟件工程、嵌入式系統(tǒng)及相關(guān)專業(yè)本科生和研究生的參考讀物。

殷永峰 姜博編著 ·程序設(shè)計(jì) ·11.9萬字

FPGA Verilog開發(fā)實(shí)戰(zhàn)指南:基于Intel Cyclone IV(進(jìn)階篇)
會員

在《FPGAVerilog開發(fā)實(shí)戰(zhàn)指南:基于IntelCycloneIV(基礎(chǔ)篇)》中,我們主要針對FPGA基礎(chǔ)入門知識進(jìn)行了講解,包含硬件說明篇、軟件安裝篇、基礎(chǔ)入門篇、學(xué)習(xí)強(qiáng)化篇,共32章,講解方式由淺入深,讓你充分了解FPGA的前世今生,學(xué)會開發(fā)平臺的搭建與使用,掌握FPGA的正確開發(fā)流程與設(shè)計(jì)思想(包括VerilogHDL代碼的編寫)及板卡部分配套外設(shè)的使用。當(dāng)你完成基礎(chǔ)篇內(nèi)容的學(xué)習(xí)后,對FPGA設(shè)計(jì)方法會有新的認(rèn)識,在進(jìn)行項(xiàng)目開發(fā)時會更加得心應(yīng)手。本書銜接基礎(chǔ)篇,繼續(xù)介紹FPGA開發(fā)實(shí)戰(zhàn)的相關(guān)內(nèi)容。本書包含12章,主要講解了WM8978音頻回環(huán)、SDRAM、攝像頭、SD卡、以太網(wǎng)的相關(guān)知識,同時設(shè)計(jì)并實(shí)現(xiàn)了SDRAM數(shù)據(jù)讀寫控制器、SD卡數(shù)據(jù)讀寫控制器,以及基于RMII接口的以太網(wǎng)數(shù)據(jù)收發(fā)控制器,并以此為基礎(chǔ),進(jìn)一步實(shí)現(xiàn)了攝像頭采集圖像的VGA實(shí)時顯示、SD卡存儲音樂播放,以及基于以太網(wǎng)的圖像、視頻的傳輸。除此之外,還講解了批量綁定或刪除引腳的小技巧,并簡單介紹了時序分析的基礎(chǔ)知識。

劉火良 楊森 張碩編著 ·程序設(shè)計(jì) ·14.7萬字

QQ閱讀手機(jī)版

主站蜘蛛池模板: 清河县| 惠安县| 睢宁县| 屏边| 朝阳县| 连南| 永登县| 建水县| 洪湖市| 宜黄县| 察哈| 冕宁县| 华安县| 高陵县| 五常市| 自治县| 宁安市| 江油市| 金山区| 蕉岭县| 怀仁县| 宜丰县| 丰都县| 辽源市| 荣昌县| 建平县| 新干县| 岑溪市| 比如县| 财经| 天台县| 如皋市| 常熟市| 红桥区| 赤城县| 青铜峡市| 孟连| 同心县| 增城市| 昆山市| 金坛市|