|
SafeTI 編譯器驗證套件包含:: u5 w0 n- M% { ~3 @, \
• 驗證套件用戶手冊;
! i0 j9 S" h$ h) n& @• 驗證支援工具,協助驗證配置與生成文件;
# D, @, |' N) X$ y$ y* b• 所需安全文件範例:包括工具分類報告、工具驗證計畫、工具驗證報告與工具安全手冊;
2 A% G$ _( |% u M: l; @• 儀表化版本編譯器,可在應用與驗證測試中比較編譯器覆蓋範圍;
7 r/ _$ C' d8 c• TÜV Nord 報告,顯示驗證過程認可;
4 P' U0 o; U0 `- v! e/ ~+ u s• 針對ARM 架構 C 編譯器 ACE SuperTest 驗證套件;2 P8 s% l( b% ?1 a( g' K
• 針對選取 TI ARM 編譯器功能確認驗證測試案例;
! {3 X) t3 ~& m) w• 在使用者環境中透過目標硬體 (target hardware) 運作測試自動化框架;
: u- F' V% G4 D- G• 24 小時 Validas 諮詢服務:透過 Webex 與電子郵件針對一般性支援、模組擴充 (model-extension) 、覆蓋範圍比較以及結果/文件預覽進行支援。! h* X$ i0 `$ w+ A
3 f4 U: f8 w# d3 N, a
SafeTI 編譯器驗證套件包含多數編譯器功能測試,並可擴充支援 TI 與 Validas 未來測試案例更新。
+ g0 A. K5 F9 M. }
: g3 `* q1 h- L3 f, W! M供貨與支援; X+ B) g" I8 Z4 z
TI 現已提供 SafeTI 編譯器驗證套件。客戶需 線上註冊 才可獲得該套件。TI 與 Validas 並提供 SafeTI 編譯器驗證套件客戶支援。/ X' }# N% z+ G. ~5 W0 I1 b& Z
- p' ^! p! @$ W: v; n, R
合作夥伴
: x+ s% W: z7 V' k# qTI 與 Validas 以及 ACE 兩強攜手開發該驗證套件,協助客戶針對 ARM 編譯器特定使用案例進行驗證,使功能與效能也可利用最大化。TI ARM 編譯器新修訂版本與功能可使用 Validas 模組化驗證方法、ACE SuperTest 驗證套件運作與其它 TI 驗證測試案例進行驗證。 |
|