News
發布時間：2019-08-05 作者：上海工業控制安全創新科技有限公司 點擊次數：次
此舉標志著上海控安申請的功能安全工具鏈產品-工業嵌入式系統單元測試工具SmartRocket Unit滿足了IEC 61508-3:2010, EN 50128:2011, ISO 26262-8:2018標準中對于軟件開發工具的要求，適用于開發符合IEC 61508，EN 50128和ISO 26262的安全軟件。
TüV南德為上海控安頒發認證標志及證書
眾所周知，單元測試對軟件開發工作具有非常重要的作用，程序缺陷越早發現，其修復成本就越低；85%的缺陷幾乎可以全部通過完備的單元測試被發現并修復。目前，單元測試大多采用人工編寫測試用例方法，借助測試工具如Testbed、Tessy等編寫、管理、執行用例，用例編寫效率低下、測試用例質量參差不齊，且無法快速達到語句、分支及MC/DC的100%覆蓋，難以實現如路徑覆蓋、數據流覆蓋等更高強度的覆蓋。
為了大幅提高測試人員的工作效率，有效提升測試質量，將測試人員從繁重的用例編寫任務中解脫出來。上海控安自主研發國內首款工業嵌入式系統單元測試工具SmartRocket Unit。
— 特 / 色 / 優 / 勢 —
智能生成
基于先進動態符號執行技術，
智能生成測試用例
三大支持
支持語句、分支、MC/DC覆蓋準則
全面覆蓋
全面覆蓋形參、全局變量、樁函數、
樁函數形參等數據，滿足行業規范
無縫對接
無縫對接Testbed、Tessy等
第三方測試工具
經過不懈努力，這款產品已通過TüV南德嚴格的檢測，獲得TüV南德認證標志及證書。這也意味著上海控安研發的工具鏈產品已經完全符合國際及國內要求，具備服務全球市場的必要條件，對上海控安打造全球影響力具有里程碑式的意義。
TüV南德
功能安全
認證證書
關于TüV南德意志集團
TüV南德意志集團是一家優質、安全和可靠的專業測試、檢驗、審核、認證、培訓和知識服務解決方案提供商。自1866年起，集團始終致力于保護人類、財產和環境安全，避免新型未知技術帶來的風險。TüV南德意志集團總部位于德國慕尼黑，在全球超過1,000個地方設立了辦事處。目前，已經為Intel、Texas Instruments、VxWorks、Hypervisor、MathWorks、Esterel、BTC等企業產品和項目頒發功能安全證書。
