原創(chuàng)|行業(yè)資訊|編輯:鄭恭琳|2020-10-29 11:32:46.833|閱讀 287 次
概述:借助Parasoft C/C++test及其自動化軟件測試工具套件,可以有效、高效地達到EN 50128的合規(guī)性。30多年來,Parasoft一直通過所需的優(yōu)秀實踐來幫助組織滿足嚴格的標準,例如需求可追溯性、靜態(tài)代碼分析、動態(tài)分析、單元測試、軟件指標、主機上或目標上的軟件驗證和確認、完整的結(jié)構(gòu)代碼覆蓋率、功能/黑匣子測試和界面測試。
# 界面/圖表報表/文檔/IDE等千款熱門軟控件火熱銷售中 >>
相關(guān)鏈接:
EN 50128“鐵路應(yīng)用——通信、信號和處理系統(tǒng)”是歐洲過程標準。它包含技術(shù)要求以及規(guī)程,原則和措施,以確保在存在安全隱患的情況下開發(fā)被認為安全的軟件。使用專用微處理器,可編程邏輯控制器、多處理器分布式系統(tǒng)、大規(guī)模中央處理器系統(tǒng)或其他體系結(jié)構(gòu),可以在鐵路控制系統(tǒng)和鐵路系統(tǒng)上運行在鐵路控制可編程電子系統(tǒng)上運行的軟件。
加強EN 50128與源代碼分析、單元測試、可追溯性等的合規(guī)性
借助Parasoft C/C++test及其自動化軟件測試工具套件,可以有效、高效地達到EN 50128的合規(guī)性。30多年來,Parasoft一直通過所需的最佳實踐來幫助組織滿足嚴格的標準,例如需求可追溯性、靜態(tài)代碼分析、動態(tài)分析、單元測試、軟件指標、主機上或目標上的軟件驗證和確認、完整的結(jié)構(gòu)代碼覆蓋率、功能/黑匣子測試和界面測試。
通過自動執(zhí)行標準要求的多種測試方法,利用Parasoft C/C++test降低實現(xiàn)EN 50128法規(guī)遵從性的成本和精力。我們的自動化軟件測試工具套件還可以節(jié)省時間。自動生成的報告和儀表板為團隊提供了一種實用的方法來防止、暴露和糾正軟件中的錯誤,并準備審核所需的文檔。
Parasoft C/C++test促進并自動執(zhí)行EN 50128第6節(jié)“軟件保證”中指定的軟件測試方法,該方法定義了鐵路軟件生命周期的一組軟件測試過程和目標。該標準的以下小節(jié)中定義了每個目標:
6.1軟件測試
6.2軟件驗證
6.3軟件確認
6.4軟件評估
6.5軟件質(zhì)量保證
6.6修改和變更控制
6.7支持工具和語言
Parasoft C/C++test是市場上唯一的包括廣泛的測試方法,可最大程度地提高效率并改善結(jié)果的軟件開發(fā)和測試解決方案。
表 A.5 |
EN 50128 – 驗證和測試 |
Parasoft 支持 所有SIL級別 (SIL 0 – SIL4) |
1 |
正式證明 |
|
2 |
靜態(tài)分析 |
|
3 |
動態(tài)分析 |
|
4 |
指標 |
|
5 |
可追溯性 |
|
6 |
軟件錯誤影響分析 |
|
7 |
測試代碼覆蓋率 |
|
8 |
功能/黑匣子測試 |
|
9 |
性能測試 |
|
10 |
接口測試 |
白皮書
使用Parasoft滿足EN 50128的要求
Parasoft的C和C++軟件開發(fā)測試解決方案促進了EN 50128在鐵路應(yīng)用中的應(yīng)用。了解Parasoft如何使團隊為嵌入式系統(tǒng)生成更好的代碼并更有效地對其進行測試。
本站文章除注明轉(zhuǎn)載外,均為本站原創(chuàng)或翻譯。歡迎任何形式的轉(zhuǎn)載,但請務(wù)必注明出處、不得修改原文相關(guān)鏈接,如果存在內(nèi)容上的異議請郵件反饋至chenjj@fc6vip.cn