靜態(tài)測(cè)試的案例
不可能的任務(wù) | 五天內(nèi)完成靜態(tài)和動(dòng)態(tài)橋梁負(fù)載測(cè)試
項(xiàng)目介紹
由捷克SHP公司負(fù)責(zé)的測(cè)試項(xiàng)目，對(duì)橫跨在尼特拉河上的橋梁進(jìn)行靜態(tài)和動(dòng)態(tài)負(fù)載測(cè)試，時(shí)間只有五天。這意味著兩組工程師需要每天工作24小時(shí)，SHP在測(cè)試完成后第二天即提供測(cè)試分析報(bào)告。
這個(gè)“不可能完成的任務(wù)”的成功，秘密在于: 使用 HBM QuantumX 數(shù)據(jù)采集系統(tǒng)進(jìn)行測(cè)量。
高速公路是一個(gè)國(guó)家成功的基礎(chǔ)，捷克共和國(guó)一直在加大國(guó)家的基礎(chǔ)建設(shè)，自1989年以來，高速公路網(wǎng)里程翻番，增加了超過1,000 公里。但是在高速公里高速擴(kuò)張的同時(shí)，捷克政府希望降低建設(shè)費(fèi)用和建設(shè)周期，并達(dá)到相關(guān)的的安全標(biāo)準(zhǔn)。橋梁的動(dòng)態(tài)和靜態(tài)測(cè)試是安全的前提條件。
捷克 SHP 公司負(fù)責(zé)對(duì)橋梁進(jìn)行安全測(cè)試，為安全提供保障。SHP成立于1991年，位于Brno，為安全提供各種測(cè)試和服務(wù)，包括橋梁的動(dòng)態(tài)和靜態(tài)測(cè)試以及進(jìn)行長(zhǎng)期監(jiān)控。2011 年成立了自己的現(xiàn)代化實(shí)驗(yàn)室，并采用了HBM測(cè)試技術(shù)。
2011年，SHP對(duì)從Nitra到Banska Bystrica的R1高速公路橋梁進(jìn)行監(jiān)控，對(duì)高速公路的24座橋梁進(jìn)行功能性和安全監(jiān)控。其中，橫跨Nitra河三座橋梁的監(jiān)控是一個(gè)非常大的挑戰(zhàn)，因?yàn)橹挥胁坏絻蓚€(gè)月的時(shí)間來完成橋梁結(jié)構(gòu)承載測(cè)試，5天內(nèi)完成負(fù)載測(cè)試。這是一個(gè)非常大的挑戰(zhàn)，因?yàn)槠渲兴奶彀胄枰瓿?em>靜態(tài)測(cè)試，剩下的半天進(jìn)行動(dòng)態(tài)測(cè)試。為完成任務(wù)，兩個(gè) SHP 團(tuán)隊(duì) 24小時(shí)工作，并在完成測(cè)試的第二天提供了負(fù)載的分析報(bào)告。
在橋下進(jìn)行安裝
成功的秘密：HBM測(cè)試技術(shù)
在短時(shí)間完成測(cè)試的關(guān)鍵來自于測(cè)試和測(cè)量設(shè)備。因此, SHP 選擇了 HBM非常靈活且緊湊的 QuantumX MX840 放大器和位移傳感器用于靜態(tài)測(cè)試，位移傳感器安裝在橋梁上。
展開 基于多語(yǔ)言的跨平臺(tái)靜態(tài)測(cè)試解決方案
背景
針對(duì)軟件靜態(tài)測(cè)試，ISO26262標(biāo)準(zhǔn)的Part 6部分給出了具體要求說明，隨著各大整車廠和供應(yīng)商靜態(tài)測(cè)試實(shí)施的逐漸深入， C、C++、Java、C#等混編語(yǔ)言以及復(fù)雜交叉編譯環(huán)境的應(yīng)用越來越多，多語(yǔ)言跨平臺(tái)的敏捷靜態(tài)測(cè)試及測(cè)試結(jié)果管理共享已經(jīng)成為關(guān)鍵需求。
如何較為高效地完成多語(yǔ)言跨平臺(tái)測(cè)試工程的構(gòu)建以及測(cè)試項(xiàng)目跟蹤，較大程度地實(shí)現(xiàn)信息共享，已經(jīng)成為提高測(cè)試效率的重要一環(huán)。
產(chǎn)品介紹
Klocwork是Perforce公司的產(chǎn)品，主要用于C、C++、C#、Java和python代碼的自動(dòng)化敏捷靜態(tài)分析工作，可以提供編碼規(guī)則檢查、代碼質(zhì)量度量、軟件結(jié)構(gòu)分析、測(cè)試結(jié)果管理、代碼評(píng)審等敏捷測(cè)試功能。Klocwork可以擴(kuò)展到任何規(guī)模的項(xiàng)目，與大型復(fù)雜環(huán)境、各種開發(fā)工具集成，并提供控制、協(xié)作和報(bào)告。Klocwork提供即時(shí)的分析結(jié)果，同時(shí)保持準(zhǔn)確性，并與CI/CD無縫集成，保護(hù)您的軟件在每次提交時(shí)免受漏洞的傷害。
Klocwork能夠準(zhǔn)確地發(fā)現(xiàn)軟件中潛在的問題，例如：可發(fā)現(xiàn)代碼中的質(zhì)量缺陷和安全漏洞；發(fā)現(xiàn)軟件中運(yùn)行時(shí)錯(cuò)誤及缺陷以及不合規(guī)范代碼；發(fā)現(xiàn)危險(xiǎn)、過于復(fù)雜和不可移植代碼等問題。目前已廣泛應(yīng)用于汽車、電子商務(wù)、醫(yī)療器械、生產(chǎn)和通信等領(lǐng)域。
展開 靜態(tài)測(cè)試方案
經(jīng)緯恒潤(rùn)擁有十幾年的嵌入式軟件研發(fā)及測(cè)試經(jīng)驗(yàn)，經(jīng)驗(yàn)豐富的軟件測(cè)試團(tuán)隊(duì)，能夠借助測(cè)試工具及設(shè)備給客戶提供優(yōu)質(zhì)的靜態(tài)測(cè)試服務(wù)。
服務(wù)介紹
通過具備功能安全資格認(rèn)證的靜態(tài)分析工具如QAC/klocwork配置常用編碼標(biāo)準(zhǔn)（如MISRA），對(duì)被測(cè)代碼開展靜態(tài)分析工作，實(shí)現(xiàn)ISO 26262 - part 6部分對(duì)靜態(tài)分析的要求
Table 1-Topics to be covered by modelling and coding guidelines
Table 3- Principles for software architectural design
Table 6-Design principles for software unit design and implementation
Table 7 — Methods for software unit verification
根據(jù)ISO26262對(duì)代碼級(jí)靜態(tài)測(cè)試要求，針對(duì)不同的用戶，經(jīng)緯恒潤(rùn)提供定制化的咨詢服務(wù)，主要包括：測(cè)試過程能力建設(shè)、測(cè)試技術(shù)咨詢、測(cè)試工具鏈建設(shè)、第三方測(cè)試服務(wù)等
展開 ABAQUS橡膠襯套靜態(tài)特性計(jì)算測(cè)試相關(guān)性分析
摘要
：本文首先選取了幾種常見結(jié)構(gòu)襯套作為研究對(duì)象，
并采用合適的橡膠超彈性本構(gòu)模型在ABAQUS 軟件中計(jì)算其三向
靜剛度；然后采用同一種膠料分別硫化四種襯套并在
MTS833 彈性體測(cè)試平臺(tái)上測(cè)試得其力-位移曲線；最終將襯套的靜剛度計(jì)算
值與測(cè)試值進(jìn)行對(duì)比研究，結(jié)果表明在
ABAQUS 中可對(duì)橡膠靜態(tài)性能進(jìn)行較為準(zhǔn)確的模擬，具有較高的工程價(jià)值。
關(guān)鍵字
：橡膠襯套、有限元分析、測(cè)試、ABAQUS
1 概述
橡膠減振器被廣泛地應(yīng)用于汽車減振系統(tǒng)，如動(dòng)力總成懸置、底盤襯套和排氣管吊耳等。在這些系統(tǒng)中，橡膠減振器的線性靜態(tài)性能主要為滿足系統(tǒng)的減振性能要求，橡膠減振器的非線性靜態(tài)性能則為滿足系統(tǒng)的位移控制要求。因此，為了滿足系統(tǒng)的減振性能和位移控制要求，須對(duì)零件的結(jié)構(gòu)和橡膠配方進(jìn)行設(shè)計(jì)和優(yōu)化。所以在設(shè)計(jì)初期，如何利用數(shù)值計(jì)算技術(shù)來準(zhǔn)確地預(yù)測(cè)零件的靜態(tài)性能，就變得極為重要。對(duì)零件的靜態(tài)特性進(jìn)行預(yù)測(cè)涉及諸多方面,如材料本構(gòu)模型的選擇、材料模型參數(shù)的獲得、計(jì)算方法的選擇等，需要根據(jù)企業(yè)實(shí)際情況建立橡膠減振件的計(jì)算規(guī)范，以期獲得一致而精確的結(jié)果。為獲得準(zhǔn)確的結(jié)果，進(jìn)行計(jì)算與測(cè)試的相關(guān)性分析就顯得尤為重要。本文通過選取具有代表性的典型襯套結(jié)構(gòu)，進(jìn)行靜態(tài)性能的計(jì)算與測(cè)試，以期驗(yàn)證計(jì)算的精確度。
在此相關(guān)性研究中，選取了具有代表性的橡膠減振件零件即橡膠襯套作為研究對(duì)象，選用天然橡膠N50 作為硫化原材料來制作樣件，采用MTS833 三軸向試驗(yàn)臺(tái)測(cè)試獲得其三向準(zhǔn)靜態(tài)性能曲線，使用ABAQUS 軟件計(jì)算了樣件的靜態(tài)剛度，用統(tǒng)計(jì)的方法對(duì)比了測(cè)試與計(jì)算的相關(guān)性。
展開 
Helix QAC—源碼級(jí)靜態(tài)自動(dòng)化測(cè)試工具
Helix QAC概述
Helix QAC是一款源碼級(jí)靜態(tài)自動(dòng)化測(cè)試工具，主要用于C/C++代碼的完全自動(dòng)化靜態(tài)分析工作，提供一個(gè)高效、健壯和自動(dòng)化的環(huán)境來引入和執(zhí)行編碼標(biāo)準(zhǔn)。Helix QAC根據(jù)盡早、更頻繁測(cè)試的理念，在軟件生命周期最早期軟件開發(fā)階段應(yīng)用識(shí)別缺陷，提供與功能安全及信息安全密切相關(guān)的各類編碼規(guī)范檢測(cè)、代碼質(zhì)量度量、軟件結(jié)構(gòu)分析、測(cè)試結(jié)果管理等功能。
Helix QAC能夠全面而準(zhǔn)確地發(fā)現(xiàn)軟件中潛在的問題，自身符合ISO26262功能安全標(biāo)準(zhǔn)認(rèn)證。適用于自動(dòng)駕駛領(lǐng)域，保障嵌入式軟件的質(zhì)量，提高其防御黑客攻擊能力。
Helix QAC主要技術(shù)指標(biāo)如下
提供基于行業(yè)標(biāo)準(zhǔn)的編程規(guī)則對(duì)代碼進(jìn)行檢測(cè)
提供對(duì)軟件的質(zhì)量分析功能
提供對(duì)軟件結(jié)構(gòu)的分析
自動(dòng)進(jìn)行工程數(shù)據(jù)同步
提供豐富的CCT庫(kù)（輔助工程快速配置）
支持測(cè)試報(bào)告生成的選項(xiàng)配置，并可實(shí)現(xiàn)報(bào)告自定制
實(shí)現(xiàn)團(tuán)隊(duì)協(xié)作
功能安全手冊(cè)支持靜態(tài)項(xiàng)目通過各級(jí)ASIL（A-D）功能安全認(rèn)證
Helix QAC產(chǎn)品方案
Helix QAC主要模塊為QAC/QAC++（分析組件）、Dashboard(質(zhì)量管理平臺(tái))、以及常用行業(yè)規(guī)則包（如MISRA C/C++、AUTOSAR C++、CERT C/C++、CWE C/C++等）。
除此之外，還可提供與各行業(yè)標(biāo)準(zhǔn)匹配的安全手冊(cè)（如ISO 26262 Safety Manual等）。
展開 直播回顧 | 《材料準(zhǔn)靜態(tài)力學(xué)性能測(cè)試及在材料分析中的應(yīng)用》
上周四的國(guó)高材直播間繼續(xù)上周的“智能注塑之模流分析系列培訓(xùn)課程”的第二節(jié)培訓(xùn)課《材料準(zhǔn)靜態(tài)力學(xué)性能測(cè)試及在材料分析中的應(yīng)用》，龐老師向大家從實(shí)驗(yàn)室設(shè)備硬件、軟件和實(shí)驗(yàn)室人員技能精進(jìn)的方法路徑三方面來展開準(zhǔn)靜態(tài)力學(xué)性能培訓(xùn)。
（部分直播PPT，完整版請(qǐng)至課程回看）
本周四的國(guó)高材直播間繼續(xù)上周的“智能注塑之模流分析系列培訓(xùn)課程”的第三節(jié)培訓(xùn)課《材料流變性能測(cè)試及在材料分析中的應(yīng)用》，龐老師將向大家從實(shí)驗(yàn)室設(shè)備硬件、軟件和實(shí)驗(yàn)室人員技能精進(jìn)的方法路徑三方面來展開材料流變性能培訓(xùn)。
培訓(xùn)時(shí)間：7月8日 17:00
培訓(xùn)大綱：
1. 流變儀的種類及應(yīng)用范圍
2. 設(shè)備選型及管理方法
3. 測(cè)試標(biāo)準(zhǔn)及操作介紹
4. 測(cè)試影響因素
5. 測(cè)試中常遇到的問題解決方法
培訓(xùn)地址：https://www.yqgqt.org.cn/live/10883
展開 ET·ci —持續(xù)集成驗(yàn)證平臺(tái)
ET·ci 提供了編譯-測(cè)試-發(fā)布解決方案，包括：自動(dòng)提取配置庫(kù)代碼進(jìn)行自動(dòng)構(gòu)建, 自動(dòng)調(diào)度靜態(tài)測(cè)試工具（如 QAC）進(jìn)行靜態(tài)測(cè)試，自動(dòng)調(diào)度單元測(cè)試工具（如 Tessy）開展動(dòng)態(tài)測(cè)試，自動(dòng)調(diào)度 HIL 自動(dòng)化測(cè)試系統(tǒng)等。使得開發(fā)、測(cè)試團(tuán)隊(duì)在軟件開發(fā)、測(cè)試和交付生命周期中對(duì)研發(fā)過程進(jìn)行可視化管理，幫助軟件開發(fā)組、測(cè)試組輕松、完成復(fù)雜的軟件項(xiàng)目，縮短軟件的整體測(cè)試周期和研發(fā)周期。ET·ci可應(yīng)用于嵌入式軟件測(cè)試自動(dòng)調(diào)度，也是持續(xù)集成（continuous integration）解決方案的重要組成部分。
產(chǎn)品介紹
平臺(tái)組成
典型的全自動(dòng)軟件測(cè)試調(diào)度平臺(tái)主要由基礎(chǔ)服務(wù)與框架模塊、管理與配置模塊、與基礎(chǔ)服務(wù)交互的模塊、配置管理工具集成模塊、編譯工具集成模塊、靜態(tài)測(cè)試工具集成模塊、軟件運(yùn)行時(shí)間評(píng)估工具集成模塊、單元/集成測(cè)試工具集成模塊（可以擴(kuò)充其他自動(dòng)化測(cè)試工具，如HIL自動(dòng)測(cè)試）等。
展開 ET·ci — 全自動(dòng)軟件測(cè)試調(diào)度（持續(xù)集成）平臺(tái)
ET·ci 提供了編譯-測(cè)試-發(fā)布解決方案，包括：自動(dòng)提取配置庫(kù)代碼進(jìn)行自動(dòng)構(gòu)建, 自動(dòng)調(diào)度靜態(tài)測(cè)試工具（如QAC）進(jìn)行靜態(tài)測(cè)試，自動(dòng)調(diào)度單元測(cè)試工具（如Tessy）開展動(dòng)態(tài)測(cè)試，自動(dòng)調(diào)度HIL 自動(dòng)化測(cè)試系統(tǒng)等。使得開發(fā)、測(cè)試團(tuán)隊(duì)在軟件開發(fā)、測(cè)試和交付生命周期中對(duì)研發(fā)過程進(jìn)行可視化管理，幫助軟件開發(fā)組、測(cè)試組輕松的完成復(fù)雜的軟件項(xiàng)目，縮短軟件的整體測(cè)試周期和研發(fā)周期。ET·ci 可應(yīng)用于嵌入式軟件測(cè)試自動(dòng)調(diào)度，也是持續(xù)集成（continuous integration）解決方案的重要組成部分。
產(chǎn)品介紹
? 平臺(tái)組成
典型的全自動(dòng)軟件測(cè)試調(diào)度平臺(tái)主要由基礎(chǔ)服務(wù)與框架模塊、管理與配置模塊、與基礎(chǔ)服務(wù)交互的模塊、配置管理工具集成模塊、編譯工具集成模塊、靜態(tài)測(cè)試工具集成模塊、軟件運(yùn)行時(shí)間評(píng)估工具集成模塊、單元/ 集成測(cè)試工具集成模塊（可以擴(kuò)充其他自動(dòng)化測(cè)試工具，如HIL 自動(dòng)測(cè)試）等。
展開 Helix QAC — 軟件靜態(tài)測(cè)試工具
Helix QAC 是Perforce 公司（原PRQA 公司）產(chǎn)品，主要用于C/C++ 代碼的自動(dòng)化靜態(tài)分析工作，可以提供編碼規(guī)則檢查、代碼質(zhì)量度量、軟件結(jié)構(gòu)分析、測(cè)試結(jié)果管理等功能。Helix QAC 全面發(fā)現(xiàn)軟件中潛在的問題，自身符合ISO26262 功能安全標(biāo)準(zhǔn)認(rèn)證。目前已廣泛應(yīng)用于汽車、電子商務(wù)、醫(yī)療器械、生產(chǎn)和通信等領(lǐng)域。
Helix QAC 主要模塊為QAC/QAC++、QA Verify、以及常用行業(yè)規(guī)則包（如MISRA C:2012、MISRA C++:2008、AUTOSAR C++、CERT、CWE 等）。
產(chǎn)品介紹
? QAC/QAC++ 主要功能
? 代碼自動(dòng)審查
QAC/QAC++ 能夠?qū)/C++ 代碼規(guī)則進(jìn)行自動(dòng)檢查，報(bào)告所違反的編程標(biāo)準(zhǔn)和準(zhǔn)則，減少代碼審查所需的時(shí)間，使軟件工程師在開發(fā)階段就可以避免代碼中的問題。
? 全面的規(guī)范支持
QAC/QAC++全面支持多種新編程標(biāo)準(zhǔn)(MISRA C:2012、MISRA C++:2008 等)， 及其他多種行業(yè)編程規(guī)則。QAC/QAC++ 發(fā)現(xiàn)1700 多種C 語(yǔ)言問題、1300 多種C++ 的問題，并提供方便的二次開發(fā)接口，可以讓軟件質(zhì)量工程師定制符合自身要求的規(guī)范。
? 科學(xué)的質(zhì)量度量
QAC/QAC++ 提供權(quán)威的度量指標(biāo)分析能力，包括60 多種C 語(yǔ)言度量和20 多種C++ 度量，為處于不同成熟度企業(yè)的軟件質(zhì)量改進(jìn)提供客觀依據(jù)，幫助企業(yè)從宏觀上把控軟件質(zhì)量。
? 靈活的測(cè)試管理
QAC/QAC++ 對(duì)全生命周期的測(cè)試過程提供代碼質(zhì)量管理解決方案。
展開 Helix QAC—軟件靜態(tài)測(cè)試工具
<p><strong>產(chǎn)品概述</strong></p><p> Helix QAC是Perforce公司（原PRQA公司）產(chǎn)品，主要用于C/C++代碼的自動(dòng)化靜態(tài)分析工作，可以提供編碼規(guī)則以及信息安全相關(guān)檢查、代碼質(zhì)量度量、軟件結(jié)構(gòu)分析、測(cè)試結(jié)果管理等功能。Helix QAC能夠準(zhǔn)確地發(fā)現(xiàn)軟件中潛在的問題，自身符合ISO26262功能安全標(biāo)準(zhǔn)認(rèn)證。適用于自動(dòng)駕駛領(lǐng)域，能保障嵌入式軟件的質(zhì)量，提高其防御黑客攻擊能力。Helix QAC主要模塊為QAC/QAC++、Dashboard(原QA Verify)以及常用行業(yè)規(guī)則包（如MISRA C：2012、MISRA C++：2008、AUTOSAR C++、CERT、CWE等）。</p><p> </p><p><strong>主要功能</strong></p><ul><li>多種類、覆蓋面廣的編程規(guī)則</li></ul><p> QAC/QAC++支持多種新編程標(biāo)準(zhǔn)(MISRA C：2012、AUTOSAR C++、CERT、CWE等)及其他多種行業(yè)編程規(guī)則。QAC/QAC++能夠發(fā)現(xiàn)1900多種C語(yǔ)言問題、1400多種C++的問題，涉及到的方面有：編譯鏈接的錯(cuò)誤、違反語(yǔ)言規(guī)范、可能產(chǎn)生不確定行為的、不安全的數(shù)據(jù)類型轉(zhuǎn)換等。</p><p> </p><ul><li>自動(dòng)對(duì)編程規(guī)則進(jìn)行檢查</li></ul><p> 在工具中添加要分析的文件，配置好相應(yīng)環(huán)境，運(yùn)行一次就可以對(duì)添加的文件進(jìn)行全部的分析，運(yùn)行速度快，使用過程簡(jiǎn)單，容易理解，上手快。
展開 Helix QAC-軟件靜態(tài)測(cè)試工具
Helix QAC 是Perforce 公司（原PRQA 公司）產(chǎn)品，主要用于C/C++ 代碼的完全自動(dòng)化靜態(tài)分析工作，可以提供編碼規(guī)則檢查、代碼質(zhì)量度量、軟件結(jié)構(gòu)分析、測(cè)試結(jié)果管理等功能。Helix QAC 能夠全面地發(fā)現(xiàn)軟件中潛在的問題，自身符合ISO26262 功能安全標(biāo)準(zhǔn)認(rèn)證。目前已廣泛應(yīng)用于汽車、電子商務(wù)、醫(yī)療器械、生產(chǎn)和通信等領(lǐng)域。
Helix QAC 主要模塊為QAC/QAC++、QA Verify、以及常用行業(yè)規(guī)則包（如MISRA C:2012、MISRA C++:2008、AUTOSRA C++、CERT、CWE 等）
產(chǎn)品介紹
1.QAC/QAC++ 主要功能
? 代碼自動(dòng)審查
QAC/QAC++ 能夠?qū)/C++ 代碼規(guī)則進(jìn)行自動(dòng)檢查，報(bào)告所違反的編程標(biāo)準(zhǔn)和準(zhǔn)則，減少代碼審查所需的時(shí)間，使軟件工程師在開發(fā)階段就可以避免代碼中的問題。
? 全面的規(guī)范支持
QAC/QAC++全面支持多種編程標(biāo)準(zhǔn)(MISRA C:2012、MISRA C++:2008 等)， 及其他多種行業(yè)編程規(guī)則。QAC/QAC++ 能夠發(fā)現(xiàn)1700 多種C 語(yǔ)言問題、1300 多種C++ 的問題，并提供方便的二次開發(fā)接口，可以讓軟件質(zhì)量工程師定制符合自身要求的規(guī)范。
? 科學(xué)的質(zhì)量度量
QAC/QAC++ 提供權(quán)威的度量指標(biāo)分析能力，包括60 多種C 語(yǔ)言度量和20 多種C++ 度量，為處于不同成熟度企業(yè)的軟件質(zhì)量改進(jìn)提供客觀的依據(jù)，幫助企業(yè)從宏觀上把控軟件質(zhì)量。
? 靈活的測(cè)試管理
QAC/QAC++ 能夠?qū)θ芷诘?em>測(cè)試過程提供代碼質(zhì)量管理解決方案。
展開 
Klocwork — 符合功能安全要求的自動(dòng)化靜態(tài)測(cè)試工具
Klocwork工具應(yīng)用了靜態(tài)分析技術(shù)，可實(shí)現(xiàn)對(duì)C、C++、Java、C#、python等代碼的全面靜態(tài)分析。檢查問題種類既包含軟件質(zhì)量和安全缺陷相關(guān)，也可實(shí)現(xiàn)多種語(yǔ)言編碼規(guī)則規(guī)范的檢查。通過使用Klocwork，可以幫助開發(fā)人員能夠在開發(fā)早期檢測(cè)到程序可能存在的缺陷和漏洞，在開發(fā)過程中即可提升代碼安全可靠性，確保代碼質(zhì)量可控。
功能及特點(diǎn)
在開發(fā)階段使用klocwork開展靜態(tài)分析，立足程序安全性角度進(jìn)行測(cè)試，有利于盡早發(fā)現(xiàn)和修復(fù)安全性相關(guān)問題，并確保代碼符合國(guó)際公認(rèn)的編碼標(biāo)準(zhǔn)。
波音公司史上最大噴氣式客機(jī)777X即將曝光原型機(jī)
據(jù)介紹，這款原型機(jī)并沒有安裝引擎和航空電子設(shè)備，同時(shí)機(jī)艙內(nèi)部其他大部分設(shè)施都沒有進(jìn)行安裝，因此它并不能飛上藍(lán)天，或許稱其為靜態(tài)測(cè)試平臺(tái)更為貼切。在未來的研發(fā)試驗(yàn)中，波音公司研發(fā)團(tuán)隊(duì)將在這一平臺(tái)上進(jìn)行艙體結(jié)構(gòu)完整性等一系列靜態(tài)測(cè)試。
“靜態(tài)測(cè)試是我們驗(yàn)證飛機(jī)結(jié)構(gòu)和承載部件設(shè)計(jì)的絕佳機(jī)會(huì)，通過這一系列測(cè)試，我們將確保最終產(chǎn)品擁有絕對(duì)的安全性，保證每一次飛行都是安全的?！?波音測(cè)試經(jīng)理Doreen Bingo在接受外媒采訪時(shí)表示：“我們將在全尺寸的原型機(jī)的機(jī)翼、齒輪、支板和機(jī)身上運(yùn)行各種負(fù)載條件測(cè)試?！?針對(duì)這款原型機(jī)的系列測(cè)試將從今年開始，最終在2020年作為一架真正的飛機(jī)首飛亮相。如果一切按計(jì)劃進(jìn)行，波音公司將于2021年開始交貨。屆時(shí)，波音777X將成為技術(shù)上最先進(jìn)的噴氣式客機(jī)之一，使用了許多與787夢(mèng)幻客機(jī)相同的技術(shù)。
目前可知，波音777X將開發(fā)兩個(gè)版本：機(jī)身較短的波音777X-8以及機(jī)身稍長(zhǎng)的波音777X-9。777X-8將可搭乘365名乘客，航程為8690海里(約合16000公里)，幾乎與747相同。而777X-9可搭載乘客414人，航程7525海里(約合14000公里)。它還將是世界上最大的雙引擎客機(jī)，翼展235英尺5英寸。這種特別制造的碳纖維機(jī)翼比傳統(tǒng)的鋁制機(jī)翼更輕更結(jié)實(shí)，并增加了飛機(jī)的升力，有助于節(jié)省燃油成本。有數(shù)據(jù)顯示，波音777X客機(jī)將比空客A350多節(jié)省大約12%的燃油。
據(jù)悉，該機(jī)動(dòng)力來自下一代通用電氣GE9X-105B1A渦輪風(fēng)扇發(fā)動(dòng)機(jī)，其總推力為105,000磅。這款動(dòng)力出色的引擎能讓波音777X具有傳統(tǒng)四引擎布局客機(jī)相同的飛行航程，進(jìn)而使得波音777X相比以往機(jī)型更加節(jié)省燃料成本和養(yǎng)護(hù)成本。
我們都希望測(cè)試能順利進(jìn)行，讓這只鳥有一天能像老鷹一樣翱翔天際。
展開 Klocwork — 符合功能安全要求的自動(dòng)化靜態(tài)測(cè)試工具
Klocwork工具應(yīng)用靜態(tài)分析技術(shù)，可實(shí)現(xiàn)對(duì)C、C++、Java等代碼的全面靜態(tài)分析。檢查問題種類既包含軟件質(zhì)量和安全缺陷相關(guān)，也可實(shí)現(xiàn)多種語(yǔ)言編碼規(guī)則規(guī)范的檢查。通過使用Klocwork，可以幫助開發(fā)人員能夠在開發(fā)早期檢測(cè)到程序可能存在的缺陷和漏洞，在開發(fā)過程中即可提升代碼安全可靠性，確保代碼質(zhì)量可控。
功能及特點(diǎn)
在開發(fā)階段使用Klocwork開展靜態(tài)分析，立足程序安全性角度進(jìn)行測(cè)試，有利于盡早發(fā)現(xiàn)和修復(fù)安全性相關(guān)問題，并確保代碼符合國(guó)際公認(rèn)的編碼標(biāo)準(zhǔn)。
?主要功能
? DevSecOps：Klocwork可以集成到CI/CD工具、容器、云服務(wù)等，便于實(shí)現(xiàn)自動(dòng)化測(cè)試流程
? 編碼規(guī)范檢查：支持CWE、OWASP、CERT、ISO/IEC TS 17961、MISRA C 2012、AUTOSAR C++等多種常見行業(yè)規(guī)范的檢查
? 缺陷檢查：SQL注入、溢出、可靠性低等問題
? 代碼bug檢查：空指針解引用、內(nèi)存泄漏等問題
?與開發(fā)過程集成
Klocwork在設(shè)計(jì)時(shí)首先考慮了CI/CD，方便用戶將Klocwork分析代碼作為CI/CD一部分，可以做到：
? 差異分析：通過Klocwork Server上的數(shù)據(jù)，在整個(gè)項(xiàng)目分析完成后，可以只分析更改的文件，提供差異分析結(jié)果，節(jié)約分析時(shí)間。
? 易于自動(dòng)化：Klocwork工具有通用的命令行接口，Klocwork檢測(cè)結(jié)果數(shù)據(jù)可以通過REST API訪問，所有輸出格式都使用標(biāo)準(zhǔn)格式，例如XML、JSON和PDF等。
? 容器化構(gòu)建：Klocwork支持在容器化和云構(gòu)建系統(tǒng)中運(yùn)行，為使用內(nèi)部或外部的云服務(wù)進(jìn)行代碼分析提供靈活的操作。
展開 Klocwork—符合功能安全要求的自動(dòng)化靜態(tài)測(cè)試工具
產(chǎn)品概述
Klocwork是Perforce公司產(chǎn)品，主要用于C、C++、C#、Java、 python和Kotlin代碼的自動(dòng)化靜態(tài)分析工作，可以提供編碼規(guī)則檢查、代碼質(zhì)量度量、測(cè)試結(jié)果管理等功能。Klocwork可以擴(kuò)展到大多數(shù)規(guī)模的項(xiàng)目，與大型復(fù)雜環(huán)境、各種開發(fā)工具集成，并提供控制、協(xié)作和報(bào)告。Klocwork提供即時(shí)的分析結(jié)果，同時(shí)保持準(zhǔn)確性，并支持CI/CD、容器、云服務(wù)和機(jī)器配置集成，進(jìn)行自動(dòng)化測(cè)試，保護(hù)您的軟件在每次提交時(shí)免受漏洞的傷害。
Klocwork能夠較為全面而準(zhǔn)確地發(fā)現(xiàn)軟件中潛在的問題，例如：可發(fā)現(xiàn)代碼中的質(zhì)量缺陷和安全漏洞；發(fā)現(xiàn)軟件中運(yùn)行時(shí)錯(cuò)誤及缺陷以及不合規(guī)范代碼；發(fā)現(xiàn)危險(xiǎn)、過于復(fù)雜和不可移植代碼等問題。目前已廣泛應(yīng)用于汽車電子商務(wù)、醫(yī)療器械、生產(chǎn)和通信等領(lǐng)域。
展開 