平特心水报图
新網絡營銷基礎與實踐

你的位置:首頁 >網絡營銷 >嵌入式軟件測試

嵌入式軟件測試

  隨著軟硬件技術的發展,嵌入式系統在生產、生活乃至軍工的各個領域應用都日漸廣泛,功能也越來越強大,但設備和軟件也日趨復雜。本書立足于工業實踐, 旨在為有效控制復雜的嵌入式軟件測試過程提供解決方案。書中全面講述了嵌入式軟件測試的一般過程,內容包括結構化測試和嵌入式系統的原理、測試生命周期、重要的應用技術、基礎設施、測試組織形式和測試原則。本書在測試設計技術和測試組織方面的精辟論述,將會對軟件測試的規范化和高效化大有幫助。

  Tessy是一個專門針對嵌入式軟件的C/C++代碼進行單元、集成測試的工具,它可以自動化地執行測試、評估測試結果并生成測試報告。Tessy的目標就是:通過自動化整個測試周期,在所有測試階段完美支持針對C語言的單元測試,當然,Tessy也同樣關注測試組織和測試管理。

  在以V模型為例的開發模式中,Tessy主要處理右半部分驗證和確認中單元/模塊測試,集成/組件測試以及系統測試的內容。在V模型的開發模式中,單元測試是第一個測試活動。它阻止了每一類錯誤,比如算法錯誤,在V模式的右邊向上蔓延,這樣可以盡可能早得發現Bug,防止直到后面的測試過程或者直到最終用戶那里才被發現,單元測試有經濟效益,越早發現bug越好 。
  另外,Tessy也可以滿足各類標準(ISO26262、IEC 61508、 EN 50128/50129、 DO-178B、汽車SPiCE或FDA的軟件驗證通用原則)對測試的需求,比如ISO26262中各個測試等級中對模塊測試的要求可以使用Tessy來滿足,當然Tessy本身也通過了TUeV的認證,被證明是安全可靠的,可以在安全相關性的軟件研發過程中被使用。

  Tessy可以自動生成測試環境驅動,選擇自動或者手動打樁以及自動生成測試用例模板,幫助客戶提高測試用例設計效率。

  除了從Excel中導入測試用例,手動地設計測試用例外,Tessy里集成了CTE軟件,根據分類樹的方法通過Tessy自動化地關聯測試用例。

  Tessy可以支持從單元測試到系統測試的動態測試過程各個階段,通過單元測試檢查最小單位為函數的功能,通過集成測試來測試各個子功能組合起來的模塊能否達到預期要求的父功能以及相互間的接口,通過系統測試實現與目標板集成的測試環境來測試系統功能。

  另外Tessy可以自動發現被測對象的改變,分析被測對象的接口,重用測試用例和測試數據,從而為重復的回歸測試節約大量的工作和時間,在接口不變的情況下Tessy可以完全自動化地執行不需要用戶介入的回歸測試。

  Tessy檢查源文件并且通過分析程序代碼來確定函數以及他們的接口,這些信息將被保存在特定的數據庫中供隨時檢索,接口信息和測試數據的分離實現了結構和數據之間的明確劃分,一方面,接口的測試使首先顯示變化成為可能,另一方面,如果發生變化,通常也只有要測試的函數接口的幾個元素要發生變化,在Tessy中接口發生變化時的處理相當簡單。

  Goanna是一個針對C/C++安全可靠性進行深度靜態分析的工具,為安全性的嵌入式軟件提供全球領先的靜態C/C++代碼分析解決方案。作為確保符合例如DO-178B、ISO26262等安全標準的重要組成部分,Goanna結合了最新的程序驗證研究,并可以與IDE和構建服務器無縫結成,從而為用戶提供一個簡單而強大的桌面解決方案來提高創建代碼的信心。Goanna產品已被全球汽車、軍工、醫療、關鍵任務的嵌入式系統等行業廣泛應用進行軟件驗證。

  Goanna的深度靜態分析只需要源代碼就可以自動化地找到C/C++程序中的錯誤,不需要編譯、模擬或者執行代碼。通過在開發生命周期最早期的階段發現錯誤,用戶可以實現以下目標:提高代碼質量;降低成本;節約開發時間;使產品更快進入市場。
  Goanna可以與大部分IDE和配置環境集成,將強大的深度靜態分析部署在用戶指尖,只需要點擊就可以執行,而不需要冗長的安裝成本或者中斷用戶已有的工作流程;
獨一的追蹤模擬器:Goanna可以直接在用戶的IDE中“重現”復雜缺陷的跟蹤,讓用戶可以更快地精確定位缺陷的根本原因;

  Goanna生成被分析函數的數字指紋,確保只會分析上次執行之后被修改的部分代碼,從而防止函數在未被改變的情況下產生重分析的潛在費用,實現快速測試周期而不需要等待可能數小時的重新分析;

  Goanna可以提供符合一些行業安全規范的驗證,例如: MISRA C:2004;MISRA C++:2008;CERT;CWE,從而幫助客戶通過一些標準的認證,例如ISO26262,DO-178B等;

  可以非常容易地根據用戶的標準和需求來自定義檢查;

  Goanna采用先進的獲得Turing獎的模型檢查技術,提供所有執行路徑提供高效的完全路徑覆蓋,甚至非常復雜的函數可以;

  Goanna獨特的專利技術提供的完整的程序間分析可以發現調用鏈中深度的缺陷,甚至可以跨越多個函數和文件,例如空指針不能獲得通過并在其它函數中取消其引用;

  Goanna可以自動跟蹤變量的潛在范圍,實現程序中所有點上的取值、大小和地址的計算,從而非常容易地查找出在動態測試和人工檢查很容易錯過的缺陷,例如發現可能的緩沖區溢出或者不可行路徑等;

  空指針錯誤;數組越界;字符串溢出;內存泄露;內存損壞;雙重釋放;安全性缺陷;壞的結構;未初始化變量;死代碼;算術錯誤;可移植性缺陷;除零;不安全的庫;加上無限可能的用戶自定義的檢查等等;

  缺陷可以通過一個易于使用的Web接口被即時地繪制成圖形化的報告,提供缺陷歷史和問題領域。高亮的圖表使開發人員能夠在錯誤出現的時候立即識別出故障點并盡快地解決。

  通過和基于Sonar的儀表盤的集成,Goanna還可以提供附加的靜態分析、圈復雜度分析、代碼覆蓋率分析以及重復度量指標等信息。

網絡營銷詞典內容均由網友提供,僅供參考。

平特心水报图 第17123期七星彩规律图 双色球历史开奖记录 股票配资开户送2000元体验金 qq分分彩计划手机版 乐彩合买骗得有吗 河内五分彩走势图 青海11选5遗漏查询 辽宁11选5开奖 辉煌棋牌app下载 沈阳棋牌游戏大厅下载