ASPICE系列：正確定義驗(yàn)證標(biāo)準(zhǔn)，以通過下一次ASPICE過程的軟件單元驗(yàn)證

在基礎(chǔ)實(shí)踐2中您如何定義驗(yàn)證標(biāo)準(zhǔn)?有了基礎(chǔ)實(shí)踐1中定義的戰(zhàn)略指導(dǎo)方針，您就可以進(jìn)入下一步了。這個(gè)BP（基礎(chǔ)實(shí)踐）既適用于靜態(tài)測(cè)試也適用于動(dòng)態(tài)測(cè)試。預(yù)期的結(jié)果是單元的特定測(cè)試用例和單元級(jí)靜態(tài)檢查的定義。在本文中，我們將討論基礎(chǔ)實(shí)踐2-7。

本文是ASPICE系列文章的第3篇。

ASPICE基礎(chǔ)實(shí)踐

基礎(chǔ)實(shí)踐2:制定單元驗(yàn)證標(biāo)準(zhǔn)

ASPICE過程期望定義標(biāo)準(zhǔn)，以確保單元執(zhí)行軟件詳細(xì)設(shè)計(jì)和非功能需求中所描述的操作。

所有的工作產(chǎn)品都應(yīng)該按照軟件單元驗(yàn)證策略中的描述進(jìn)行生產(chǎn)。

例如，應(yīng)為靜態(tài)測(cè)試定義以下標(biāo)準(zhǔn):

• 靜態(tài)測(cè)量的類型(例如，圈復(fù)雜度的測(cè)量)和成功的評(píng)價(jià)標(biāo)準(zhǔn)(測(cè)量的圈復(fù)雜度小于50)。

• 符合編碼標(biāo)準(zhǔn)(如MISRA)

• 符合項(xiàng)目中商定的設(shè)計(jì)模式

• 非功能性的技術(shù)標(biāo)準(zhǔn)，例如資源消耗(RAM/ROM)

您可以為所有單元設(shè)置單元驗(yàn)證標(biāo)準(zhǔn)，或者專門為一類單元或單個(gè)單元設(shè)置單元驗(yàn)證標(biāo)準(zhǔn)。為了不讓工作失去控制，建議對(duì)一般定義保持慎重和保守。

專業(yè)提示：覆蓋目標(biāo)(例如代碼覆蓋)通常不適合作為單元驗(yàn)證標(biāo)準(zhǔn)。它們最好用作測(cè)試結(jié)束標(biāo)準(zhǔn)，從而確定測(cè)試何時(shí)可以被認(rèn)為完成。

對(duì)于每個(gè)測(cè)試規(guī)范，基礎(chǔ)實(shí)踐6“確保一致性”要求在測(cè)試規(guī)范和軟件詳細(xì)設(shè)計(jì)之間進(jìn)行內(nèi)容檢查。在大多數(shù)情況下，這是通過審查等質(zhì)量保證措施來完成的。此檢查的目的是證明測(cè)試用例正確地測(cè)試了鏈接需求的內(nèi)容。明確地期望每個(gè)評(píng)審都有文檔記錄。

如果在評(píng)估過程中發(fā)現(xiàn)缺少或不充分的非功能需求(SWE.1)或缺少或不充分的軟件詳細(xì)設(shè)計(jì)(SWE.3)，BP2評(píng)估可能會(huì)被降級(jí)。

換句話說，如果前面的過程沒有完成，他們也不會(huì)得到一個(gè)好的評(píng)價(jià)。

基本實(shí)踐3:執(zhí)行軟件單元的靜態(tài)驗(yàn)證

使用基礎(chǔ)實(shí)踐2中定義的標(biāo)準(zhǔn)，軟件單元的靜態(tài)驗(yàn)證應(yīng)該在基礎(chǔ)實(shí)踐3中執(zhí)行。

該驗(yàn)證可以通過以下方式執(zhí)行：

• 自動(dòng)靜態(tài)代碼分析工具

• 代碼審查(例如檢查編碼標(biāo)準(zhǔn)和指導(dǎo)方針的符合性或正確使用設(shè)計(jì)模式)

成功標(biāo)準(zhǔn)應(yīng)該使用BP2的標(biāo)準(zhǔn)來確定。它們具體說明檢查是成功還是失敗?；A(chǔ)可以是覆蓋標(biāo)準(zhǔn)或遵從最大值(max.圈復(fù)雜度最大為Y)或最小值(min.每行代碼最少x行注釋)。

基礎(chǔ)實(shí)踐4:測(cè)試軟件單元

使用基礎(chǔ)實(shí)踐2中創(chuàng)建的測(cè)試規(guī)范，軟件單元測(cè)試將在基礎(chǔ)實(shí)踐4中執(zhí)行。預(yù)期測(cè)試將按照軟件單元驗(yàn)證策略中所描述的方式執(zhí)行。

