幫助中心 | 我的帳號 | 關於我們
進階搜尋
car

同類熱銷排行榜

最近瀏覽的商品

嵌入式軟體系統測試(基於形式化方法的自動化測試解決方案)/電子與嵌入式系統設計叢書

  • 作者：編者:殷永峰//姜博|責編:曲熠
  • 出版社：機械工業
  • ISBN：9787111672425
  • 出版日期：2021/02/01
  • 裝幀：平裝
  • 頁數：241
人民幣：RMB 79 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    本書總結了作者多年的嵌入式軟體系統測試的工程實踐經驗，基於形式化方法，提出了完整的自動化測試解決方案。全書從嵌入式系統的構成、分類和特點入手，介紹嵌入式軟體工程及管理方法，討論嵌入式軟體系統測試理論及測試環境構建等技術，並結合航電系統嵌入式軟體測試實例，為最終實現自動化測試提供有效的解決方案。
    本書既適合從事軍用／民用領域嵌入式系統開發、驗證及維護的專業技術人員閱讀，也適合高等院校電腦、軟體工程等相關專業嵌入式系統方向的學生參考。
作者介紹
編者:殷永峰//姜博|責編:曲熠
    殷永峰，高工，博士。北京航空航天大學軟體學院碩士生導師，航空工業軟體可靠性管理與測評中心主任。擔任中央網信辦項目評審專家、多個軍兵種軟體技術專家、航空工業集團軟體質量專家組成員。長期從事裝備軟體工程、軟體可靠性與安全性、嵌入式軟體驗證以及網路安全技術等方面的研究及工程實踐工作。已主持包括預研、技術基礎、重點實驗室基金、航空基金、航天科工基金等項目20余項，發表學術論文60余篇，獲省部級一等獎、二等獎各2項、航空工業個人三等功1項，出版專著3本。主持完成多個型號的軟體測評工作，獲得機關和工業部門的高度評價。
目錄
前言
縮略辭彙表
第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軟體介面數據定義
  附錄4  I／GNS軟體(展平)測試場景樹列表
參考文獻

  • 商品搜索：
  • | 高級搜索
首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ Top↑│
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司 臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話：02-2381-2033 02-2381-1863　時間：週一-週五 10:00-17:00
　服務信箱：bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證：浙B2-20060032