故障檢測——D算法編輯pptD算法D算法是一種用形式化運算求測試碼的多路徑敏化法，是在立方體理論根底上實現的路徑敏化，是首先出現的完全的測試碼生成算法。由于其計算機可操作性和解決問題的通用性而得到廣泛的應用。根本思想：同單路徑敏化法，使故障點的正常值與故障值形成差異，并將它敏化至輸出端。同時確定輸入向量和其他信號值以確保各信號值的一致性。采用立方體運算，考慮多路徑情況。編輯pptD立方立方體：n變量的二值布爾函數可看成是一個n維單位立方體的2n個頂點。每個頂點對應一個最小項，乘積項〔線段、平面等〕那么表示為奇異立方。D立方： ：正常值為1，故障值為0，用來表示s-a-0; ：正常值為0，故障值為1，用來表示s-a-1。編輯ppt立方體的交運算定義兩個相同維數的立方體的交運算： 其中每個元素的交運算規那么如上表所示，假設有一個或幾個元素相交結果為?，那么表示該立方不存在。編輯ppt故障D立方定義：在元件輸出處可產生錯誤信號 的最小輸入條件。運算：pdcf交，說明故障元件輸入和輸出之間的關系。設無故障立方體的集合為G，故障立方體的集合為B。G中輸出為0的表示為g0，輸出為1的表示為g1；B中輸出為0的表示為b0，輸出為1的表示為b1。Pdcf交規那么：輸入局部的規那么同一般立方體交運算；輸出局部的規那么如下表：也即：編輯ppt例：設一個與門在故障狀態下表現為或門的性質，求其pdcf。解：正常狀態下的G和故障狀態下的B分別為：先對g1和b0作pdcf交： 結果為空。再對g0和b1作pdcf交：得該與門的故障D立方為：編輯ppt傳播D立方定義：將元件輸入端的假設干錯誤信號傳播至輸出端的最小輸入條件，表示對故障信號的傳播特性。計算： ①求 即xi線上 故障傳播至輸出端仍為 的條件； ②求 即xi線上 故障傳播至輸出端變為 的條件； ③構造傳播D立方〔x1,x2,…,f〕。編輯ppt測試D立方定義：對電路中各個信號結點依次排列，它們的動態狀態取值組成含有或的值向量。它是經過運算的D立方，如：測試D立方是在運算過程中各結點邏輯值〔包括D值〕的動態列表。未確定值的結點均以X值表示。編輯pptD驅趕定義：逐級將故障信號 敏化至可測輸出端的過程。思路：將輸入有 而輸出未定的元件〔稱為D激活元件〕的傳播D立方同測試立方作交運算〔規那么見下表〕，使其輸出或，即將 驅趕通過該元件。如交存在，說明驅趕成功，否那么驅趕失敗。編輯ppt驅趕步驟從激活元件AI選出EI，將EI的傳播D立方與前一次測試立方tcI-1相交。如交存在，構造tcI，表示 已通過元件EI，進入步驟2。如果交不存在，那么轉入3。從AI中刪去EI，增加新的激活元件形成AI+1，重復步驟1直至到達輸出端。從AI中另選元件EI，重復步驟1。如AI中所有元件均敏化失敗，那么退回到AI-1。編輯ppt一致性操作&蘊含操作向前的D驅趕完成后，要進行向后的一致性檢查，檢查所獲測試立方是否與各元件的奇異立方一致。方法：將D驅趕中尚未用過的元件的奇異立方與測試立方作交運算。如有一個元件找不到一致的奇異立方，那么一致性檢查未通過，應退回上一步。蘊含：在D驅趕中確定了某些線上的值，從而唯一確定了有些元件的輸出值。方法：將與新確定值有關的各元件的奇異立方同測試立方求交。 前向蘊含：輸入值先確定，求交后確定輸出值； 后向蘊含：輸出值先確定，求交后確定輸入值。編輯pptD算法步驟準備工作：電路結點編號；輸入全部元件的立方體和傳播D立方；建立故障表，輸入各故障D立方。選定一個故障形成故障傳播D立方作為初始測試立方tc0。在激活元件A0中任選一個作為E0，求其傳播D立方，并求傳播D立方與tc0的交運算。假設交存在，即表示與tc0一致，得 tc1=tc0∩T(D)；假設不一致那么退回，另選一傳播D立方。假設該元件全部傳播D立方與不一致，那么從A0中另選一個元件作為E0。在新激活元件A1中任選一個作E1，重復上述步驟，直至D被驅趕至輸出端。編輯ppt舉例說明D算法：以以以下圖為例，用D算法求e(s-a-1)的測試碼。解：與該故障有關的元件為E，其故障D立方為：編輯ppt所有元件的原始立方：E：F：G：H：I：J:K:L:編輯ppt所有元件的傳播D立方：編輯pptD算法執行過程：