在线观看www成人影院-在线观看www日本免费网站-在线观看www视频-在线观看操-欧美18在线-欧美1级

0
  • 聊天消息
  • 系統(tǒng)消息
  • 評論與回復(fù)
登錄后你可以
  • 下載海量資料
  • 學(xué)習(xí)在線課程
  • 觀看技術(shù)視頻
  • 寫文章/發(fā)帖/加入社區(qū)
會(huì)員中心
創(chuàng)作中心

完善資料讓更多小伙伴認(rèn)識(shí)你,還能領(lǐng)取20積分哦,立即完善>

3天內(nèi)不再提示

上海控安SmartRocket系列:嵌入式軟件智能化測試工具

上海控安 ? 來源:上海控安 ? 作者:上海控安 ? 2022-08-02 14:53 ? 次閱讀

測試現(xiàn)狀

如果說軟件成為未來世界的基礎(chǔ),那么軟件單元將是基礎(chǔ)中的基礎(chǔ)。若想開發(fā)出高質(zhì)量的軟件,源代碼缺陷檢測不可或缺,但是人工進(jìn)行代碼缺陷檢測時(shí),無法保證所有源碼都被檢測到且仍然存在較高風(fēng)險(xiǎn)。此外汽車電子領(lǐng)域等高安全領(lǐng)域,對單元測試有較高的行業(yè)標(biāo)準(zhǔn),對集成測試有明確的需求,但是面對著測試人員手動(dòng)編寫測試用例帶來的效率低、時(shí)間人力成本高等困境。同時(shí),以IEC 61508為基礎(chǔ)的功能安全標(biāo)準(zhǔn)體系,對軟件的單元測試均有明確的技術(shù)要求。如,ISO 26262汽車電子功能安全標(biāo)準(zhǔn)第六部分明確提出,軟件單元測試要滿足語句、分支、MC/DC等測試覆蓋指標(biāo)。

產(chǎn)品概述

SmartRocket TestGrid支持靜態(tài)分析,滿足根據(jù)國軍標(biāo)、MISRA標(biāo)準(zhǔn)對源碼進(jìn)行質(zhì)量分析;支持C/C++語言的單元測試,采用人工智能算法,利用自動(dòng)推理與符號(hào)執(zhí)行技術(shù),分析程序路徑,產(chǎn)生滿足覆蓋率的測試用例并在后臺(tái)自動(dòng)執(zhí)行,對于C代碼可以自動(dòng)生成覆蓋率高達(dá)100%的測試用例;支持不同程度的集成測試,用戶通過設(shè)置調(diào)用函數(shù)是否打樁,實(shí)現(xiàn)調(diào)用函數(shù)集成程度的自主控制。


9V3aH2SjK1KH5354oUL5C66Qh0Czw112.jpg


產(chǎn)品功能

01 缺陷查看

可以自定義檢測模板,通過知識(shí)中心快速了解和查閱每條缺陷的具體內(nèi)容。缺陷結(jié)果按規(guī)范和文件兩種方式分類,頁面直接呈現(xiàn)分析結(jié)果,每條缺陷出現(xiàn)的具體位置都可定位。


o0H0s43tnKnY1A57A2f31qB6c1BP9k85.png


02 智能測試

全面覆蓋形參、全局變量、樁函數(shù)、樁函數(shù)形參等數(shù)據(jù)。支持語句、分支、MC/DC及邊界覆蓋準(zhǔn)則,能夠滿足IEC 61508-3:2010(工業(yè)通用)、EN 50128:2011(軌道交通)、ISO 26262-8:2018(汽車電子)等行業(yè)規(guī)范中的單元測試。自動(dòng)分析被測工程并基于先進(jìn)動(dòng)態(tài)符號(hào)執(zhí)行技術(shù)智能生成高覆蓋、低冗余的測試用例。


5cUd11960eIU8M3t1WL6A9B1272HFtut.png


03 集成可控

支持部分集成和全部集成,可以自主設(shè)置調(diào)用函數(shù)是否打樁,充分實(shí)現(xiàn)不同情況下不同集成測試的需求。支持查看函數(shù)之間的調(diào)用關(guān)系,可以進(jìn)行圖形化的用例管理,滿足功能正確性測試和結(jié)構(gòu)化覆蓋率測試等要求。


35r2TP10Ne6XcH9fI59SZpL101gP2C50.png


04 信息匯總

支持每個(gè)項(xiàng)目當(dāng)前測試結(jié)果的概況查看。


011119xn580bcxDPA82jMAV6z023CjaG.png


05 報(bào)告生成

自動(dòng)生成靜態(tài)分析、單元測試和集成測試的報(bào)告。