對(duì)于基礎(chǔ)實(shí)踐3和基礎(chǔ)實(shí)踐4，明確要求記錄包括結(jié)果在內(nèi)的所有測(cè)試。如果出現(xiàn)異?，F(xiàn)象和檢驗(yàn)發(fā)現(xiàn)的情況，應(yīng)將其記錄、評(píng)估和報(bào)告。

此外，BP4要求以有意義的方式總結(jié)所有數(shù)據(jù)。在軟件單元驗(yàn)證中，通常需要大量的測(cè)試數(shù)據(jù)。測(cè)試數(shù)據(jù)應(yīng)該在多個(gè)詳細(xì)級(jí)別上為手動(dòng)和自動(dòng)執(zhí)行驗(yàn)證結(jié)果而準(zhǔn)備。對(duì)此的解決方案是一個(gè)有意義的總結(jié)，例如通過餅圖的形式聚集所有測(cè)試結(jié)果。

基礎(chǔ)實(shí)踐3和基礎(chǔ)實(shí)踐4的評(píng)估說明

與軟件單元驗(yàn)證策略(BP1)相比，驗(yàn)證測(cè)試執(zhí)行的偏差導(dǎo)致BP3或BP4的貶值。

對(duì)于BP3和BP4，缺乏有意義的總結(jié)會(huì)導(dǎo)致降級(jí)。如果一個(gè)測(cè)試只被評(píng)為通過/失敗，而沒有關(guān)于測(cè)試的附加信息，那么評(píng)估人員對(duì)受影響的基礎(chǔ)實(shí)踐的評(píng)價(jià)不會(huì)比“Partly”更好。自動(dòng)化軟件單元測(cè)試報(bào)告中對(duì)單元的模擬和計(jì)算可以被視為對(duì)評(píng)估的充分補(bǔ)充信息。

評(píng)估人員將希望分別看到BP3和BP4的評(píng)估示例。具體地說，他們想要用它來驗(yàn)證一個(gè)發(fā)現(xiàn)是否符合軟件單元驗(yàn)證策略和SUP.9問題解決管理。

基礎(chǔ)實(shí)踐5:建立雙向追溯

在ASPICE中有幾個(gè)地方需要雙向追溯。如何實(shí)施取決于你自己。在這種情況下，您需要將詳細(xì)設(shè)計(jì)的需求與測(cè)試用例和靜態(tài)測(cè)試的結(jié)果聯(lián)系起來。測(cè)試用例依次鏈接到詳細(xì)設(shè)計(jì)的需求。

在最簡(jiǎn)單的情況下，這可以通過表格的形式完成(列=測(cè)試用例;行=需求)。這種實(shí)現(xiàn)需要大量維護(hù)，而且很容易出錯(cuò)。

Pro-Tip:為此使用模型動(dòng)態(tài)測(cè)試工具TPT等工具，盡可能容易地創(chuàng)建鏈接，最好是自動(dòng)生成報(bào)告。您可以將此跟蹤報(bào)告為概述用于一致性評(píng)審(SWE.4 BP6)作。在更改請(qǐng)求的情況下，您可以更快地分析對(duì)測(cè)試用例的依賴性。

評(píng)估人員明確地希望您將測(cè)試用例和需求雙向地鏈接起來(BP5)。

基礎(chǔ)實(shí)踐7:總結(jié)和交流結(jié)果

所有單元驗(yàn)證結(jié)果應(yīng)匯總并通報(bào)相關(guān)方。BP7明確地期望有證據(jù)表明已經(jīng)報(bào)告了結(jié)果。所有類型的通信媒體，如信件、郵件、視頻、論壇帖子等，都可以作為證據(jù)(只要它們有記錄并可追溯)。

如果SWE.4的BP 3和/或BP 4被評(píng)為“None”或“Partly”，那么預(yù)計(jì)評(píng)估員會(huì)對(duì)BP7降級(jí)。

在BP7的ACQ.13項(xiàng)目要求過程中，需要確定相關(guān)方及其對(duì)信息的需求。

ACQ.13項(xiàng)目要求過程不作為ASPICE評(píng)估的一部分進(jìn)行審查。然而，一個(gè)項(xiàng)目不應(yīng)該僅僅因?yàn)檫^程沒有被評(píng)估就忽略它，這是一個(gè)很好的實(shí)踐。

總結(jié)

ASPICE要求質(zhì)量保證的許多活動(dòng)和結(jié)果。許多所需的結(jié)果也應(yīng)該以可驗(yàn)證的方式進(jìn)行檢查。

了解并應(yīng)用這些評(píng)估規(guī)則可以增加獲得良好評(píng)估的可能性。通常，一個(gè)項(xiàng)目在2年后達(dá)到1級(jí)，在2年后達(dá)到2級(jí)。

經(jīng)驗(yàn)表明，當(dāng)團(tuán)隊(duì)愿意學(xué)習(xí)并不斷工作以滿足需求時(shí)，成功是最快實(shí)現(xiàn)的。