●前言
縮略詞彙表
第1章 嵌入式繫統及軟件
1.1 嵌入式繫統概述
1.1.1 嵌入式繫統與實時繫統
1.1.2 嵌入式繫統的特點
1.1.3 嵌入式繫統的組成
1.1.4 嵌入式繫統的應用領域
1.2 嵌入式軟件概述
1.2.1 嵌入式軟件分類
1.2.2 嵌入式操作繫統
1.3 本章小結
第2章 嵌入式軟件工程與質量特性
2.1 嵌入式軟件工程
2.1.1 嵌入式軟件開發模型
2.1.2 繫統分析與軟件定義階段
2.1.3 軟件需求分析階段
2.1.4 軟件設計階段
2.1.5 軟件實現階段
2.1.6 軟件測試階段
2.1.7 軟件驗收與交付階段
2.1.8 軟件使用與維護階段
2.2 嵌入式軟件工程化管理
2.2.1 軟件工程化管理
2.2.2 軟件開發方法學
2.3 嵌入式軟件的質量特性
2.4 本章小結
第3章 基於形式化方法的嵌入式軟件繫統測試技術
3.1 軟件形式化測試技術概述
3.1.1 軟件形式化測試概述
3.1.2 基於形式規約語言
3.1.3 基於有限狀態機和時間自動機模型
3.1.4 基於統一建模語言
3.1.5 基於Petri網模型
3.1.6 基於馬爾可夫鏈模型
3.1.7 基於自定義形式化測試描述語言
3.2 嵌入式軟件形式化測試技術
3.2.1 基本概念
3.2.2 基於FSM的軟件測試技術
3.2.3 基於EFSM的軟件測試技術
3.2.4 實時擴展有限狀態機模型
3.3 基於實時擴展UML與RT.EFSM的測試用例生成
3.3.1 UML與OCL基本概念及技術
3.3.2 UML與軟件測試
3.3.3 UML實時擴展
3.3.4 基於實時擴展UML與RT-EFSM的測試用例生成過程
3.4 本章小結
第4章 實時嵌入式軟件自動化測試描述技術
4.1 測試描述的概念及分類
4.1.1 測試描述的概念
4.1.2 測試描述的分類
4.2 實時嵌入式軟件測試描述的特性
4.2.1 實時嵌入式軟件測試的特點
4.2.2 RT-ESTDL的設計原則
4.2.3 RT-ESFDL的地位和作用
4.3 實時嵌式軟件測試描述語言的設計
4.3.1 RT-ESTDL的詞法
4.3.2 RT-ESTDL的語法
4.4 RT-ESTDL對實時嵌入式軟件測試的支持機制
4.4.1 對實時嵌入式設備建模的支持
4.4.2 對實時嵌入式軟件測試時間約束及並發處理的支持
4.4.3 對實時嵌入式設備模型實時通信的支持
4.4.4 對重用已有設備模型及測試描述的支持
4.5 本章小結
第5章 智能終端應用軟件繫統測試技術
5.1 智能終端應用軟件基礎
5.1.1 Android操作繫統
5.1.2 Android開發環境
5.1.3 Android應用程序組件
5.1.4 Android模擬器和ADB工具
5.1.5 Android UI
5.1.6 AndroidLog繫統
5.1.7 Android應用代碼覆蓋
5.1.8 Android GUI測試框架
5.2 智能終端應用軟件繫統的測試生成技術
5.2.1 Android測試用例生成技術
5.2.2 基於GuI的測試用例生成通用框架
5.3 智能終端應用軟件繫統的回歸測試技術
5.3.1 安全回歸測試選擇技術的相關研究
5.3.2 Android應用回歸測試場景
5.3.3 控制流圖構建算法
5.3.4 影響分析算法
5.3.5 安全選擇算法
5.4 智能終端應用軟件繫統的壓力測試技術
5.4.1 WiseMonkey占用資源的實現
5.4.2 壓力測試代理程序的設計
5.4.3 占用內存進行壓力測試
5.4.4 占用CPU進行壓力測試
5.4.5 占用網絡進行壓力測試
5.5 本章小結
第6章 實時嵌入式軟件繫統測試環境構建技術
6.1 現有的實時嵌入式軟件繫統測試環境分析
6.2 虛擬機技術與實時嵌人式軟件測試
6.3 實時嵌人式軟件仿真測試虛擬機規範的設計
6.3.1 數據類型
6.3.2 內存管理
6.3.3 測試任務管理
6.3.4 指令繫統
6.3.5 測試描述文件
6.4 基於RT-ESSTVMS的實時嵌人式軟件仿真測試環境設計
6.4.1 RT-ESSTE體繫結構設計
6.4.2 測試開發繫統設計
6.4.3 測試執行繫統設計
6.5 實時嵌入式軟件測試描述執行引擎的設計與實現
6.5.1 RT-ESTDEE的總體設計
6.5.2 測試描述預處理過程
6.5.3 測試調度過程
6.5.4 測試描述執行過程
6.5.5 在線測試描述的執行
6.5.6 測試執行引擎效率分析
6.6 本章小結
第7章 實時嵌入式軟件繫統測試實例
7.1 被測繫統簡介
7.1.1 I/GNS概述
7.1.2 I/GNS的主要功能和性能
7.2 I/GNS靜態建模
7.2.1 交聯設備模型構建
7.2.2 靜態模型的測試描述
7.3 I/GNS動態建模
7.3.1 基於UML狀態圖的動態建模
7.3.2 I/GNS的RT-EFSM模型及時間約束遷移等價類分析
7.4 測試序列、測試用例及測試描述生成
7.5 測試執行及結果分析
7.6 本章小結
附錄1 數學符號索引
附錄2 RT-ESTDL語義及用法
附錄3 I/GNS軟件接口數據定義

本書總結了作者多年的嵌入式軟件繫統測試的工程實踐經驗，基於形式化方法，提出了完整的自動化測試解決方案。全書從嵌入式繫統的構成、分類和特點入手，介紹嵌入式軟件工程及管理方法，討論嵌入式軟件繫統測試理論及測試環境構建等技術，並結合航電繫統嵌入式軟件測試實例，為最終實現自動化測試提供有效的解決方案。本書既適合從事軍用/民用領域嵌入式繫統開發、驗證及維護的專業技術人員閱讀，也適合高等院校計算機、軟件工程等相關專業嵌入式繫統方向的學生參考。

殷永峰,姜博 編