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