|
SafeTI 編譯器驗證套件包含:
) Y: D, G. z5 x. k+ O• 驗證套件用戶手冊;& j0 K9 R4 J2 }, F& M, j* d
• 驗證支援工具,協助驗證配置與生成文件;
2 P: r! E0 T, U) z1 \• 所需安全文件範例:包括工具分類報告、工具驗證計畫、工具驗證報告與工具安全手冊;5 z# T. E: m1 F4 e
• 儀表化版本編譯器,可在應用與驗證測試中比較編譯器覆蓋範圍;1 `1 T+ `+ s" f9 p" R
• TÜV Nord 報告,顯示驗證過程認可;
, B8 A) J- H4 v( Z( f6 {% ~• 針對ARM 架構 C 編譯器 ACE SuperTest 驗證套件;
4 `7 c N! R/ F L* g3 o• 針對選取 TI ARM 編譯器功能確認驗證測試案例;3 l& U8 x: K1 Q& b
• 在使用者環境中透過目標硬體 (target hardware) 運作測試自動化框架;9 Z, i0 R7 V! A, ~. ^4 v
• 24 小時 Validas 諮詢服務:透過 Webex 與電子郵件針對一般性支援、模組擴充 (model-extension) 、覆蓋範圍比較以及結果/文件預覽進行支援。& C6 Z6 A7 f, b( ~- d
9 K5 \% r, [) `& B+ P% z% K/ ESafeTI 編譯器驗證套件包含多數編譯器功能測試,並可擴充支援 TI 與 Validas 未來測試案例更新。& o( P9 I; u+ y2 ^9 D# ^# U" r
+ B) t% |! E M: a: e供貨與支援
6 c- X: m' n8 c5 {8 H& S2 bTI 現已提供 SafeTI 編譯器驗證套件。客戶需 線上註冊 才可獲得該套件。TI 與 Validas 並提供 SafeTI 編譯器驗證套件客戶支援。/ q; E6 W& G6 O. q0 _0 U
/ `- `7 ~$ a2 s8 r合作夥伴
3 }, |% Y& y+ O) R; @$ J! ^TI 與 Validas 以及 ACE 兩強攜手開發該驗證套件,協助客戶針對 ARM 編譯器特定使用案例進行驗證,使功能與效能也可利用最大化。TI ARM 編譯器新修訂版本與功能可使用 Validas 模組化驗證方法、ACE SuperTest 驗證套件運作與其它 TI 驗證測試案例進行驗證。 |
|