iX5bAB1Q1b0z3DJ9I6Sz3621B2qk962m.png


特色優(yōu)勢

01 軟件智能測試一體化

支持根據(jù)編碼規(guī)范的要求自動(dòng)對代碼完成分析,檢測并定位代碼中的缺陷;支持針對覆蓋準(zhǔn)則自動(dòng)生成精簡化的測試用例集,并在用例生成后自動(dòng)執(zhí)行,進(jìn)行預(yù)期值的比對和最終結(jié)果的輸出。

02 單元測試一鍵完成

單元測試時(shí)無需單獨(dú)投入專門的測試人員,開發(fā)人員在編碼完成后一鍵即可進(jìn)行單元測試。支持自動(dòng)生成測試用例,在低冗余的同時(shí)滿足語句覆蓋、分支覆蓋和MD/DC覆蓋。

03 多角度多方位缺陷檢查

支持缺陷掃描和質(zhì)量審查,分析完成后,可以同時(shí)進(jìn)行缺陷查看和缺陷定位,能夠大幅度提升代碼健壯性。

04 服務(wù)定制、集成

支持定制化測試報(bào)告,根據(jù)模板自動(dòng)生成滿足要求的測試報(bào)告。支持持續(xù)集成CI方案,滿足代碼提交后自動(dòng)觸發(fā)測試驗(yàn)證工作。

成果應(yīng)用

已為嫦娥五號(hào)、C919大飛機(jī)、直-6直升機(jī)、上海地鐵17號(hào)線、Tier1廠商車門控制、ECU控制系統(tǒng)、造車新勢力自動(dòng)駕駛系統(tǒng)等重大工程提供支撐,測試航空航天、地鐵信號(hào)、汽車電子、核電控制及開源軟件超過1000萬行代碼。

01 航空航天

衛(wèi)星控制軟件是衛(wèi)星控制系統(tǒng)的核心,其功能復(fù)雜,單元測試覆蓋率要求高,手工測試用例編寫成本大,且容易出錯(cuò)。TestGrid能夠自動(dòng)生成滿足語句覆蓋、分支覆蓋、MC/DC覆蓋的單元測試用例,并自動(dòng)進(jìn)行測試執(zhí)行,能夠提高軟件測試效率和軟件產(chǎn)品質(zhì)量。在某航天單位 15 萬行代碼測試中,TestGrid獲得了超過90%的平均語句覆蓋率。



02 軌道交通

地鐵信號(hào)系統(tǒng)是地鐵控制的中樞,在地鐵信號(hào)系統(tǒng)測試中,需要根據(jù)不同的SIL等級來進(jìn)行相應(yīng)的單元測試。傳統(tǒng)測試中,測試用例編寫依靠人力實(shí)現(xiàn),對于MC/DC覆蓋率有嚴(yán)苛要求的軟件代碼測試,必然會(huì)耗費(fèi)大量的人力及時(shí)間。在某地鐵信號(hào)單位的20萬行代碼測試中,TestGrid獲得了平均超過85%的語句覆蓋率,用例生成效果顯著。



03 汽車電子

汽車電子行業(yè)遵從ISO26262標(biāo)準(zhǔn),對于需要達(dá)到ASIL-D安全等級的工程,同樣需要耗費(fèi)大量的人力及時(shí)間來編寫用例。TestGrid生成的用例能夠無縫應(yīng)用于汽車電子行業(yè),從而幫助測試人員快速達(dá)到語句/分支、MC/DC的代碼覆蓋率要求。在某汽車電子單位10萬行代碼測試中,TestGrid獲得了超過85%的平均語句覆蓋率。



榮譽(yù)資質(zhì)

產(chǎn)品獲TüV南德頒發(fā)的功能安全證書

滿足IEC 61508-3:2010、EN 50128:2011、ISO 26262-8:2018標(biāo)準(zhǔn)

獲2019年上海市重點(diǎn)產(chǎn)品質(zhì)量攻關(guān)成果獎(jiǎng) 二等獎(jiǎng)

獲2019年網(wǎng)絡(luò)安全新技術(shù)新應(yīng)用創(chuàng)新產(chǎn)品評選 特等獎(jiǎng)

獲2020年中國網(wǎng)絡(luò)安全產(chǎn)業(yè)聯(lián)盟網(wǎng)絡(luò)安全創(chuàng)新產(chǎn)品 優(yōu)秀獎(jiǎng)


k6189659W3Y1fqd1C2Vv7jlZk6KIu02w.jpg




審核編輯 黃昊宇


