|
SafeTI 編譯器驗證套件包含:# H" F( n" u! D9 o3 G) ~6 C
• 驗證套件用戶手冊;; _1 S9 A$ M, S( S' U/ ^3 d7 _$ d
• 驗證支援工具,協助驗證配置與生成文件;) O0 T- c6 {( ~7 t
• 所需安全文件範例:包括工具分類報告、工具驗證計畫、工具驗證報告與工具安全手冊;* d& T0 K" n( L0 n8 n" y: v% Z2 I
• 儀表化版本編譯器,可在應用與驗證測試中比較編譯器覆蓋範圍;
0 v; V* \* [) A5 M7 e• TÜV Nord 報告,顯示驗證過程認可;/ G4 P$ r& h, G, [: X. u6 N9 V% s
• 針對ARM 架構 C 編譯器 ACE SuperTest 驗證套件;- l2 ?* z! S* y4 `. `2 j# z
• 針對選取 TI ARM 編譯器功能確認驗證測試案例;1 s' R5 }6 U$ s$ } G9 A- F% _
• 在使用者環境中透過目標硬體 (target hardware) 運作測試自動化框架;( K6 x" j' Y' E3 Y. Z+ L! m- P
• 24 小時 Validas 諮詢服務:透過 Webex 與電子郵件針對一般性支援、模組擴充 (model-extension) 、覆蓋範圍比較以及結果/文件預覽進行支援。8 l: n7 S! X8 U1 Y. P
% V( g4 W% c/ G' kSafeTI 編譯器驗證套件包含多數編譯器功能測試,並可擴充支援 TI 與 Validas 未來測試案例更新。
% I5 C4 P! O9 P7 n4 M6 J0 x: a S# D& R2 O3 r, b' y. r- _) j/ J
供貨與支援
: o, g- P |; }; w! q* D) B, B) ZTI 現已提供 SafeTI 編譯器驗證套件。客戶需 線上註冊 才可獲得該套件。TI 與 Validas 並提供 SafeTI 編譯器驗證套件客戶支援。
_( B2 V1 e. T4 K3 d' {2 r* {4 ?, j) V6 G$ w
合作夥伴
) `/ |# ]# k6 \( i2 fTI 與 Validas 以及 ACE 兩強攜手開發該驗證套件,協助客戶針對 ARM 編譯器特定使用案例進行驗證,使功能與效能也可利用最大化。TI ARM 編譯器新修訂版本與功能可使用 Validas 模組化驗證方法、ACE SuperTest 驗證套件運作與其它 TI 驗證測試案例進行驗證。 |
|