|
SafeTI 編譯器驗證套件包含:9 r8 y: n! W) X7 w
• 驗證套件用戶手冊;
4 s6 a- K, Y+ A9 g• 驗證支援工具,協助驗證配置與生成文件;) j( _: q4 I1 X @# F
• 所需安全文件範例:包括工具分類報告、工具驗證計畫、工具驗證報告與工具安全手冊;, Y. x. p8 H9 r/ n' `9 `" o
• 儀表化版本編譯器,可在應用與驗證測試中比較編譯器覆蓋範圍;: t% x2 c! N1 e' ]4 f& i! k' k- H
• TÜV Nord 報告,顯示驗證過程認可;
/ Q* ]0 Q& x( b1 d9 l/ i• 針對ARM 架構 C 編譯器 ACE SuperTest 驗證套件;- s, u3 Z, S) J2 G9 @2 Q" m
• 針對選取 TI ARM 編譯器功能確認驗證測試案例;: m7 E( N5 {( Z: B" D. l
• 在使用者環境中透過目標硬體 (target hardware) 運作測試自動化框架;9 U- v9 f) @. J5 H; y$ d1 n
• 24 小時 Validas 諮詢服務:透過 Webex 與電子郵件針對一般性支援、模組擴充 (model-extension) 、覆蓋範圍比較以及結果/文件預覽進行支援。
& A* y6 M, Y) ~4 Z6 ^4 A8 y- m" ^2 h7 ^* _3 a
SafeTI 編譯器驗證套件包含多數編譯器功能測試,並可擴充支援 TI 與 Validas 未來測試案例更新。
/ X2 ~- p! b$ c9 P; q
3 Q4 [4 j: u. @供貨與支援
' v- V+ l* T/ Y' w3 B3 G2 nTI 現已提供 SafeTI 編譯器驗證套件。客戶需 線上註冊 才可獲得該套件。TI 與 Validas 並提供 SafeTI 編譯器驗證套件客戶支援。
, x8 C! } g$ _) P6 c3 B
2 n3 M+ Z: l2 X5 [" W合作夥伴
t2 k- {, v6 m* j: y& u0 t% o" |1 xTI 與 Validas 以及 ACE 兩強攜手開發該驗證套件,協助客戶針對 ARM 編譯器特定使用案例進行驗證,使功能與效能也可利用最大化。TI ARM 編譯器新修訂版本與功能可使用 Validas 模組化驗證方法、ACE SuperTest 驗證套件運作與其它 TI 驗證測試案例進行驗證。 |
|