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