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

---

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

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

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

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

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

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

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

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

管理需求

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

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

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

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

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

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

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

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

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

---

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

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

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

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

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

申請(qǐng)Parasoft測(cè)試試用