0和1 - 狀態轉換測試中的開關覆蓋？

Question

這個問題不是編程相關的，而是與測試用例設計技術之一有關。狀態轉換圖技術通過N-1開關轉換識別測試條件來提供測試覆蓋。 我很困惑如何計算0開關和1開關覆蓋。

添加一個例子的屏幕截圖。任何人都可以解釋如何解決這個問題嗎？ 先謝謝您。

Question in attached Image:

Diagram for this Question:

Answer 1

0開關的從一個狀態的數量等於長度1的轉變從該狀態開始的數量。在這種情況下，您有：

• ACT-ACT;
• ACT-ACC;
• ACT-DIS;
• ACT-CLO。

所以，從活化的有長度從狀態1

1開關覆蓋4個轉變等於長度爲2的所有的轉換從該狀態開始。您可以根據您在0開關情況下找到的信息來建立起來，知道您可以從1轉換中的激活狀態中達到哪些狀態。只需計算以下4個狀態中的每一個的所有0開關轉換：

• ACT：（如前所述）ACT-ACT; ACT-ACC; ACT-DIS; ACT-CLO - > 4;
• ACC：ACC-ACT; ACC-CLO - > 2;
• DIS：DIS-ACT; DIS-CLO - > 2;
• CLO：CLO-DIS; CLO-ACT; CLO-REM; CLO-ACC - > 4.

總共有12個1-ST。

但是，這是在不考慮運動描述的第二部分的約束。

「如果國家接受索賠已經關閉它只能 恢復到接受相同的狀態。」 - >練習並不重要，因爲我們從狀態啓動開始。

「如果處於激活狀態的聲明已關閉，則只能將 恢復爲激活狀態。」 - >這個約束排除了ACT-CLO-ACC。

所以，到最後，你有11個有效的1-STS。