前言

隨著計(jì)算機(jī)技術(shù)的不斷發(fā)展，人類已經(jīng)進(jìn)入了數(shù)字化時(shí)代，嵌入式軟件在高科技研究與應(yīng)用領(lǐng)域，特別是航空、航天、醫(yī)療、交通和現(xiàn)代武器裝備研制等關(guān)鍵領(lǐng)域已得到廣泛應(yīng)用。鑒于嵌入式軟件的重要性和特殊性，它的故障往往會(huì)導(dǎo)致嚴(yán)重的后果，因此，嵌入式軟件的質(zhì)量和可靠性問(wèn)題越來(lái)越受到重視，而有效的嵌入式軟件系統(tǒng)測(cè)試是保證軟件質(zhì)量的重要手段。

本書(shū)試圖跨越傳統(tǒng)的入門(mén)級(jí)、基礎(chǔ)級(jí)系統(tǒng)測(cè)試技術(shù)，為從事嵌入式軟件系統(tǒng)測(cè)試的一線從業(yè)人員提供從形式化測(cè)試?yán)碚摚阶詣?dòng)化測(cè)試描述方法，再到自動(dòng)化仿真測(cè)試環(huán)境構(gòu)建的系統(tǒng)化解決方案，最后通過(guò)對(duì)典型的復(fù)雜嵌入式軟件系統(tǒng)測(cè)試工程實(shí)例的講解，進(jìn)一步驗(yàn)證本書(shū)所涉及的理論、技術(shù)和方法的有效性。

本書(shū)的主要內(nèi)容包括：第1章介紹嵌入式系統(tǒng)及軟件的基本概念；第2章介紹嵌入式軟件工程及質(zhì)量與可靠性的相關(guān)知識(shí)；第3章系統(tǒng)地介紹基于形式化方法的嵌入式軟件系統(tǒng)測(cè)試?yán)碚摽蚣芗凹夹g(shù)；第4章討論實(shí)時(shí)嵌入式軟件自動(dòng)化測(cè)試描述方法，主要從實(shí)時(shí)嵌入式軟件測(cè)試描述語(yǔ)言的設(shè)計(jì)及運(yùn)行機(jī)制等方面進(jìn)行闡述；第5章著重討論智能終端應(yīng)用（嵌入式）軟件系統(tǒng)測(cè)試技術(shù)，從Android系統(tǒng)基礎(chǔ)開(kāi)始，對(duì)測(cè)試用例生成、回歸測(cè)試及壓力測(cè)試等方面做了重點(diǎn)講解；第6章重點(diǎn)討論嵌入式軟件系統(tǒng)測(cè)試環(huán)境構(gòu)建技術(shù)，提出實(shí)時(shí)嵌入式軟件仿真測(cè)試虛擬機(jī)規(guī)范的設(shè)計(jì)思路，同時(shí)對(duì)實(shí)時(shí)嵌入式軟件仿真測(cè)試環(huán)境的體系結(jié)構(gòu)設(shè)計(jì)以及測(cè)試執(zhí)行引擎的設(shè)計(jì)、實(shí)現(xiàn)及效率等進(jìn)行了探討；第7章給出典型航電系統(tǒng)嵌入式軟件測(cè)試實(shí)例。

本書(shū)既可為從事軍用/民用領(lǐng)域嵌入式系統(tǒng)開(kāi)發(fā)、驗(yàn)證及維護(hù)的專業(yè)技術(shù)人員提供參考，也可作為高等院校計(jì)算機(jī)、軟件工程、嵌入式系統(tǒng)及相關(guān)專業(yè)本科生和研究生的參考讀物。

本書(shū)主要由殷永峰編寫(xiě)并負(fù)責(zé)統(tǒng)稿，殷永峰編寫(xiě)了第2、3、4、6、7章，姜博編寫(xiě)了第1、5章。此外，北京航空航天大學(xué)的研究生宿慶冉、王雪峰和劉家康在文字整理及附錄準(zhǔn)備等方面做了大量工作，在此謹(jǐn)表示誠(chéng)摯的感謝。

特別感謝北航可靠性與系統(tǒng)工程學(xué)院劉斌教授、軍事科學(xué)院王峰研究員、國(guó)家互聯(lián)網(wǎng)應(yīng)急中心李政研究員在百忙之中審閱了本書(shū)，并提出了大量寶貴的意見(jiàn)和建議。感謝中國(guó)航空工業(yè)集團(tuán)公司計(jì)算機(jī)軟件北航可靠性管理與測(cè)評(píng)中心的同事，得益于諸多同人多年來(lái)在工程技術(shù)方面的積累和幫助，本書(shū)才能與讀者見(jiàn)面。

從方法學(xué)的角度來(lái)看，面向嵌入式軟件系統(tǒng)測(cè)試的理論與技術(shù)正處于不斷發(fā)展的過(guò)程中，本書(shū)也難免存在不當(dāng)及謬誤之處，懇請(qǐng)讀者批評(píng)指正，以幫助我們不斷改進(jìn)和完善。

殷永峰

2020年10月