因果圖,是一種形式語言(有嚴格語法限制的語言,計算機語言都是形式語言),是將自然語言描述的規格說明轉換為因果圖。實質上,是一種數字邏輯電路(一個組合的邏輯網絡),但沒有使用標準的電子學符號,而是使用了稍微簡單點的符號。具體有六步(涉及到的每步具體過程及圖樣,由于篇幅,都在此略去):
將規格說明分解為可執行的片段;
確定規格說明中的因果關系;
分析規格說明的語義內容,并將其轉換為連接因果關系的布爾圖,即:因果圖;
給圖加上注解符號,說明由于語法或環境的限制而不能聯系起來的“因”和“果”;
過仔細地跟蹤圖中的狀態變化情況,將因果圖轉換成一個有限項的判定表;
將判定表中的列轉換成測試用例。
延伸閱讀
文章來源于領測軟件測試網 http://www.kjueaiud.com/