等價劃分(equivalence partitioning)是2018年公布的計算機科學技術名詞。
基本介紹
- 中文名:等價劃分
- 外文名:equivalence partitioning
- 所屬學科:計算機科學技術
- 公布時間:2018年
- 出處:計算機科學技術名詞 》第三版

等價劃分(equivalence partitioning)是2018年公布的計算機科學技術名詞。
等價劃分(equivalence partitioning)是2018年公布的計算機科學技術名詞。定義 一種黑盒測試方法,它將程式所有可能的輸入或輸出數據(有效的和無效的)劃分成若干個等價類,然後從每個等價類中選取具有代表性的數據來設計測試用例進行測試,測試用例由有效等價類和無效等價類的代表組成,從而保證測試用例具有完整性和代表性...
劃分等價類的基本方法是:從程式的功能說明中找出各個輸入條件,然後為每個輸入條件劃分等價類。等價類分為兩種:有效等價類和無效等價類。有效等價類是指屬於程式的合理輸入範圍的那些數據,無效等價類是指非法的輸入數據。等價類的劃分取決於程式的功能要求和定義域,也取決於測試人員對問題的理解力和創造力,帶有很大...
等價類劃分,指的是一種典型的、重要的黑盒測試方法。其就是解決如何選擇適當的數據子集來代表整個數據集的問題,通過降低測試的數目去實現“合理的”覆蓋,以此發現更多的軟體缺陷,統計好數據後由此對軟體進行改進升級。基本信息 等價類劃分法將程式所有可能的輸入數據(有效的和無效的)劃分成若干個等價類。然後從...
x 所在等價類, x也稱為這個等價類的代表元。 集合A可以劃分為一些等價類的並集,這些等價類兩兩不相交。 任何元素都必定落在某個等價類裡面。更廣泛意義的等價,是集合在某種變換下保持不變性。如:矩陣A與B稱為等價的,如果B可以是A經過一系列初等變換得到。線上性代數中,契約、相似都是等價關係。
{ {1}, {2} } 不是 {1, 2, 3} 的一個劃分,因為沒有塊包含 3;但它是 {1, 2} 的一個劃分。 劃分和等價關係 如果一個等價關係給出在集合 X 上,則所有等價類的集合形成 X 的一個劃分。反過來說,如果一個劃分 P 給出在 X 上,我們可以定義在 X 上的寫為 x ~ y 的等價關係,若且唯若...
劃分等價類的標準 1)完備測試、避免冗餘;2)劃分等價類重要的是:集合的劃分,劃分為互不相交的一組子集,而子集的並是整個集合;3)並是整個集合:完備性;4)子集互不相交:保證一種形式的無冗餘性;5)同一類中標識(選擇)一個測試用例,同一等價類中,往往處理相同,相同處理映射到"相同的執行路徑"。劃分等價類...
則稱R是定義在A上的一個等價關係。設R是一個等價關係,若(a, b) ∈ R,則稱a等價於b,記作 a ~ b 。套用 例一:同班同學關係、同鄉關係是等價關係。平面幾何中三角形間的相似關係、全等關係都是等價關係。平面幾何中直線間的平行關係是等價關係。例二:設A = {1, 4, 7},定義A上的關係R如下:R ...
充當一般等價物的商品往往因時因地而不同,交替地、暫時地由這種商品或那種商品承擔。在古希臘的歷史記載中,牛、羊、穀物等都曾充當過一般等價物。希臘古代詩人荷馬的詩篇中,曾提到這樣的交換關係:1個女奴隸換4頭公牛,一個銅製的三角架換12頭公牛。公元前500多年雅典的梭倫法典中,以占有大麥的多少劃分居民...
阿達馬等價(Hadamard equivalence)阿達馬矩陣間的一類等價關係.阿達馬等價,阿達馬矩陣間的一類等價關係.若兩個阿達馬矩陣可經一系列交換兩行、交換兩列、一行乘(一1)、一列乘(-1)的變換從一個變為另一個,則稱這兩個阿達馬矩陣為阿達馬等價.阿達馬等價是一個等價關係,n階阿達馬矩陣的全體可以劃分成一些等價...
與等價劃分的區別:(1)邊界值分析不是從某等價類中隨便挑一個作為代表,而是使這個等價類的每個邊界都要作為測試條件。(2)邊界值分析不僅考慮輸入條件,還要考慮輸出空間產生的測試情況。常見值 邊界值分析方法的考慮 使用邊界值分析方法設計測試用例,首先應確定邊界情況。通常輸入和輸出等價類的邊界,就是應著重...
7.7.1等價劃分172 7.7.2邊界值分析175 7.7.3錯誤推測175 7.8調試176 7.8.1調試過程176 7.8.2調試途徑178 7.9軟體可靠性179 7.9.1基本概念179 7.9.2估算平均無故障時間的方法180 7.10小結182 習題7183 第8章維護189 8.1軟體維護的定義189 8.2軟體維護的特點190 8.2.1結構化維護與非結構化...
2.與等價劃分的區別 (1)邊界值分析不是從某等價類中隨便挑一個作為代表,而是使這個等價類的每個邊界都要作為測試條件。(2)邊界值分析不僅考慮輸入條件,還要考慮輸出空間產生的測試情況。3.邊界值分析方法的考慮:長期的測試工作經驗告訴我們,大量的錯誤是發生在輸入或輸出範圍的邊界上,而不是發生在輸入輸出範圍...
劃分等價類 等價類是指某個輸入域的子集合。在該子集合中,各個輸入數據對於揭露程式中的錯誤都是等效的,併合理地假定:測試某等價類的代表值就等於對這一類其它值的測試。因此,可以把全部輸入數據合理劃分為若干等價類,在每一個等價類中取一個數據作為測試的輸入條件,就可以用少量代表性的測試數據.取得較好的...
是把所有可能的輸入數據,即程式的輸入域劃分成若干部分(子集),然後從每一個子集中選取少數具有代表性的數據作為測試用例.該方法是一種重要的,常用的黑盒測試用例設計方法。劃分等價類 等價類是指某個輸入域的子集合.在該子集合中,各個輸入數據對於揭露程式中的錯誤都是等效的.併合理地假定:測試某等價類的...
目前常用的比較成熟的黑盒測試的方法主要有:等價類劃分法、邊界值分析法、因果圖法和錯誤推測法。下面對這幾種方法加以介紹並指出其優缺點。(一)等價類劃分法 等價類劃分法是一種典型的、重要的黑盒測試方法,它將程式所有可能的輸入數據劃分為若干個等價類。然後從每個部分中選取具有代表性的數據當做測試用例。
物種F代表的信息量等價於物種A、B、C、D和E的總信息量,應當受到優先保。Erwin(199)提出了一個相反的觀點,他認為應當重點保護生物系統進化樹上的那些“分枝末梢”,以保存生物的進化潛力。生物系統進行樹上那些代表古老、孑遺生物的分枝已經停止了進化,因而,這些分枝失去了保護的價值,我們應當更重視分枝α的保護...
5.5.1 等價劃分 121 5.5.2 邊界值分析 123 5.5.3 錯誤推測 124 5.6 測試策略 124 5.6.1 測試步驟 125 5.6.2 單元測試 125 5.6.3 集成測試 127 5.6.4 確認測試 130 5.7 調試 131 5.7.1 調試過程 131 5.7.2 調試途徑 132 5.8 軟體可靠性 133 5.8.1 基本概念...
5.循環的第0次、第1次和倒數第2次、最後一次 三,邊界分析法與等價劃分的區別:1.邊界值分析不是從某等價類中隨便挑一個作為代表,而是選出一個或幾個元素,使這個等價類的每個邊界都要作為測試條件。2.邊界分析不僅根據輸入條件,還要根據輸出的情況(按輸出等價類)設計測試用例。
等價轉化 等價轉化是把未知解的問題轉化到在已有知識範圍內可解的問題的一種重要的思想方法。通過不斷的轉化,把不熟悉、不規範、複雜的問題轉化為熟悉、規範甚至模式法、簡單的問題。歷年高考,等價轉化思想無處不見,我們要不斷培養和訓練自覺的轉化意識,將有利於強化解決數學問題中的應變能力,提高思維能力和技能...
等價 對於拓撲空間X,以下論述等價:X是豪斯多夫空間。X是積空間的閉集。X中極限是唯一的(就是序列、網和濾子收斂於最多一個點)。所有包含在X中的單元素集合都等於包含它的所有閉鄰域的交集。對角的Δ={(x,x)|x∈X} 作為乘積空間X×X的子集是閉集。例子和反例 在數學分析所遇到的幾乎所有空間都是豪斯多夫...
所謂代碼最佳化是指對程式代碼進行等價(指不改變程式的運行結果)變換。程式代碼可以是中間代碼(如四元式代碼),也可以是目標代碼。等價的含義是使得變換後的代碼運行結果與變換前代碼運行結果相同。最佳化的含義是最終生成的目標代碼短(運行時間更短、占用空間更小),時空效率最佳化。原則上,最佳化可以在編譯的各個階段...
可以採用軟體測試常用的基該方法:等價類劃分法、邊界值分析法、錯誤推測法、因果圖法、邏輯覆蓋法等設計測試用例。視軟體的不同性質採用不同的方法。如何靈活運用各種基該方法來設計完整的測試用例,並最終實現暴露隱藏的缺陷,全憑測試設計人員的豐富經驗和精心設計。測試用例設計 設計原則 測試用例是一個文檔,是執行...
是把所有可能的輸入數據,即程式的輸入域劃分成若干部分(子集),然後從每一個子集中選取少數具有代表性的數據作為測試用例.該方法是一種重要的,常用的黑盒測試用例設計方法。劃分等價類 等價類是指某個輸入域的子集合.在該子集合中,各個輸入數據對於揭露程式中的錯誤都是等效的.併合理地假定:測試某等價類的...
4.6等價關係與劃分 4.7偏序關係 習題 第5章函式 5.1函式的基本概念和性質 5.1.1函式的定義 5.1.2函式的性質 5.2函式的複合與反函式 5.2.1函式的複合運算 5.2.2函式的逆運算 習題 第3篇代數系統 第6章代數系統一般性質 6.1二元運算及其性質 6.1.1二元運算 6.1.2二元運算律 6.1.3二元運算...
3.邊界條件(Boundary Condition):輸入部分的邊界值,就是使用一般書中說的等價類劃分,試試最大最小和非法數據等等。4.性能(Performance):正常使用的時間內系統完成一個任務需要的時間,多人同時使用的時候回響時間在可以接受範圍內。J2EE技術實現的系統在性能方面更是需要照顧的,一般原則是3秒以下接受,3-5秒...
4.6等價關係 4.6.1等價關係與等價類 4.6.2等價關係與劃分 4.7偏序關係 4.7.1偏序關係和哈斯圖 4.7.2極值和最值 4.7.3拓撲排序 4.8函式 4.8.1函式的定義 4.8.2函式的類型 4.8.3函式的運算 習題4 第5章布爾代數 5.1布爾函式 5.1.1布爾函式和布爾表達式 5.1.2布爾代數中的恆等式 5.2...
4.4 等價關係與劃分 4.5 相容關係與覆蓋 4.6 偏序關係 4.7 常見題型分析 本章小結 擴展閱讀 習題 第5章 函式 5.1 函式的定義 5.2 函式的性質與分類 5.3 常用函式 5.4 函式的運算 5.4.1 複合運算 5.4.2 逆運算 5.5 常見題型解析 本章小結 擴展閱讀 習題 第6章 集合的基數 6.1...
本書共分為兩章:第1章主要介紹集合的相關概念,集合的基本運算和集合在計數上的套用;第2章講述二元關係的相關知識,前兩節介紹二元關係的相關概念和基本運算,第三節介紹幾種特殊的二元關係及它們的判斷方法,第四節為關係的閉包,介紹如何構造特殊二元關係,最後一節為等價關係與劃分。書中每節後面都有練習題,...
