Suresofttech Inc.

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