天天看點

ASPICE系列:通過下一次ASPICE過程中的軟體單元驗證

作者:北彙資訊POLELINK

前言

在基礎實踐2中您如何定義驗證标準?有了基礎實踐1中定義的戰略指導方針,您就可以進入下一步了。這個BP(基礎實踐)既适用于靜态測試也适用于動态測試。預期的結果是單元的特定測試用例和單元級靜态檢查的定義。

在本文中,我們将讨論基礎實踐2-7

ASPICE系列:通過下一次ASPICE過程中的軟體單元驗證

本文是ASPICE系列文章的第3篇。點選檢視ASPICE系列往期内容:ASPICE系列:順利通過ASPICE流程的軟體單元驗證(SWE.4)、ASPICE系列:如何定義軟體單元驗證政策

ASPICE系列:通過下一次ASPICE過程中的軟體單元驗證

ASPICE基礎實踐

基礎實踐2:制定單元驗證标準

ASPICE過程期望定義标準,以確定單元執行軟體詳細設計和非功能需求中所描述的操作。

所有的工作産品都應該按照軟體單元驗證政策中的描述進行生産。

例如,應為靜态測試定義以下标準:

  • 靜态測量的類型(例如,圈複雜度的測量)和成功的評價标準(測量的圈複雜度小于50)。
  • 符合編碼标準(如MISRA)
  • 符合項目中商定的設計模式
  • 非功能性的技術标準,例如資源消耗(RAM/ROM)

您可以為所有單元設定單元驗證标準,或者專門為一類單元或單個單元設定單元驗證标準。為了不讓工作失去控制,建議對一般定義保持慎重和保守。

專業提示:覆寫目标(例如代碼覆寫)通常不适合作為單元驗證标準。它們最好用作測試結束标準,進而确定測試何時可以被認為完成。

對于每個測試規範,基礎實踐6“確定一緻性”要求在測試規範和軟體詳細設計之間進行内容檢查。在大多數情況下,這是通過審查等品質保證措施來完成的。此檢查的目的是證明測試用例正确地測試了連結需求的内容。明确地期望每個評審都有文檔記錄。

如果在評估過程中發現缺少或不充分的非功能需求(SWE.1)或缺少或不充分的軟體詳細設計(SWE.3), BP2評估可能會被降級。

換句話說,如果前面的過程沒有完成,他們也不會得到一個好的評價。

基本實踐3:執行軟體單元的靜态驗證

使用基礎實踐2中定義的标準,軟體單元的靜态驗證應該在基礎實踐3中執行。

該驗證可以通過以下方式執行:

  • 自動靜态代碼分析工具
  • 代碼審查(例如檢查編碼标準和指導方針的符合性或正确使用設計模式)

成功标準應該使用BP2的标準來确定。它們具體說明檢查是成功還是失敗。基礎可以是覆寫标準或遵從最大值(max.圈複雜度最大為Y)或最小值(min.每行代碼最少x行注釋)。

基礎實踐4:測試軟體單元

使用基礎實踐2中建立的測試規範,軟體單元測試将在基礎實踐4中執行。預期測試将按照軟體單元驗證政策中所描述的方式執行。

對于基礎實踐3和基礎實踐4,明确要求記錄包括結果在内的所有測試。如果出現異常現象和檢驗發現的情況,應将其記錄、評估和報告。

此外,BP4要求以有意義的方式總結所有資料。在軟體單元驗證中,通常需要大量的測試資料。測試資料應該在多個詳細級别上為手動和自動執行驗證結果而準備。對此的解決方案是一個有意義的總結,例如通過餅圖的形式聚集所有測試結果。

基礎實踐3和基礎實踐4的評估說明

與軟體單元驗證政策(BP1)相比,驗證測試執行的偏差導緻BP3或BP4的貶值。

對于BP3和BP4,缺乏有意義的總結會導緻降級。如果一個測試隻被評為通過/失敗,而沒有關于測試的附加資訊,那麼評估人員對受影響的基礎實踐的評價不會比“Partly”更好。自動化軟體單元測試報告中對單元的模拟和計算可以被視為對評估的充分補充資訊。

評估人員将希望分别看到BP3和BP4的評估示例。具體地說,他們想要用它來驗證一個發現是否符合軟體單元驗證政策和SUP.9問題解決管理。

基礎實踐5:建立雙向追溯

在ASPICE中有幾個地方需要雙向追溯。如何實施取決于你自己。在這種情況下,您需要将詳細設計的需求與測試用例和靜态測試的結果聯系起來。測試用例依次連結到詳細設計的需求。

在最簡單的情況下,這可以通過表格的形式完成(列=測試用例;行=需求)。這種實作需要大量維護,而且很容易出錯。

Pro-Tip:為此使用模型動态測試工具TPT等工具,盡可能容易地建立連結,最好是自動生成報告。您可以将此跟蹤報告為概述用于一緻性評審(SWE.4 BP6)作。在更改請求的情況下,您可以更快地分析對測試用例的依賴性。

評估人員明确地希望您将測試用例和需求雙向地連結起來(BP5)。

基礎實踐7:總結和交流結果

所有單元驗證結果應彙總并通報相關方。BP7明确地期望有證據表明已經報告了結果。所有類型的通信媒體,如信件、郵件、視訊、論壇文章等,都可以作為證據(隻要它們有記錄并可追溯)。

如果SWE.4的BP 3和/或BP 4被評為“None”或“Partly”,那麼預計評估員會對BP7降級。

在BP7的ACQ.13項目要求過程中,需要确定相關方及其對資訊的需求。

ACQ.13項目要求過程不作為ASPICE評估的一部分進行審查。然而,一個項目不應該僅僅因為過程沒有被評估就忽略它,這是一個很好的實踐。

總結

ASPICE要求品質保證的許多活動和結果。許多所需的結果也應該以可驗證的方式進行檢查。

了解并應用這些評估規則可以增加獲得良好評估的可能性。通常,一個項目在2年後達到1級,在2年後達到2級。

經驗表明,當團隊願意學習并不斷工作以滿足需求時,成功是最快實作的。