聲明:本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點(diǎn)僅代表作者本人,不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學(xué)習(xí)之用,如有內(nèi)容侵權(quán)或者其他違規(guī)問題,請聯(lián)系本站處理。 舉報(bào)投訴
  • 嵌入式
    +關(guān)注

    關(guān)注

    5141

    文章

    19542

    瀏覽量

    315178
  • 智能化
    +關(guān)注

    關(guān)注

    15

    文章

    5105

    瀏覽量

    56956
  • 工業(yè)控制
    +關(guān)注

    關(guān)注

    38

    文章

    1527

    瀏覽量

    86725
收藏 人收藏

    評論

    相關(guān)推薦
    熱點(diǎn)推薦

    嵌入式軟件單元測試的必要性、核心方法及工具深度解析

    一、為什么嵌入式軟件必須重視單元測試? ?嵌入式系統(tǒng)的特殊性? 在汽車 ECU、醫(yī)療設(shè)備控制器等場景中,軟件直接操控硬件,?單比特錯(cuò)誤可能導(dǎo)
    的頭像 發(fā)表于 03-21 14:53 ?355次閱讀

    從“被動(dòng)檢測”到“主動(dòng)預(yù)防”,上海TestGrid推出動(dòng)態(tài)缺陷檢測功能模塊

    問題往往潛伏至后期階段,導(dǎo)致高昂的修正成本。 針對這一痛點(diǎn),上海團(tuán)隊(duì)在 嵌入式軟件自動(dòng)測試
    的頭像 發(fā)表于 03-04 14:43 ?339次閱讀

    嵌入式軟件測試技術(shù)深度研究報(bào)告

    嵌入式軟件測試技術(shù)深度研究報(bào)告 ——基于winAMS的全生命周期質(zhì)量保障體系構(gòu)建 一、行業(yè)技術(shù)瓶頸與解決方案框架 2025年嵌入式軟件
    的頭像 發(fā)表于 03-03 13:54 ?267次閱讀

    集特海光嵌入式工控機(jī)G500:工業(yè)智能化的高效引擎

    集特海光嵌入式工控機(jī)G500:工業(yè)智能化的高效引擎
    的頭像 發(fā)表于 02-27 15:12 ?404次閱讀
    集特海光<b class='flag-5'>嵌入式</b>工控機(jī)G500:工業(yè)<b class='flag-5'>智能化</b>的高效引擎

    嵌入式軟件工程師就業(yè)好不好?

    嵌入式軟件工程師就業(yè)好不好?會(huì)不會(huì)越老越吃香?今天一起來看看。 首先看下市場需求。 隨著物聯(lián)網(wǎng)、人工智能、5G等前沿技術(shù)的快速發(fā)展,嵌入式系統(tǒng)的應(yīng)用領(lǐng)域不斷擴(kuò)大,從
    發(fā)表于 02-20 10:19

    如何提高嵌入式代碼質(zhì)量?

    嵌入式系統(tǒng)的發(fā)展已經(jīng)深刻地影響了我們?nèi)粘I畹姆椒矫婷妫瑥?b class='flag-5'>智能家居到汽車控制系統(tǒng),再到醫(yī)療設(shè)備和工業(yè)自動(dòng)等領(lǐng)域,嵌入式系統(tǒng)無處不在。嵌入式
    發(fā)表于 01-15 10:48

    使用SEGGER工具實(shí)現(xiàn)嵌入式應(yīng)用開發(fā)

    嵌入式系統(tǒng)的可能性是無限的,從創(chuàng)建智能家居設(shè)備到為工業(yè)自動(dòng)提供動(dòng)力,但是有這么多的工具、技術(shù)和流程要學(xué)習(xí),你從哪里開始呢?
    的頭像 發(fā)表于 01-10 16:27 ?664次閱讀

    嵌入式工程師常用的開發(fā)工具有哪些?

    項(xiàng)目管理和調(diào)試。IAR Embedded Workbench 也是廣受歡迎的 IDE,具有出色的優(yōu)化能力和調(diào)試工具,能夠幫助工程師快速開發(fā)出高質(zhì)量的嵌入式軟件。 二、編譯器 編譯器將高級語言
    發(fā)表于 12-20 15:29

    什么是嵌入式人工智能

    嵌入式人工智能的目標(biāo)是使嵌入式系統(tǒng)具備智能化的感知、分析和響應(yīng)能力,從而實(shí)現(xiàn)自主決策、自適應(yīng)學(xué)習(xí)和智能交互等功能,以提高系統(tǒng)的性能、效率和
    的頭像 發(fā)表于 12-11 09:23 ?884次閱讀
    什么是<b class='flag-5'>嵌入式</b>人工<b class='flag-5'>智能</b>

    嵌入軟件單元/集成測試工具專業(yè)分析

    引言 在現(xiàn)代軟件開發(fā)過程中,單元測試作為確保代碼質(zhì)量的重要環(huán)節(jié),得到了廣泛的關(guān)注和應(yīng)用。隨著嵌入式系統(tǒng)的復(fù)雜性日益增加,對高效、可靠的單元測試工具的需求也愈加迫切。WinAMS作為一款
    的頭像 發(fā)表于 11-19 16:41 ?591次閱讀

    EsDA,一站嵌入式軟件

    EsDA是一套面向工業(yè)智能物聯(lián)領(lǐng)域的嵌入式系統(tǒng)設(shè)計(jì)自動(dòng)化工具集,包含實(shí)時(shí)操作系統(tǒng)AWorksLP、低代碼開發(fā)平臺(tái)AWStudio、資源管理平臺(tái)AXPI、跨平臺(tái)GUI引擎AWTK和云服務(wù)平臺(tái)ZWS
    的頭像 發(fā)表于 09-15 08:10 ?653次閱讀
    EsDA,一站<b class='flag-5'>式</b><b class='flag-5'>嵌入式</b><b class='flag-5'>軟件</b>

    嵌入式系統(tǒng)的未來趨勢有哪些?

    (ML)技術(shù)的快速發(fā)展,嵌入式系統(tǒng)將更多地整合這些先進(jìn)技術(shù),以支持智能決策和自動(dòng)。在設(shè)備上直接運(yùn)行AI和ML模型,進(jìn)行圖像識(shí)別、自然語言處理、預(yù)測分析等任務(wù),將極大提升嵌入式系統(tǒng)的
    發(fā)表于 09-12 15:42

    【?嵌入式機(jī)電一體系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)?閱讀體驗(yàn)】+《智能化技術(shù)在船舶維護(hù)中的應(yīng)用探索》

    智能化技術(shù)在船舶維護(hù)中的應(yīng)用探索 本文深入分析了海洋工業(yè)中污損生物對船舶性能的負(fù)面影響,并探討了智能化技術(shù),尤其是基于樹莓派的嵌入式系統(tǒng)設(shè)計(jì),如何成為解決這一問題的新途徑。污損生物的附著不僅增加了
    發(fā)表于 08-26 22:22

    自動(dòng)嵌入式系統(tǒng)測試流程:TESSY功能優(yōu)勢詳解

    。 TESSY實(shí)現(xiàn)了整個(gè)測試周期的自動(dòng),包括在各種目標(biāo)系統(tǒng)上對C/C++嵌入式軟件進(jìn)行回歸測試。作為已通過認(rèn)證的
    的頭像 發(fā)表于 07-22 10:52 ?898次閱讀
    自動(dòng)<b class='flag-5'>化</b><b class='flag-5'>嵌入式</b>系統(tǒng)<b class='flag-5'>測試</b>流程:TESSY功能優(yōu)勢詳解

    單元測試、集成測試自動(dòng)化工具

    CoverageMaster winAMS :?適用于嵌入式目標(biāo)機(jī)代碼的單元測試/集成測試工具 全面支持嵌入式微機(jī)!驗(yàn)證嵌入式C/C++
    的頭像 發(fā)表于 06-26 13:41 ?727次閱讀
    單元<b class='flag-5'>測試</b>、集成<b class='flag-5'>測試</b>自動(dòng)化<b class='flag-5'>工具</b>
    主站蜘蛛池模板: 天天干天天操天天舔 | 2021国产精品| 一级特黄aa大片一又好看 | 国产一卡2卡3卡四卡精品网站 | 五月天激激婷婷大综合丁香 | 国产日日夜夜 | 农村的毛片丨级 | 国产成人亚洲日本精品 | 中文天堂在线最新2022更新 | 久久久久久久久久久9精品视频 | 日韩欧美不卡片 | 色丁香影院 | 欧美三级一区 | 免费人成在线观看网站品爱网 | 国产在线播放一区 | 一区二区三 | 手机看日韩毛片福利盒子 | 色天使久久综合网天天 | 一区二区亚洲视频 | 四虎中文 | 看黄a大片 免费 | 国产叼嘿视频免费网站 | 老司机成人精品视频lsj | video另类蛇交 | 亚洲成成品网站有线 | 天天艹综合| 久久精品亚洲热综合一本奇米 | 香港午夜理理伦_级毛片 | 黄色免费网站在线播放 | 一级毛片在线 | 日本高清色视频在线观看免费 | 国产五月 | 亚洲第一成网站 | 手机看片国产免费 | 免费在线黄色网址 | 欧美黄色一级片视频 | 曰本女人一级毛片看一级毛 | 国内一区二区三区精品视频 | 视频在线免费观看网址 | 亚洲一区二区三区在线 | 天天干夜夜做 |