|
嵌入式專欄 0 嵌入式專欄 1 https://www./ LDRA是擁有40多年經(jīng)驗(yàn)的領(lǐng)先公司，LDRA主要針對代碼安全和業(yè)務(wù)關(guān)鍵市場的代碼分析和軟件測試自動(dòng)化的軟件市場，以實(shí)現(xiàn)代碼的早期錯(cuò)誤識(shí)別并消除bug。 同時(shí)，LDRA完全符合行業(yè)標(biāo)準(zhǔn)，通過靜態(tài)和動(dòng)態(tài)分析跟蹤要求，以對各種硬件和軟件平臺(tái)進(jìn)行單元測試和驗(yàn)證。LDRA的業(yè)務(wù)遍及全球，在英國，美國，德國和印度設(shè)有總部，并擁有廣泛的分銷商網(wǎng)絡(luò)。 LDRA符合 ISO 9001：2008。LDRA工具套件已通過TüVSüD 和SGS-TüVSAAR 認(rèn)證。這些工具符合IEC 61508，IEC 62304，IEC 60880，EN 50128和ISO 26262的規(guī)定，可用于與安全相關(guān)的軟件開發(fā)。 
嵌入式專欄 2 https://www./products/ctest/ Parasoft? C/C++test? 是專業(yè)針對C和C++語言的開發(fā)測試方案，經(jīng)廣泛證明能提高軟件開發(fā)效率和代碼質(zhì)量的自動(dòng)化最佳實(shí)踐解決方案。 Parasoft 公司成立于1987年，總部位于加利福尼亞州的洛杉磯。有著30多年的豐富的專業(yè)技術(shù)積累和行業(yè)應(yīng)用經(jīng)驗(yàn)，產(chǎn)品橫跨單元測試、靜態(tài)分析、動(dòng)態(tài)分析、功能測試、壓力測試、信息安全測試、通信協(xié)議仿真、應(yīng)用環(huán)境虛擬化等。
 嵌入式專欄 3 https:///en/pvs-studio/ PVS-Studio是用于檢測用C，C ++，C＃和Java編寫的程序源代碼中的錯(cuò)誤和安全漏洞的工具。它可以在Windows，Linux和macOS環(huán)境中的64位系統(tǒng)下運(yùn)行，并且可以分析用于32位，64位和嵌入式ARM平臺(tái)的源代碼。 PVS-Studio執(zhí)行靜態(tài)代碼分析并生成報(bào)告，以幫助程序員查找和修復(fù)錯(cuò)誤。PVS-Studio執(zhí)行各種代碼檢查，對于發(fā)現(xiàn)打印錯(cuò)誤和復(fù)制粘貼錯(cuò)誤也很有用。比如：V501，V517，V522，V523，V3001等類似錯(cuò)誤信息。 操作系統(tǒng)：
 嵌入式專欄 4 https://www./de/en/products/products-a-z/software/vectorcast/ VectorCAST嵌入式軟件測試平臺(tái)是一系列產(chǎn)品，可在整個(gè)軟件開發(fā)生命周期內(nèi)自動(dòng)執(zhí)行分析和測試。 VectorCAST工具系列支持測試用例的創(chuàng)建和管理，以驗(yàn)證底層軟件。此外，VectorCAST工具支持在DO-178C和ED-12C規(guī)定的所有級別（包括A級）上捕獲和報(bào)告結(jié)構(gòu)代碼覆蓋率數(shù)據(jù)。 應(yīng)用于：航天航空、汽車、工業(yè)、醫(yī)療、軌道交通等領(lǐng)域。 軟件關(guān)鍵級別和結(jié)構(gòu)覆蓋要求： 3.特點(diǎn)
|
|
|
