數字驗證測試點分解

概述

測試點實際上是把設計的功能按層級分解成一個個最簡單、最底層的功能點，化繁為簡，方便測試用例的實現。測試點主要從功能規格(FS)與架構規格(AS)中提取。測試點分解需要保證的幾點原則:

1. 完備性，即不能遺漏任何功能點，特別是異常處理，邊界處理，容錯處理這些往往容易被忽視；
2. 低耦合，不同測試點之間的相關性越低越好，這也直接決定了分解粒度，並影響testcase的開發難度；
3. 無歧義，測試點的描述要直接而明確，不同測試點之間不存在矛盾之處。
4. 擴展性.包含異常和邊界特性

為什么需要測試點分解

驗證規格分解到特性，粒度比較粗，無法保證完備性，特性的理解會存在歧義，特性和測試用例的對應關系不確定。

測試點分解的規則

1. 測試點分解的粒度要求細化到無法再細化，保證無歧義，不遺漏，同時兼顧效率不過度驗證，
2. 測試點的描述必須明確激勵和期望
3. 測試點分解是一個持續的過程，在整個芯片的驗證過程中是不斷更新迭代補充的。

測試點分解的方法

1.等價類

    輸入值的子集，分為有效等價類和無效等價類，如輸入值是正整數且小於16，則有效等價類為0<x<=15,小於0和大於16為無效等價類

2.邊界值法

    把輸入值的邊界值作為測試點，則可划分為正常區域，正常邊界區域，異常邊界區域，異常區域，如輸入值是正整數且小於16，則正常邊界區域為1和15，異常邊界區域為0和16.

3.因果圖表法

    如輸入a和b得到結果x,輸入c和d得到結果y，列出所有的關系，在對不能同時的輸入簡化，做出測試點。

4.流程圖分析法

    根據不同的條件執行不同的處理，畫出流程圖，確認測試路徑，一般用在定向測試中，有明確的的輸入輸出關系。

5.隨機變量法

    對輸入的值進行隨機化，一般和等價類法聯合使用，在等價區域使用隨機化的值。

6.錯誤推測法

    根據經驗假設錯誤發生，然后設計專用的測試點。

7.場景分析法

    根據用戶的使用場景進行測試點分解。

經常使用的測試法法是等價類法、邊界值法、隨機變量法和場景分析法，其次是因果圖表法和流程圖分析法，最后是錯誤推測法。在使用中通常將等價類法、邊界值法和隨機變量法和起來使用。

參考：https://ke.qq.com/course/222336