11月28日，中國(guó)認(rèn)證認(rèn)可協(xié)會(huì)召開(kāi)2024年度標(biāo)準(zhǔn)化工作會(huì)議，會(huì)上對(duì)2024年度標(biāo)準(zhǔn)應(yīng)用典型案例進(jìn)行表彰。上?？匕矃⒕幍摹盾壍澜煌ò踩浖缀袦y(cè)試技術(shù)要求》（T/CCAA 93-2024）團(tuán)體標(biāo)準(zhǔn)入選“2024年度標(biāo)準(zhǔn)應(yīng)用典型案例”。

《軌道交通安全軟件白盒測(cè)試技術(shù)要求》由中鐵檢驗(yàn)認(rèn)證中心有限公司（CRCC）主編，上海控安等單位聯(lián)合參與編制，經(jīng)中國(guó)認(rèn)證認(rèn)可協(xié)會(huì)審核，于2024年9月2日批準(zhǔn)發(fā)布實(shí)施。

該標(biāo)準(zhǔn)規(guī)定了軌道交通領(lǐng)域中，對(duì)于要求達(dá)到安全完整性等級(jí)（SIL）的軟件在進(jìn)行白盒測(cè)試時(shí)應(yīng)遵循的技術(shù)要求和方法，明確了測(cè)試用例的編寫(xiě)原則和要素等內(nèi)容，為確保軟件的質(zhì)量與可靠性、滿足安全完整性等級(jí)驗(yàn)證提供了依據(jù)，有效填補(bǔ)了軌道交通領(lǐng)域安全軟件白盒測(cè)試相關(guān)標(biāo)準(zhǔn)的空白，對(duì)提高軌道交通安全性具有重要意義。上?？匕沧鳛樵摌?biāo)準(zhǔn)的重要參編單位，依托在軌道交通領(lǐng)域安全軟件研發(fā)與服務(wù)方面的深厚積累和豐富經(jīng)驗(yàn)，為標(biāo)準(zhǔn)研制提供了有力的技術(shù)支持和實(shí)踐應(yīng)用案例。

《交通強(qiáng)國(guó)建設(shè)綱要》中明確指出，“完善交通基礎(chǔ)設(shè)施安全技術(shù)標(biāo)準(zhǔn)規(guī)范，持續(xù)加大基礎(chǔ)設(shè)施安全防護(hù)投入，提升關(guān)鍵基礎(chǔ)設(shè)施安全防護(hù)能力”。軟件是軌道交通系統(tǒng)的重要組成部分，隨著以人工智能為代表的新興技術(shù)不斷融合與滲透，軟件系統(tǒng)的復(fù)雜性、規(guī)模性以及迭代速度均達(dá)到了前所未有的高度，對(duì)軟件質(zhì)量與安全提出了更嚴(yán)苛的要求。

白盒測(cè)試方法，包括靜態(tài)測(cè)試、單元測(cè)試和集成測(cè)試，作為確保軟件安全可靠的重要手段，被廣泛應(yīng)用于代碼的驗(yàn)證環(huán)節(jié)，能夠高效探查軟件中潛在的問(wèn)題與漏洞。上海控安結(jié)合軌道交通領(lǐng)域軟件測(cè)試實(shí)際需求，開(kāi)發(fā)了相應(yīng)的白盒測(cè)試工具，自研產(chǎn)品SmartRocket TestGrid嵌入式軟件自動(dòng)化測(cè)試平臺(tái)支持C和C++語(yǔ)言，能夠同時(shí)進(jìn)行靜態(tài)分析、單元測(cè)試、集成測(cè)試和目標(biāo)機(jī)測(cè)試，全面覆蓋軟件測(cè)試的各個(gè)階段，包括測(cè)試策劃、測(cè)試設(shè)計(jì)和實(shí)現(xiàn)、測(cè)試執(zhí)行以及測(cè)試總結(jié)，支持對(duì)目標(biāo)機(jī)環(huán)境進(jìn)行適配，多維度保障軟件的安全性與可靠性，為軌道交通軟件測(cè)試提供了全面、高效的解決方案。

SmartRocket TestGrid嵌入式軟件自動(dòng)化測(cè)試平臺(tái)

此次參與《軌道交通安全軟件白盒測(cè)試技術(shù)要求》團(tuán)標(biāo)編制，并獲中國(guó)認(rèn)證認(rèn)可協(xié)會(huì)表彰，不僅是對(duì)上海控安標(biāo)準(zhǔn)研制與應(yīng)用成效的高度認(rèn)可，更體現(xiàn)了平臺(tái)公司在軌道交通領(lǐng)域技術(shù)研發(fā)方面的專業(yè)實(shí)力和創(chuàng)新能力。未來(lái)，上?？匕矊⑹冀K致力于前沿技術(shù)創(chuàng)新，積極參與更多高水平標(biāo)準(zhǔn)研制，為我國(guó)軌道交通高質(zhì)量發(fā)展貢獻(xiàn)更多智慧力量。

閱讀原文