Parasoft自動化測試，滿足從Jama需求到測試和代碼的可追溯性

---

開發(fā)和交付軟件系統(tǒng)需要多少計劃、法律考慮、技術(shù)知識和成本，這是令人吃驚的。有一些活動或?qū)嵺`的子層，如需求管理、軟件測試或需求的驗證和確認，這只是軟件開發(fā)生命周期（SDLC）中的幾個階段。

此外，由于合規(guī)和認證的需要，安全和安保關(guān)鍵系統(tǒng)的開發(fā)進一步增加了整個SDLC每個階段的勞動和成本。因此，納入一個應(yīng)用生命周期管理（ALM）解決方案對項目的成功至關(guān)重要。

ALM解決方案，如Jama Connect，被設(shè)計用來適應(yīng)任何流行的SDLC方法，包括瀑布式、螺旋式、敏捷式或你自己的定制開發(fā)技術(shù)。不管是哪種SDLC，ALM解決方案都能解決軟件開發(fā)的以下一般階段：

• 需求管理
• 軟件設(shè)計
• 軟件開發(fā)
• 軟件測試

涵蓋這些階段的是Jama等ALM工具提供的三個關(guān)鍵工作流程能力：

• 跨團隊的合作和協(xié)調(diào)
• 整個開發(fā)生命周期的風險管理
• 測試管理，由測試解決方案補充和實現(xiàn)

自動測試解決方案，如Parasoft提供的解決方案，對測試過程的完整性和徹底性給予重要反饋，以開發(fā)和交付高質(zhì)量、符合要求的軟件。

• 核實和驗證需求
• 提供從需求到測試和代碼的可追溯性
• 確保代碼的功能性、安全性、可靠性，并最終達到符合行業(yè)標準

管理需求

需求管理是一種過程或技術(shù)，用于記錄所有收集的需求，就需求達成一致，然后分析、分解和確定它們的優(yōu)先級。然后，工程團隊可以根據(jù)當前和批準的要求進行設(shè)計和開發(fā)。

在分解需求的同時，必須在整個開發(fā)階段保持可追溯性，因為客戶需求分解為系統(tǒng)、高級和低級需求。編碼或?qū)崿F(xiàn)階段實現(xiàn)低級需求。考慮軟件的典型 V 圖。

滿足每個階段的 Jama 要求

可追溯性證明每個階段都滿足每個后續(xù)階段的 Jama 要求。開發(fā)人員編寫實現(xiàn)或?qū)崿F(xiàn)每個需求的代碼，對于安全關(guān)鍵應(yīng)用程序，建立了可追溯性到測試用例和代碼的鏈接。因此，如果客戶的需求發(fā)生變化或被移除，團隊就會知道它會影響什么，一直到驗證需求的代碼和測試。

像DO-178B/C、ISO 26262、IEC 62304、IEC 61508、EN 50128等行業(yè)標準要求構(gòu)建一個可追溯性矩陣，以識別設(shè)計中的任何差距和驗證需求。這有助于實現(xiàn)構(gòu)建正確產(chǎn)品的最終目標。不僅如此，它還能確保產(chǎn)品具有質(zhì)量、安全和保障，以確保它仍然是正確的產(chǎn)品。

加速驗證和確認

Parasoft 的軟件測試自動化工具通過自動化記錄保存、文檔、報告、分析、單元測試、集成測試、系統(tǒng)測試、結(jié)構(gòu)代碼覆蓋率等許多乏味的方面來加速需求的驗證和驗證。

以下是有效加速驗證和驗證過程的策略：

• 在開發(fā)人員編寫代碼時，盡早使用靜態(tài)測試以確保質(zhì)量和安全。此外，靜態(tài)分析可以防止未來的錯誤和漏洞，減少檢查和測試過程中錯過的錯誤的下游影響。
• 自動遵守編碼標準，以減少手工勞動，加速代碼檢查。
• 為所有工件提供雙向的可追溯性，以確保需求有代碼和測試來證明它們正在被滿足。指標、測試結(jié)果和靜態(tài)分析結(jié)果都可以追蹤到需求，反之亦然。
• 進行代碼和測試覆蓋，以確保所有的需求都得到了實現(xiàn)，并確保按要求對實現(xiàn)進行測試。
• 提供分析儀表板，幫助決策和跟蹤進展。決策需要基于從自動化過程中收集的數(shù)據(jù)。
• 自動生成文件以支持流程和標準的遵守。
• 通過自動化最重復(fù)和最繁瑣的過程，自動遵守標準，以減少開銷和復(fù)雜性。而且，工具可以跟蹤項目歷史，并將結(jié)果與需求、軟件組件、測試和記錄的偏差聯(lián)系起來。
• 自動化所有的測試套件，以最大限度地減少人工測試，并減少來自有限硬件可用性的測試瓶頸。
• 執(zhí)行基于目標和主機的測試，以支持所需的不同驗證技術(shù)。
• 在團隊開發(fā)代碼時，立即開始左移測試。它利用單元測試框架，自動生成線束，在代碼準備好后立即進行測試。隨著組織流程的成熟，可以支持測試驅(qū)動的開發(fā)和持續(xù)測試。
• 用智能測試執(zhí)行來管理變化，只關(guān)注改變了的代碼和任何受影響的附屬物的測試。

Jama Connect 和 Parasoft 之間的整合不僅僅是互補。該組合可自動化并幫助完成每個 SDLC 階段所需的任務(wù)。在每個軟件項目的核心，您都會找到定義系統(tǒng)功能性和非功能性行為的需求。

為了確保系統(tǒng)滿足其期望，Jama 需求被分解。在改進或滿足它們的工件之間建立可追溯性鏈接。Parasoft 的自動化軟件測試解決方案有助于驗證和驗證 Jama 要求，滿足汽車、航空電子、醫(yī)療、工業(yè)和鐵路等行業(yè)的合規(guī)性和軟件認證義務(wù)。

---

Parasoft——領(lǐng)先的自動化測試工具，滿足絕大多數(shù)行業(yè)標準

Parasoft是一家專門提供軟件測試解決方案的公司，幫助企業(yè)打造無缺陷的軟件。

從開發(fā)到質(zhì)量檢查，Parasoft的技術(shù)通過集成靜態(tài)和運行時分析，單元、功能和API測試，以及服務(wù)虛擬化，在不犧牲質(zhì)量和安全性的情況下加快軟件交付，節(jié)約交付成本。

強大的報告和分析功能可幫助用戶快速查明有風險的代碼區(qū)域，并了解新代碼更改如何影響其軟件質(zhì)量，而突破性的技術(shù)將人工智能和機器學習添加到軟件測試中，使組織更容易采用和擴展跨開發(fā)和測試團隊的有效的軟件測試實踐。

Parasoft針對C/C++、Java、.NET和嵌入式的開發(fā)測試都有著30多年的深入研究，很多全國500強企業(yè)使用Parasoft的產(chǎn)品實現(xiàn)了軟件快速、高質(zhì)量的交付。