基于因果圖的設(shè)計引擎

      因果圖提供了基于圖形的測試引擎，用于業(yè)務(wù)關(guān)鍵、任務(wù)關(guān)鍵和/或安全關(guān)鍵的功能，它確保你不僅得到了正確的答案，而且正確的答案是來自于正確的原因。它指出了這樣一個事實，即多個缺陷有時可以相互抵消。因果圖確保缺陷被傳播到測試人員可以看到問題的可觀測點。具有完整的約束規(guī)則支持（One、Only One、Exclusive、Inclusive、Requires和Masks），以確保所創(chuàng)建的測試在物理上是可能的，同時支持完整的逆向測試。

      ● 更好的需求

      RBT協(xié)助項目團隊分析和評審需求，消除邏輯矛盾和錯誤。利用因果圖這種創(chuàng)新的方法，以圖形方式顯示應用中的節(jié)點（輸入和輸出）之間的關(guān)系和約束。項目團隊可以在RBT中分析功能需求的各個方面，然后RBT計算它記錄的信息，找出關(guān)系的優(yōu)先級問題和邏輯錯誤。RBT以各種易于閱讀的格式提供詳細的分析信息，分析師和項目利益相關(guān)者共同審查RBT生成的以自然語言寫就的測試用例，在開發(fā)周期的早期識別和糾正任何需求錯誤。

      ● 因果圖

      作為有效的需求驗證和測試用例設(shè)計的一種行之有效的技術(shù)，因果圖將功能規(guī)范轉(zhuǎn)換為圖形化表示。這個圖形表示描繪了需求中呈現(xiàn)的功能關(guān)系和條件，描述每個輸入如何與其他輸入以及每個輸出相關(guān)的。在此過程中還建立了節(jié)點的約束和可觀測性，允許項目團隊識別潛在的問題區(qū)域。在開發(fā)因果圖時，測試團隊評估需求的完整性、一致性、充分的細節(jié)和是否有二義性，經(jīng)常能發(fā)現(xiàn)若不用此方法則在集成測試之前找不到的缺陷。

      ● 本地化支持

      所有用戶輸入的信息——圖標題、備注、節(jié)點名稱、節(jié)點說明——可以是任何語言。然后，RBT將使用這些信息生成其所有輸出。

      ● 最小化測試

      在許多測試環(huán)境中，測試是使用“直覺”或基于組合的方法開發(fā)的。直覺測試依賴于單獨的測試人員來開發(fā)要使用的測試，而基于組合的測試則使用所有可能的輸入組合。雖然這些測試開發(fā)方法被廣泛使用，但它們不能確保全功能覆蓋，更不用說保證所需測試的最小數(shù)量。 BenderRBT使用數(shù)學上嚴格的算法來確定全功能測試覆蓋率所需的最少測試用例數(shù)量。

      ● 最大化覆蓋

       RBT的成熟的自動化測試用例的設(shè)計方法保證了功能測試的覆蓋率將達到100%，同時使用最少的測試。RBT仔細評估它獲取的所有因和果，將測試用例減少到足以實現(xiàn)完整功能覆蓋的數(shù)量。RBT也交叉引用功能與測試用例。當評估執(zhí)行的測試狀態(tài)時，此信息允許項目團隊計算正確運行的功能的百分比，然后管理層可以對應用程序是否準備好生產(chǎn)做出明智的決定。

      ● 保護在測試用例上的投入

      因果圖是一個迭代的過程。一般來說，你要繪制圖、檢查結(jié)果、調(diào)整圖，直到你確信需求是可靠的，并且圖反映了這些需求。然后實現(xiàn)測試用例。當你提交建立可執(zhí)行的測試時，你想要確保RBT知道這套測試是你正在實施的測試。這將使你能夠保護在這些測試中的投入。

      如果RBT知道了現(xiàn)有的測試集，那么當需求和圖形變化時可以評估這些測試。舊的測試實現(xiàn)了多少覆蓋？你需要什么新的測試？必須對舊的測試進行哪些修改？RBT可以為你回答這些問題。

       ● 矩陣視圖

       RBT提供兩個矩陣視圖顯示這類詳細信息。覆蓋矩陣顯示每個測試所覆蓋的功能變化，它也描述每一個測試執(zhí)行至少一個沒有被其他測試覆蓋的功能變化。使用這個矩陣，測試團隊可以確信他們正在測試應用程序功能的100%。定義矩陣總結(jié)RBT生成的每一個測試用例的輸入和輸出條件。這兩個矩陣都可以導出到Excel，供測試人員進一步說明。

      BenderRBT的功能覆蓋矩陣識別哪些功能變化在哪些測試用例中。 “X”表示功能變化是在兩個或更多測試中。“＃”表示變化僅在一次測試中出現(xiàn)。

      BenderRBT的覆蓋分析矩陣允許項目團隊量化地確定測試狀態(tài)。當選擇一個或多個測試用例時，覆蓋率分析功能將計算所選測試用例的弱和強功能覆蓋率的百分比。

      Fewer Tests Dialog

     此功能允許你輸入一個小于或等于測試總數(shù)的數(shù)字，RBT會決定哪些是測試的最優(yōu)子集——哪些測試會帶來最大的覆蓋

      BenderRBT定義矩陣用表格顯示在每個測試用例中每個節(jié)點的狀態(tài)，一目了然的了解每一個測試案例。

       ● 對敏捷的強大支持

      敏捷項目在版本內(nèi)部和跨版本中都是高度迭代的，常見的問題是測試往往落后于項目，規(guī)范從來沒有完整的文檔化。RBT除了保護在先前版本的圖上實現(xiàn)的測試的能力，還可以從模型生成的功能規(guī)格說明，這確保了代碼、測試和規(guī)格在發(fā)布時都是同步的。

      基于組合對的設(shè)計引擎

      快速設(shè)計（QD）提供了基于組合對的測試引擎，包括正交對和優(yōu)化對。QD用于測試用戶界面（例如Web頁面、客戶機服務(wù)器應用程序中的屏幕），它也適用于設(shè)計配置測試，以及關(guān)鍵功能的快速測試。具有完整的約束規(guī)則支持（One、Only One、Exclusive、Inclusive、Requires和Masks），以確保所創(chuàng)建的測試在物理上是可能的，同時支持完整的逆向測試。