Suresofttech Inc.
人氣(317)
Suresofttech Inc.(298830)成立於2002年3月,總部位於韓國首爾,是一家軟體自動化驗證平台公司,透過授權維護和定期訂閱的方式,為汽車、國防、核能、鐵路/航空/造船/機器人等領域提供測試驗證自動化解決方案。解決方案和服務大致可分為4種,(1)程式碼驗證:包含偵測軟體原始碼中的靜態和動態錯誤的自動化軟體(STATIC)、監視和追蹤測試驗證活動的軟體(COVER、VPES、VSPICE)、及利用該軟體的第三方程式碼驗證服務。(2)系統驗證: 包括測試軟體模組配置和互動的軟體(AESOP、AUTORACT)、測試系統穩健性的軟體,例如故障注入測試和負載測試(FIT、PROV)、及使用這些軟體的第三方系統驗證服務。在此測試中,建置並使用單獨的測試設備和環境,如HILS、EILS。(3)模型驗證: 包括在軟體編碼前的模型階段檢測靜態和動態錯誤的自動化軟體(Model Inspector、Model Verifier),及使用此的第三方模型驗證服務。(4)未來技術驗證解決方案: 包括自動駕駛汽車、連網汽車、電池儲能設備等未來技術的驗證解決方案和服務。
|
|
|
|