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

---

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

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

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

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

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

• 跨團(tuán)隊(duì)的合作和協(xié)調(diào)
• 整個(gè)開發(fā)生命周期的風(fēng)險(xiǎn)管理
• 測試管理，由測試解決方案補(bǔ)充和實(shí)現(xiàn)

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

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

管理需求

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

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

滿足每個(gè)階段的 Jama 要求

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

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

加速驗(yàn)證和確認(rèn)

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

以下是有效加速驗(yàn)證和驗(yàn)證過程的策略：

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

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

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

---

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

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

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

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

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