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ì)量的交付。