c語言黑白盒

⑴ 國二c語言到底考什麼

國家二級C語言的考綱分兩部分：公共基礎知識和C語言。
具體內容如下：
公共基礎知識 考試大綱
◆ 基本要求
1.掌握演算法的基本概念。
2.掌握基本數據結構及其操作。
3.掌握基本排序和查找演算法。
4.掌握逐步求精的結構化程序設計方法。
5.掌握軟體工程的基本方法，具有初步應用相關技術進行軟體開發的能力。
6.掌握資料庫的基本知識，了解關系資料庫的設計。
◆ 考試內容
一、基本數據結構與演算法
1.演算法的基本概念；演算法復雜度的概念和意義（時間復雜度與空間復雜度）。
2.數據結構的定義；數據的邏輯結構與存儲結構；數據結構的圖形表示；線性結構與非線性結構的概念。
3.線性表的定義；線性表的順序存儲結構及其插入與刪除運算。
4.棧和隊列的定義；棧和隊列的順序存儲結構及其基本運算。
5.線性單鏈表、雙向鏈表與循環鏈表的結構及其基本運算。
6.樹的基本概念；二叉樹的定義及其存儲結構；二叉樹的前序、中序和後序遍歷。
7.順序查找與二分法查找演算法；基本排序演算法（交換類排序，選擇類排序，插入類排序）。
二、程序設計基礎
1.程序設計方法與風格。
2.結構化程序設計。
3.面向對象的程序設計方法，對象，方法，屬性及繼承與多態性。
三、軟體工程基礎
1.軟體工程基本概念，軟體生命周期概念，軟體工具與軟體開發環境。
2.結構化分析方法，數據流圖，數據字典，軟體需求規格說明書。
3.結構化設計方法，總體設計與詳細設計。
4.軟體測試的方法，白盒測試與黑盒測試，測試用例設計，軟體測試的實施，單元測試、集成測試和系統測試。
5.程序的調試，靜態調試與動態調試。
四、資料庫設計基礎
1.資料庫的基本概念：資料庫，資料庫管理系統，資料庫系統。
2.數據模型，實體聯系模型及E-R圖，從E-R圖導出關系數據模型。
3.關系代數運算，包括集合運算及選擇、投影、連接運算，資料庫規范化理論。
4.資料庫設計方法和步驟：需求分析、概念設計、邏輯設計和物理設計的相關策略。
◆ 考試方式
公共基礎知識有10道選擇題和5道填空題共三十分

C語言 考試大綱
◆ 基本要求
1.熟悉 Visual C++ 6.0 集成開發環境。
2.掌握結構化程序設計的方法，具有良好的程序設計風格。
3.掌握程序設計中簡單的數據結構和演算法並能閱讀簡單的程序。
4.在 Visual C++ 6.0 集成環境下，能夠編寫簡單的C程序，並具有基本的糾錯和調試程序的能力
◆ 考試內容
一、C語言程序的結構
1.程序的構成，main函數和其他函數。
2.頭文件，數據說明，函數的開始和結束標志以及程序中的注釋。
3.源程序的書寫格式。
4.C語言的風格。
二、數據類型及其運算
1.C的數據類型（基本類型，構造類型，指針類型，無值類型）及其定義方法。
2.C運算符的種類、運算優先順序和結合性。
3.不同類型數據間的轉換與運算。
4.C表達式類型（賦值表達式，算術表達式，關系表達式，邏輯表達式，條件表達式，逗號表達式）和求值規則。
三、基本語句
1.表達式語句，空語句，復合語句。
2.輸入輸出函數的調用，正確輸入數據並正確設計輸出格式。
四、選擇結構程序設計
1.用if語句實現選擇結構。
2.用switch語句實現多分支選擇結構。
3.選擇結構的嵌套。
五、循環結構程序設計
1.for循環結構。
2.while和do-while循環結構。
3.continue語句和break語句。
4.循環的嵌套。
六、數組的定義和引用
1.一維數組和二維數組的定義、初始化和數組元素的引用。
2.字元串與字元數組。
七、函數
1.庫函數的正確調用。
2.函數的定義方法。
3.函數的類型和返回值。
4.形式參數與實在參數，參數值傳遞。
5.函數的正確調用，嵌套調用，遞歸調用。
6.局部變數和全局變數。
7.變數的存儲類別（自動，靜態，寄存器，外部），變數的作用域和生存期。
八、編譯預處理
1.宏定義和調用（不帶參數的宏，帶參數的宏）。
2.「文件包含」處理。
九、指針
1.地址與指針變數的概念，地址運算符與間址運算符。
2.一維、二維數組和字元串的地址以及指向變數、數組、字元串、函數、結構體的指針變數的定義。

⑵ 下面這道C語言題代碼怎麼寫

當s<k時，所有盒子衣服加起來都不夠k，即輸出NO；

當s=k時，所有盒子衣服加起來恰好為k，即輸出YES；

當s>k時，考慮如下分配方案，使任意連續盒子內的衣服總數都不為k：

每k個盒子一組，前k-1個盒子只分配1件衣服，第k個盒子分配k+1件衣服

這樣任意連續盒子的衣服總數要麼至多為k-1，要麼至少為k+1

且該方案所需的衣服總數最少

由於每組盒子衣服總數為k-1+k+1=2k，n個盒子可分為n/k組，餘下n%k個盒子也都為1件

那麼該方案所需衣服總數為sum=(n/k)*2*k+n%k

若s<sum，說明某組中的第k個盒子無法分配到k+1件衣服

那麼該盒子與其旁邊的若干盒子一定可以組成和為k的連續盒子，即輸出YES；

若s=sum，說明上述分配方案恰好存在，即輸出NO；

若s>sum，多出橡弊來的衣服都可以段告分配給梁燃族某組中的第k個盒子，使其衣服數大於k+1，

但仍然滿足任意連續盒子的衣服總數不為k，即輸出NO

綜上，C代碼和運行結果如下：

輸出符合樣例，望採納~

附源碼：

#include <stdio.h>

typedef long long ll;

int main() {

int T, res;

ll s, n, k, sum;

scanf("%d", &T);

while (T--) {

scanf("%lld%lld%lld", &s, &n, &k);

res = 0;

if (s > k) {

sum = (n / k) * 2 * k + n % k;

if (s < sum)

res = 1;

}

else if (s == k)

res = 1;

if (res)

printf("YES ");

else

printf("NO ");

}

return 0;

}

⑶ 計算機二級c語言知識點

2017計算機二級c語言知識點精選

計算機二級C語言考試內容是什麼?為幫助大家更好備考3月計算機考試，我為大家分享計算機C語言二級考試知識點如下：

第一章 數據結構與演算法

1.1 演算法

1.演算法的基本概念

(1) 概念：演算法是指一系列解決問題的清晰指令。

(2) 4個基本特徵：可行性、確定性、有窮性、擁有足夠的情報。

(3) 兩種基本要素：對數據對象的運算和操作、演算法的控制結構(運算和操作時問的順序)。

(4) 設計的基本方法：列舉法、歸納法、遞推法、遞歸法、減半遞推技術和回溯法。

2.演算法的復雜度

(1) 演算法的時間復雜度：執行演算法所需要的計算工作量。

(2) 演算法的空間復雜度：執行演算法所需的內存空間。

1.2 數據結構的基本概念

數據結構指相互有關聯的數據元素的集合，即數據的組織形式。其中邏輯結構反映數據元素之間邏輯關系;存儲結構為數據的邏輯結構在計算機存儲空間中的存放形式，有順序存儲、鏈式存儲、索引存儲和散列存儲4種方式。

數據結構按各元素之間前後件關系的復雜度可劃分為：

(1) 線性結構：有且只有一個根節點，且每個節點最多有一個直接前驅和一個直接後繼的非空數據結構。

(2) 非線性結構：不滿足線性結構的數據結構。

1.3 線性表及其順序存儲結構

1.線性表的基本概念

線性結構又稱線性表，線性表是最簡單也是最常用的一種數據結構。

2.線性表的順序存儲結構

元素所佔的存儲空間必須連續。

元素在存儲空間的位置是按邏輯順序存放的。

3.線性表的插入運算

在第i個元素之前插入一個新元素的步驟如下：

步驟一：把原來第n個節點至第i個節點依次往後移一個元素位置。

步驟二：把新節點放在第i個位置上。

步驟三：修正線性表的節點個數。

在最壞情況下，即插入元素在第一個位置，線性表中所有元素均需要移動。

4.線性表的刪除運算

刪除第i個位置的元素的步驟如下：

步驟一：把第i個元素之後不包括第i個元素的n-i個元素依次前移一個位置;

步驟二：修正線性表的結點個數。

1.4 棧和隊列

1.棧及其基本運算

(1) 基本概念：棧是一種特殊的線性表，其插入運算與刪除運算都只在線性表的一端進行，也被稱為「先進後出」表或「後進先出」表。

棧頂：允許插入與刪除的一端。

棧底：棧頂的另一端。

空棧：棧中沒有元素的棧。

(2) 特點。

棧頂元素是最後插入和最早被刪除的元素。

棧底元素是最早插入和最後被刪除的元素。

棧有記憶作用。

在順序存儲結構下，棧的插入和刪除運算不需移動表中其他數據元素。

棧頂指針top動態反映了棧中元素的變化情況

(3) 順序存儲和運算：入棧運算、退棧運算和讀棧頂運算。

2.隊列及其基本運算

(1) 基本概念：隊列是指允許在一端進行插入，在另一端進行刪除的線性表，又稱「先進先出」的線性表。

隊尾：允許插入的一端，用尾指針指向隊尾元素。

排頭：允許刪除的一端，用頭指針指向頭元素的前一位置。

(2) 循環隊列及其運算。

所謂循環隊列，就是將隊列存儲空間的最後一個位置繞到第一個位置，形成邏輯上的環狀空間。

入隊運算是指在循環隊列的隊尾加入一個新元素。

當循環隊列非空(s=1)且隊尾指針等於隊頭指針時，說明循環隊列已滿，不能進行人隊運算，這種情況稱為「上溢」。

退隊運算是指在循環隊列的隊頭位置退出一個元素並賦給指定的變數。首先將隊頭指針進一，然後將排頭指針指向的元素賦給指定的變數。當循環隊列為空(s=0)時，不能進行退隊運算，這種情況稱為「下溢」。

1.5 線性鏈表

在定義的鏈表中，若只含有一個指針域來存放下一個元素地址，稱這樣的鏈表為單鏈表或線性鏈表。

在鏈式存儲方式中，要求每個結點由兩部分組成：一部分用於存放數據元素值，稱為數據域;另一部分用於存放指針，稱為指針域。其中指針用於指向該結點的前一個或後一個結點(即前件或後件)。

1.6 樹和二叉樹

1.樹的基本概念

樹是簡單的非線性結構，樹中有且僅有一個沒有前驅的節點稱為「根」，其餘節點分成m個互不相交的有限集合T1，T2，…，T}mm，每個集合又是一棵樹，稱T1，T2，…，T}mm為根結點的子樹。

父節點：每一個節點只有一個前件，無前件的節點只有一個，稱為樹的根結點(簡稱樹的根)。

子節點：每～個節點可以後多個後件，無後件的節點稱為葉子節點。

樹的度：所有節點最大的度。

樹的深度：樹的最大層次。

2.二叉樹的定義及其基本性質

(1) 二叉樹的定義：二叉樹是一種非線性結構，是有限的節點集合，該集合為空(空二叉樹)或由一個根節點及兩棵互不相交的左右二叉子樹組成。可分為滿二叉樹和完全二叉樹，其中滿二叉樹一定是完全二叉樹，但完全二叉樹不一定是滿二叉樹。二叉樹具有如下兩個特點：

二叉樹可為空，空的二叉樹無節點，非空二叉樹有且只有一個根結點;

每個節點最多可有兩棵子樹，稱為左子樹和右子樹。

(2) 二叉樹的基本性質。

性質1：在二叉樹的第k層上至多有2k-1個結點(k≥1)。

性質2：深度為m的二叉樹至多有2m-1個結點。

性質3：對任何一棵二叉樹，度為0的結點(即葉子結點)總是比度為2的結點多一個。

性質4：具有n個結點的完全二叉樹的深度至少為[log2n]+1，其中[log2n]表示log2n的整數部分。

3.滿二叉樹與完全二叉樹

(1) 滿二叉樹：滿二叉樹是指這樣的一種二叉樹：除最後一層外，每一層上的所有結點都有兩個子結點。滿二叉樹在其第i層上有2i-1個結點。

從上面滿二叉樹定義可知，二叉樹的每一層上的結點數必須都達到最大，否則就不是滿二叉樹。深度為m的滿二叉樹有2m-1個結點。

(2) 完全二叉樹：完全二叉樹是指這樣的二叉樹：除最後一層外，每一層上的結點數均達到最大值;在最後一層上只缺少右邊的若干結點。

如果—棵具有n個結點的深度為k的二叉樹，它的每—個結點都與深度為k的滿二叉樹中編號為1～n的結點——對應。

3.二叉樹的存儲結構

二叉樹通常採用鏈式存儲結構，存儲節點由數據域和指針域(左指針域和右指針域)組成。二叉樹的鏈式存儲結構也稱二叉鏈表，對滿二叉樹和完全二叉樹可按層次進行順序存儲。

4.二叉樹的遍歷

二叉樹的遍歷是指不重復地訪問二叉樹中所有節點，主要指非空二叉樹，對於空二叉樹則結束返回。二叉樹的遍歷包括前序遍歷、中序遍歷和後序遍歷。

(1) 前序遍歷。

前序遍歷是指在訪問根結點、遍歷左子樹與遍歷右子樹這三者中，首先訪問根結點，然後遍歷左子樹，最後遍歷右子樹;並且，在遍歷左右子樹時，仍然先訪問根結點，然後遍歷左子樹，最後遍歷右子樹。前序遍歷描述為：若二叉樹為空，則執行空操作;否則①訪問根結點;②前序遍歷左子樹;③前序遍歷右子樹。

(2) 中序遍歷。

中序遍歷是指在訪問根結點、遍歷左子樹與遍歷右子樹這三者中，首先遍歷左子樹，然後訪問根結點，最後遍歷右子樹;並且，在遍歷左、右子樹時，仍然先遍歷左子樹，然後訪問根結點，最後遍歷右子樹。中序遍歷描述為：若二叉樹為空，則執行空操作;否則①中序遍歷左子樹;②訪問根結點;③中序遍歷右子樹。

(3) 後序遍歷。

後序遍歷是指在訪問根結點、遍歷左子樹與遍歷右子樹這三者中，首先遍歷左子樹，然後遍歷右子樹，最後訪問根結點，並且，在遍歷左、右子樹時，仍然先遍歷左子樹，然後遍歷右子樹，最後訪問根結點。後序遍歷描述為：若二叉樹為空，則執行空操作;否則①後序遍歷左子樹;②後序遍歷右子樹;③訪問根結點。

1.7 查找技術

(1) 順序查找：在線性表中查找指定的元素。

(2) 最壞情況下，最後一個元素才是要找的元素，則需要與線性表中所有元素比較，比較次數為n。

(3) 二分查找：二分查找也稱折半查找，它是一種高效率的查找方法。但二分查找有條件限制，它要求表必須用順序存儲結構，且表中元素必須按關鍵字有序(升序或降序均可)排列。對長度為n的有序線性表，在最壞情況下，二分查找法只需比較log2n次。

1.8 排序技術

(1) 交換類排序法。

冒泡排序：通過對待排序序列從後向前或從前向後，依次比較相鄰元素的排序碼，若發現逆序則交換，使較大的元素逐漸從前部移向後部或較小的元素逐漸從後部移向前部，直到所有元素有序為止。在最壞情況下，對長度為n的線性表排序，冒泡排序需要比較的次數為n(n-1)/2。

快速排序：是迄今為止所有內排序演算法中速度最快的一種。它的基本思想是：任取待排序序列中的某個元素作為基準(一般取第一個元素)，通過一趟排序，將待排元素分為左右兩個子序列，左子序列元索的排序碼均小於或等於基準元素的排序碼，右子序列的排序碼則大於基準元素的排序碼，然後分別對兩個子序列繼續進行排序，直至整個序列有序。最壞情況下，即每次劃分，只得到一個序列，時間效率為O(n2)。

(2) 插人類排序法。

簡單插入排序法：把n個待排序的元素看成為一個有序表和一個無序表，開始時有序表中只包含一個元素，無序表中包含有n-1個元素，排序過程中每次從無序表中取出第一個元素，把它的排序碼依次與有序表元素的排序碼進行比較，將它插入到有序表中的適當位置，使之成為新的有序表。在最壞情況下，即初始排序序列是逆序的情況下，比較次數為n(n-1)/2，移動次數為n(n-1)/2。

希爾排序法：先將整個待排元素序列分割成若干個子序列(由相隔某個「增量」的元素組成的)分別進行直接插入排序。待整個序列中的元素基本有序(增量足夠小)時，再對全體元素進行一次直接插入排序。

(3) 選擇類排序法。

簡單選擇排序法：掃描整個線性表。從中選出最小的元素。將它交換到表的最前面;然後對剩下的子表採用同樣的方法，直到子表空為止。最壞情況下需要比較n(n-1)/2次。

堆排序的方法：首先將一個無序序列建成堆;然後將堆頂元素(序列中的最大項)與堆中最後一個元素交換(最大項應該在序列的最後)。不考慮已經換到最後的那個元素，只考慮前n-1個元素構成的子序列，將該子序列調整為堆。反復做步驟②，直到剩下的子序列空為止。在最壞情況下，堆排序法需要比較的次數為0(nlog2n)

第二章 程序設計基礎

2.1 程序設計方法與風格

(1)設計方法：指設計、編制、調試程序的方法和過程，主要有結構化程序設計方法、軟體工程方法和面向對象方法。

(2)設計風格：良好的'設計風格要注重源程序文檔化、數據說明方法、語句的結構和輸入輸出。

2.2 結構化程序設計

1.結構化程序設計的原則

結構化程序設計強調程序設計風格和程序結構的規范化，提倡清晰的結構。。

(1)自頂向下：即先考慮總體，後考慮細節;先考慮全局目標，後考慮局部目標。

(2)逐步求精：對復雜問題，應設計一些子目標做過渡，逐步細化。

(3)模塊化：把程序要解決的總目標分解為分目標，再進一步分解為具體的小目標，把每個小目標稱為一個模塊;

(4)限制使用GOT0語句。

2.結構化程序的基本結構與特點

(1)順序結構：自始至終嚴格按照程序中語句的先後順序逐條執行，是最基本、最普遍的結構形式。

(2)選擇結構：又稱為分支結構，包括簡單選擇和多分支選擇結構。

(3)重復結構：又稱為循環結構，根據給定的條件，判斷是否需要重復執行某一相同的或類似的程序段。

結構化程序設計中，應注意事項：

(1)使用程序設計語言中的順序、選擇、循環等有限的控制結構表示程序的控制邏輯。

(2)選用的控制結構只准許有一個人口和一個出口。

(3)程序語言組成容易識別的塊，每塊只有一個入口和一個出口。

(4)復雜結構應該用嵌套的基本控制結構進行組合嵌套來實現。

(5)語言中所沒有的控制結構，應該採用前後一致的方法來模擬。

(6)盡量避免GOT0語句的使用。

2.3 面向對象的程序設計

面向對象方法的本質是主張從客觀世界固有的事物出發來構造系統，強調建立的系統能映射問題域。

對象：用來表示客觀世界中任何實體，可以是任何有明確邊界和意義的東西。

類：具有共同屬性、共同方法的對象的集合。

實例：一個具體對象就是其對應分類的一個實例。

消息：實例間傳遞的信息，它統一了數據流和控制流。

繼承：使用已有的類定義作為基礎建立新類的定義技術。

多態性：指對象根據所接受的信息而作出動作，同樣的信息被不同的對象接收時有不同行動的現象。面向對象程序設計的優點：與人類習慣的思維方法一致、穩定性好、可重用性好、易於開發大型軟體產品、可維護性好。

第三章 軟體工程基礎

3.1 軟體工程基本概念

1.軟體的定義與特點

(1)定義：軟體是指與計算機系統的操作有關的計算機程序、規程、規則，以及可能有的文件、文檔和數據。

(2)特點。

是邏輯實體，有抽象性。

生產沒有明顯的製作過程。

運行使用期間不存在磨損、老化問題。

開發、運行對計算機系統有依賴性，受計算機系統的限制，導致了軟體移植問題。

復雜性較高，成本昂貴。

開發涉及諸多社會因素。

2.軟體的分類

軟體可分應用軟體、系統軟體和支撐軟體3類。

(1)應用軟體是特定應用領域內專用的軟體。

(2)系統軟體居於計算機系統中最靠近硬體的一層，是計算機管理自身資源，提高計算機使用效率並為計算機用戶提供各種服務的軟體。

(3)支撐軟體介於系統軟體和應用軟體之間，是支援其它軟體的開發與維護的軟體。

3.軟體危機與軟體工程

軟體危機指在計算機軟體的開發和維護中遇到的一系列嚴重問題。軟體工程是應用於計算機軟體的定義、開發和維護的一整套方法、工具、文檔、實踐標准和工序，包括軟體開發技術和軟體工程管理。

4.軟體生命周期

軟體產品從提出、實現、使用維護到停止使用的過程稱為軟體生命周期。

在國家標准中，軟體生命周期劃分為8個階段①軟體定義期：包括問題定義、可行性研究和需求分析3個階段。②軟體開發期：包括概要設計、詳細設計、實現和測試4個階段。③運行維護期：即運行維護階段。

5.軟體工程的原則

軟體工程的原則包括：抽象、信息隱蔽、模塊化、局部化、確定性、一致性、完備性和可驗證性。

3.2 結構化分析方法

需求分析的任務是發現需求、求精、建模和定義需求的過程，可概括為：需求獲取、需求分析、編寫需求規格說明書和需求評審。

1.常用的分析方法

結構化分析方法：其實質著眼於數據流，自頂向下，逐層分解，建立系統的處理流程。

面向對象分析方法。

2.結構化分析常用工具

結構化分析常用工具包括數據流圖、數字字典(核心方法)、判斷樹和判斷表。

(1)數據流圖：即DFD圖，以圖形的方式描繪數據在系統中流動和處理的過程，它只反映系統必須完成的邏輯功能。是一種功能模型。

符號名稱作用：

箭頭代表數據流，沿箭頭方向傳送數據的通道

圓或橢圓代表加工，輸入數據經加工變換產生輸出

雙杠代表存儲文件，表示處理過程中存放各種數據文件

方框代表源和潭，表示系統和環境的介面

(2)數據字典：結構化分析方法的核心。數據字典是對所有與系統相關的數據元素的一個有組織的列表。以及精確的、嚴格的定義，使得用戶和系統分析員對於輸入、輸出、存儲成分和中間計算結果有共同的理解。

(3)判定樹：使用判定樹進行描述時，應先從問題定義的文字描述中分清判定的條件和判定的結論，根據描述材料中的連接詞找出判定條件之問的從屬關系、並列關系、選擇關系，根據它們構造判定樹。

(4)判定表：與判定樹相似，當數據流圖中的加工要依賴於多個邏輯條件的取值，即完成該加工的一組動作是由於某一組條件取值的組合引發的，使用判定表比較適宜。

3.軟體需求規格說明書

軟體需求規格說明書是需求分析階段的最後成果，是軟體開發的重要文檔之一。

(1)軟體需求規格說明書的作用：①便於用戶、開發人員進行理解和交流;②反映出用戶問題的結構，可以作為軟體開發工作的基礎和依據;③作為確認測試和驗收的依據。

(2)軟體需求規格說明書的內容：①概述;②數據描述;③功能描述;④性能描述;⑤參考文獻;⑥附錄。

(3)軟體需求規格說明書的特點：①正確性;②無歧義性;③完整性;④可驗證性;⑤一致性;⑥可理解性;⑦可修改性;⑧可追蹤性。

3.3 結構化設計方法

1.軟體設計的基本概念和方法

軟體沒計是一個把軟體需求轉換為軟體表示的過程。

(1)基本原理：抽象、模塊化、信息隱藏、模塊獨立性(度量標准：耦合性和內聚性，高耦合、低內聚)。

(2)基本思想：將軟體設計成由相對獨立、單一功能的模塊組成的結構。

2.概要設計

(1)4個任務：設計軟體系統結構、數據結構及資料庫設計、編寫概要設計文檔、概要設計文檔評審。

(2)面向數據流的設計方法：數據流圖的信息分為交換流和事物流，結構形式有交換型和事務型。

3.詳細設計的工具

詳細設計的工具包括：

圖形工具：程序流程圖、N-S、PAD、HIPO。

表格工具：判定表。

語言工具：PDL(偽碼)。

3.4 軟體測試

1.目的

為了發現錯誤而執行程序的過程。

2.准則

所有測試應追溯到用戶需求。

嚴格執行測試計劃，排除測試的隨意性。

充分注意測試中的群集現象。

程序員應避免檢查自己的程序。

窮舉測試不可能。

妥善保存設計計劃、測試用例、出錯統計和最終分析報告。

3.軟體測試技術和方法

軟體測試的方法按是否需要執行被測軟體的角度，可分為靜態測試和動態測試，按功能分為白盒測試和黑盒測試。

(1)白盒測試：根據程序的內部邏輯設計測試用例，主要方法有邏輯覆蓋測試、基本路徑測試等。

(2)黑盒測試：根據規格說明書的功能來設計測試用例，主要診斷方法有等價劃分法、邊界值分析法、錯誤推測法、因果圖法等，主要用於軟體確認測試。

4.軟體測試的實施

軟體測試是保證軟體質量的重要手段，軟體測試是一個過程，其測試流程是該過程規定的程序，目的是使軟體測試工作系統化。

軟體測試過程分4個步驟，即單元測試、集成測試、驗收測試和系統測試。

單元測試是對軟體設計的最小單位——模塊(程序單元)進行正確性檢驗測試。

單元測試的目的是發現各模塊內部可能存在的各種錯誤。

單元測試的依據是詳細的設計說明書和源程序。

單元測試的技術可以採用靜態分析和動態測試。

3.5 程序的調試

(1)任務：診斷和改正程序中的錯誤。

(2)調試方法：強行排錯法、回溯法和原因排除法。

第四章 資料庫設計基礎

4.1 資料庫系統的基本概念

(1) 數據(Data)：描述事物的符號記錄。

(2) 資料庫(DataBase)：長期存儲在計算機內的、有組織的、可共享的數據集合。

(3) 資料庫管理系統的概念

資料庫管理系統(DataBase Management System，DBMS)是資料庫的機構，它是一種系統軟體，負責資料庫中的數據組織、數據操作、數據維護、數據控制及保護和數據服務等。為完成以上6個功能，DBMS提供了相應的數據語言;數據定義語言(負責數據的模式定義與數據的物理存取構建);數據操縱語言(負責數據的操縱);數據控制語言(負責數據完整性、安全性的定義)。資料庫管理系統是資料庫系統的核心，它位於用戶和操作系統之間，從軟體分類的角度來說，屬於系統軟體。

(4) 資料庫技術發展經歷了3個階段。

人工管理階段→文件系統階段→資料庫系統階段

(5) 資料庫系統的特點：集成性、高共享性、低冗餘性、數據獨立性、數據統一管理與控制等。

(6) 資料庫系統的內部機構體系：三級模式(概念模式、內模式、外模式)和二級映射(外模式/概念模式的映射、概念模式/內模式的映射)構成了資料庫系統內部的抽象結構體系。

4.2 數據模型

數據模型是數據特徵的抽象，從抽象層次上描述了系統的靜態特徵、動態行為和約束條件，描述的內容有數據結構、數據操作和數據約束。有3個層次：概念數據模型、邏輯數據模型和物理數據模型。

(1) E—R模型：提供了表示實體、屬性和聯系的方法。實體間聯系有「一對一」、「一對多」和「多對多」。

(2) E-R模型用E-R圖來表示。

(3) 層次模型：利用樹形結構表示實體及其之問聯系。其中節點是實體，樹枝是聯系，從上到下是一對多關系。

(4) 網狀模型：用網狀結構表示實體及其之間聯系。是層次模型的擴展。網路模型以記錄型為節點，反映現實中較為復雜的事物聯系。

(5) 關系模型：採用二維表(由表框架和表的元組組成)來表示，可進行數據查詢、增加、刪除及修改操作。關系模型允許定義「實體完整性」、「參照完整性」和「用戶定義的完整性」三種約束。

鍵(碼)：二維表中唯一能標識元組的最小屬性集。

候選鍵(候選碼)：二維表中可能有的多個鍵。

主鍵：被選取的一個使用的鍵。

4.3 關系代數

(1) 關系代數的基本運算：投影、選擇、笛卡爾積。

(2) 關系代數的擴充運算：交、連接與自然連接、除。

4.4 資料庫設計與管理

1.資料庫設計概述

基本思想：過程迭代和逐步求精。

方法：面向數據的方法和面向過程的方法。

設計過程：需求分析→概念設計→邏輯設計→物理設計→編碼→測試→運行→進→步修改。

2.資料庫設計的需求分析

需求收集和分析是資料庫設計的第一階段，常用結構化分析方法(自頂向下、逐層分解)和面向對象的方法，主要工作有繪制數據流程圖、數據分析、功能分析、確定功能處理模塊和數據間關系。

數據字典：包括數據項、數據結構、數據流、數據存儲和處理過程，是對系統中數據的詳盡描述。

3.資料庫的設計

(1) 資料庫的概念設計：分析數據問內在的語義關聯，以建立數據的抽象模型。

(2) 資料庫的邏輯設計：從E-R圖向關系模型轉換，邏輯模式規范化，關系視圖設計可以根據用戶需求隨時創建。實體轉換為元組，屬性轉換為關系的屬性，聯系轉換為關系。

(3) 資料庫的物理設計：是數據在物理設備上的存儲結構與存取方法，目的是對資料庫內部物理結構作出調整並選擇合理的存取路徑，以提高速度和存儲空間。

4.資料庫管理

資料庫管理包括資料庫的建立、資料庫的調整、資料庫的重組、資料庫的安全性與完整性控制、資料庫故障恢復和資料庫的監控。

;

⑷ 在C語言中怎麼將子函數中的數組和函數調用出來

來傳送子函數中的數組有多種方法——可以通過函數返回值返回地址傳遞數組；也可以通過函數輸入參數來傳遞數組；還可以通過全局變數來傳遞數組。

子函數本身可以直接在作用域中進行調用。

1、通過函數返回值返回地址傳遞數組。

聲明函數時需要聲明函數返回值類型為對應數組的地址，此時可以返回數組的地址，結合數組元素的地址關系可以傳遞整個數組，同時可以根據數組的特性傳遞多個參數。

注意：子函數是C語言模塊化編程思想的核心，其方法是通過輸入介面和輸出介面實現對黑盒的調用，故對其內部數據的輸入和調用也需要通過輸入介面、輸出介面和程序的公共區域實現。

⑸ 軟體測試中什麼是白盒測試 黑盒測試

白盒測試也稱結構測試或邏輯驅動測試，它是按照程序內部的結構測試程序，通過測試來檢測產品內部動作是否按照設計規格說明書的規定正常進行，檢驗程序中的每條通路是否都能按預定要求正確工作。

這一方法是把測試對象看作一個打開的盒子，測試人員依據程序內部邏輯結構相關信息，設計或選擇測試用例，對程序所有邏輯路徑進行測試，通過在不同點檢查程序的狀態，確定實際的狀態是否與預期的狀態一致。

採用什麼方法對軟體進行測試呢？常用的軟體測試方法有兩大類：靜態測試方法和動態測試方法。其中軟體的靜態測試不要求在計算機上實際執行所測程序，主要以一些人工的模擬技術對軟體進行分析和測試；而軟體的動態測試是通過輸入一組預先按照一定的測試准則構造的實例數據來動態運行程序，而達到發現程序錯誤的過程。

白盒測試的測試方法有代碼檢查法、靜態結構分析法、靜態質量度量法、邏輯覆蓋法、基本路徑測試法、域測試、符號測試、Z路徑覆蓋、程序變異。

白盒測試法的覆蓋標准有邏輯覆蓋、循環覆蓋和基本路徑測試。其中邏輯覆蓋包括語句覆蓋、判定覆蓋、條件覆蓋、判定/條件覆蓋、條件組合覆蓋和路徑覆蓋。
六種覆蓋標准：語句覆蓋、判定覆蓋、條件覆蓋、判定/條件覆蓋、條件組合覆蓋和路徑覆蓋發現錯誤的能力呈由弱至強的變化。語句覆蓋每條語句至少執行一次。判定覆蓋每個判定的每個分支至少執行一次。條件覆蓋每個判定的每個條件應取到各種可能的值。判定/條件覆蓋同時滿足判定覆蓋條件覆蓋。條件組合覆蓋每個判定中各條件的每一種組合至少出現一次。路徑覆蓋使程序中每一條可能的路徑至少執行一次。

"白盒"法全面了解程序內部邏輯結構、對所有邏輯路徑進行測試。"白盒"法是窮舉路徑測試。在使用這一方案時，測試者必須檢查程序的內部結構，從檢查程序的邏輯著手，得出測試數據。貫穿程序的獨立路徑數是天文數字。但即使每條路徑都測試了仍然可能有錯誤。第一，窮舉路徑測試決不能查出程序違反了設計規范，即程序本身是個錯誤的程序。第二，窮舉路徑測試不可能查出程序中因遺漏路徑而出錯。第三，窮舉路徑測試可能發現不了一些與數據相關的錯誤。

如何挑選白盒測試工具

白盒測試目前主要用在具有高可靠性要求的軟體領域，例如：軍工軟體、航天航空軟體、工業控制軟體等等。白盒測試工具在選購時應當主要是對開發語言的支持、代碼覆蓋的深度、嵌入式軟體的測試、測試的可視化等。
對開發語言的支持：白盒測試工具是對源代碼進行的測試，測試的主要內容包括詞法分析與語法分析、靜態錯誤分析、動態檢測等。但是對於不同的開發語言，測試工具實現的方式和內容差別是較大的。目前測試工具主要支持的開發語言包括：標准C、C＋＋、Visual C＋＋、Java、Visual J＋+等。
代碼的覆蓋深度：從覆蓋源程序語句的詳盡程度分析，邏輯覆蓋標准包括以下不同的覆蓋標准：語句覆蓋、判定覆蓋、條件覆蓋、條件判定組合覆蓋、多條件覆蓋和修正判定條件覆蓋。
·語句覆蓋 為了暴露程序中的錯誤，程序中的每條語句至少應該執行一次。因此語句覆蓋（Statement Coverage）的含義是：選擇足夠多的測試數據，使被測程序中每條語句至少執行一次。語句覆蓋是很弱的邏輯覆蓋。
·判定覆蓋 比語句覆蓋稍強的覆蓋標準是判定覆蓋（Decision Coverage）。判定覆蓋的含義是：設計足夠的測試用例，使得程序中的每個判定至少都獲得一次「真值」或「假值」，或者說使得程序中的每一個取「真」分支和取「假」分支至少經歷一次，因此判定覆蓋又稱為分支覆蓋。
·條件覆蓋 在設計程序中，一個判定語句是由多個條件組合而成的復合判定。為了更徹底地實現邏輯覆蓋，可以採用條件覆蓋（Condition Coverage）的標准。條件覆蓋的含義是：構造一組測試用例，使得每一判定語句中每個邏輯條件的可能值至少滿足一次。
·多條件覆蓋 多條件覆蓋也稱條件組合覆蓋，它的含義是：設計足夠的測試用例，使得每個判定中條件的各種可能組合都至少出現一次。顯然滿足多條件覆蓋的測試用例是一定滿足判定覆蓋、條件覆蓋和條件判定組合覆蓋的。
·修正條件判定覆蓋 修正條件判定覆蓋是由歐美的航空/航天製造廠商和使用單位聯合制定的「航空運輸和裝備系統軟體認證標准」，目前在國外的國防、航空航天領域應用廣泛。這個覆蓋度量需要足夠的測試用例來確定各個條件能夠影響到包含的判定的結果。它要求滿足兩個條件：首先，每一個程序模塊的入口和出口點都要考慮至少要被調用一次，每個程序的判定到所有可能的結果值要至少轉換一次；其次，程序的判定被分解為通過邏輯操作符（and、or）連接的布爾條件，每個條件對於判定的結果值是獨立的。
不同的測試工具對於代碼的覆蓋能力也是不同的，通常能夠支持修正條件判定覆蓋的測試工具價格是極其昂貴的。
嵌入式軟體的測試：對於嵌入式軟體的測試，我們還需要一方面進一步考慮測試工具對於嵌入式操作系統的支持能力，例如DOS、Vxworks、Neculeus、Linux和Windows CE等；另一方面還需要考慮測試工具對於硬體平台的支持能力，包括是否支持所有64/32/16位CPU 和 MCU，是否可以支持 PCI/VME/CPCI 匯流排。
測試的可視化：白盒測試是工作量巨大並且枯燥的工作，可視化的設計對於測試來說是十分重要的。在選購白盒測試工具時，應當考慮該款測試工具的可視化是否良好，例如：測試過程中是否可以顯示覆蓋率的函數分布圖和上升趨勢圖，是否使用不同的顏色區分已執行和未執行的代碼段顯示分配內存情況實時圖表等，這些對於測試效率和測試質量的提高是具有很大的作用的。

白盒測試之基本路徑測試法

白盒測試的測試方法有代碼檢查法、靜態結構分析法、靜態質量度量法、邏輯覆蓋法、基本路徑測試法、域測試、符號測試、Z路徑覆蓋、程序變異。
其中運用最為廣泛的是基本路徑測試法。
基本路徑測試法是在程序控制流圖的基礎上，通過分析控制構造的環路復雜性，導出基本可執行路徑集合，從而設計測試用例的方法。
設計出的測試用例要保證在測試中程序的每個可執行語句至少執行一次。
在程序控制流圖的基礎上，通過分析控制構造的環路復雜性，導出基本可執行路徑集合，從而設計測試用例。包括以下4個步驟和一個工具方法：
1. 程序的控制流圖：描述程序控制流的一種圖示方法。
2. 程序圈復雜度：McCabe復雜性度量。從程序的環路復雜性可導出程序基本路徑集合中的獨立路徑條數，這是確定程序中每個可執行語句至少執行一次所必須的測試用例數目的上界。
3. 導出測試用例：根據圈復雜度和程序結構設計用例數據輸入和預期結果。
4. 准備測試用例：確保基本路徑集中的每一條路徑的執行。
工具方法：
圖形矩陣：是在基本路徑測試中起輔助作用的軟體工具，利用它可以實現自動地確定一個基本路徑集。
程序的控制流圖：描述程序控制流的一種圖示方法。
圓圈稱為控制流圖的一個結點，表示一個或多個無分支的語句或源程序語句
流圖只有二種圖形符號：
圖中的每一個圓稱為流圖的結點，代表一條或多條語句。
流圖中的箭頭稱為邊或連接，代表控制流
任何過程設計都要被翻譯成控制流圖。
如何根據程序流程圖畫出控制流程圖?
在將程序流程圖簡化成控制流圖時，應注意：
在選擇或多分支結構中，分支的匯聚處應有一個匯聚結點。
邊和結點圈定的區域叫做區域，當對區域計數時，圖形外的區域也應記為一個區域。
基本路徑測試法的步驟：
第一步：畫出控制流圖
流程圖用來描述程序控制結構。可將流程圖映射到一個相應的流圖(假設流程圖的菱形決定框中不包含復合條件)。在流圖中，每一個圓，稱為流圖的結點，代表一個或多個語句。一個處理方框序列和一個菱形決測框可被映射為一個結點，流圖中的箭頭，稱為邊或連接，代表控制流，類似於流程圖中的箭頭。一條邊必須終止於一個結點，即使該結點並不代表任何語句(例如：if-else-then結構)。由邊和結點限定的范圍稱為區域。計算區域時應包括圖外部的范圍。

第二步：計算圈復雜度
圈復雜度是一種為程序邏輯復雜性提供定量測度的軟體度量，將該度量用於計算程序的基本的獨立路徑數目，為確保所有語句至少執行一次的測試數量的上界。獨立路徑必須包含一條在定義之前不曾用到的邊。
有以下三種方法計算圈復雜度：
流圖中區域的數量對應於環型的復雜性;
給定流圖G的圈復雜度V(G)，定義為V(G)=E-N+2，E是流圖中邊的數量，N是流圖中結點的數量;
給定流圖G的圈復雜度V(G)，定義為V(G)=P+1，P是流圖G中判定結點的數量。
第三步：導出測試用例 根據上面的計算方法，可得出四個獨立的路徑。(一條獨立路徑是指，和其他的獨立路徑相比，至少引入一個新處理語句或一個新判斷的程序通路。V(G)值正好等於該程序的獨立路徑的條數。)
路徑1：4-14
路徑2：4-6-7-14
路徑3：4-6-8-10-13-4-14
路徑4：4-6-8-11-13-4-14
根據上面的獨立路徑，去設計輸入數據，使程序分別執行到上面四條路徑。

白盒測試三步法
1） 根據代碼的功能，人工設計測試用例進行基本功能測試；
2） 統計白盒覆蓋率，為未覆蓋的白盒單位設計測試用例，實現完整的白盒覆蓋，比較理想的覆蓋率是實現100%語句、條件、分支、路徑覆蓋；
3） 自動生成大量的測試用例，捕捉"程序員未處理某些特殊輸入"形成的錯誤。

第1步的測試用例通常是現成的，因為詳細設計文檔會規定程序的基本功能，沒有文檔的，程序員在編程時也要想清楚程序的功能，這些基本功能就是基本測試用例；
第2步是在第1步的基礎上，檢查未覆蓋的白盒單位，由於未覆蓋的邏輯單位通常對應未測試的等價類，因此第2步可以找出第1步所遺漏的測試用例；
第3步用自動動態測試彌補第2步的固有缺陷。
"三步法"盡量避免重復工作，白盒方法和黑盒方法相結合，人工方法和自動方法相補充，如果第2步的覆蓋率比較理想，那麼基本上可以保證找出所有等價類。在開發過程允許的限度內，"三步法"已接近極限，當得起"徹底測試"四個字。
黑盒測試也稱功能測試，它是通過測試來檢測每個功能是否都能正常使用。在測試地，把程序看作一個不能打開的黑盒子，在完全不考慮程序內部結構和內部特性的情況下，在程序介面進行測試，它只檢查程序功能是否按照需求規格說明書的規定正常使用，程序是否能適當地接收輸入數據而產生正確的輸出信息。黑盒測試著眼於程序外部結構，不考慮內部邏輯結構，主要針對軟體界面和軟體功能進行測試。

黑盒測試是以用戶的角度，從輸入數據與輸出數據的對應關系出發進行測試的。很明顯，如果外部特性本身有問題或規格說明的規定有誤，用墨盒測試方法是發現不了的。

黑盒測試法注重於測試軟體的功能需求，主要試圖發現下列幾類錯誤。

功能不正確或遺漏；

界面錯誤；

資料庫訪問錯誤；

性能錯誤；

初始化和終止錯誤等。

從理論上講，黑盒測試只有採用窮舉輸入測試，把所有可能的輸入都作為測試情況考慮，才能查出程序中所有的錯誤。實際上測試情況有無窮多個，人們不僅要測試所有合法的輸入，而且還要對那些不合法但可能的輸入進行測試。這樣看來，完全測試是不可能的，所以我們要進行有針對性的測試，通過制定測試案例指導測試的實施，保證軟體測試有組織、按步驟，以及有計劃地進行。黑盒測試行為必須能夠加以量化，才能真正保證軟體質量，而測試用例就是將測試行為具體量化的方法之一。具體的黑盒測試用例設計方法包括等價類劃分法、邊界值分析法、錯誤推測法、因果圖法、判定表驅動法、正交試驗設計法、功能圖法等。

等價類劃分的辦法是把程序的輸入域劃分成若幹部分（子集），然後從每個部分中選取少數代表性數據作為測試用例。每一類的代表性數據在測試中的作用等價於這一類中的其他值。該方法是一種重要的,常用的黑盒測試用例設計方法。
1) 劃分等價類: 等價類是指某個輸入域的子集合。在該子集合中，各個輸入數據對於揭露程序中的錯誤都是等效的，並合理地假定：測試某等價類的代表值就等於對這一類其它值的測試.因此,可以把全部輸入數據合理劃分為若乾等價類,在每一個等價類中取一個數據作為測試的輸入條件,就可以用少量代表性的測試數據.取得較好的測試結果.等價類劃分可有兩種不同的情況:有效等價類和無效等價類.
有效等價類:是指對於程序的規格說明來說是合理的,有意義的輸入數據構成的集合.利用有效等價類可檢驗程序是否實現了規格說明中所規定的功能和性能.
無效等價類:與有效等價類的定義恰巧相反.
設計測試用例時,要同時考慮這兩種等價類.因為,軟體不僅要能接收合理的數據,也要能經受意外的考驗.這樣的測試才能確保軟體具有更高的可靠性.
2）劃分等價類的方法:下面給出六條確定等價類的原則.
①在輸入條件規定了取值范圍或值的個數的情況下,則可以確立一個有效等價類和兩個無效等價類.
②在輸入條件規定了輸入值的集合或者規定了「必須如何」的條件的情況下,可確立一個有效等價類和一個無效等價類.
③在輸入條件是一個布爾量的情況下,可確定一個有效等價類和一個無效等價類.
④在規定了輸入數據的一組值（假定n個）,並且程序要對每一個輸入值分別處理的情況下,可確立n個有效等價類和一個無效等價類.
⑤在規定了輸入數據必須遵守的規則的情況下,可確立一個有效等價類（符合規則）和若干個無效等價類（從不同角度違反規則）.
⑥在確知已劃分的等價類中各元素在程序處理中的方式不同的情況下,則應再將該等價類進一步的劃分為更小的等價類.
3）設計測試用例:在確立了等價類後,可建立等價類表,列出所有劃分出的等價類:
輸入條件 有效等價類 無效等價類
... ... ...
... ... ...
然後從劃分出的等價類中按以下三個原則設計測試用例:
①為每一個等價類規定一個唯一的編號.
②設計一個新的測試用例,使其盡可能多地覆蓋尚未被覆蓋地有效等價類,重復這一步.直到所有的有效等價類都被覆蓋為止.
③設計一個新的測試用例,使其僅覆蓋一個尚未被覆蓋的無效等價類,重復這一步.直到所有的無效等價類都被覆蓋為止.

邊界值分析是通過選擇等價類邊界的測試用例。邊界值分析法不僅重視輸入條件邊界，而且也必須考慮輸出域邊界。它是對等價類劃分方法的補充.
（1）邊界值分析方法的考慮:
長期的測試工作經驗告訴我們,大量的錯誤是發生在輸入或輸出范圍的邊界上,而不是發生在輸入輸出范圍的內部.因此針對各種邊界情況設計測試用例,可以查出更多的錯誤.
使用邊界值分析方法設計測試用例,首先應確定邊界情況.通常輸入和輸出等價類的邊界,就是應著重測試的邊界情況.應當選取正好等於,剛剛大於或剛剛小於邊界的值作為測試數據,而不是選取等價類中的典型值或任意值作為測試數據.
（2）基於邊界值分析方法選擇測試用例的原則:
1）如果輸入條件規定了值的范圍,則應取剛達到這個范圍的邊界的值,以及剛剛超越這個范圍邊界的值作為測試輸入數據.
2）如果輸入條件規定了值的個數,則用最大個數,最小個數,比最小個數少一,比最大個數多一的數作為測試數據.
3）根據規格說明的每個輸出條件,使用前面的原則1）.
4）根據規格說明的每個輸出條件,應用前面的原則2）.
5）如果程序的規格說明給出的輸入域或輸出域是有序集合,則應選取集合的第一個元素和最後一個元素作為測試用例.
6）如果程序中使用了一個內部數據結構,則應當選擇這個內部數據結構的邊界上的值作為測試用例.
7）分析規格說明,找出其它可能的邊界條件.

錯誤推測法是基於經驗和直覺推測程序中所有可能存在的各種錯誤, 從而有針對性的設計測試用例的方法.
錯誤推測方法的基本思想: 列舉出程序中所有可能有的錯誤和容易發生錯誤的特殊情況,根據他們選擇測試用例. 例如, 在單元測試時曾列出的許多在模塊中常見的錯誤. 以前產品測試中曾經發現的錯誤等, 這些就是經驗的總結. 還有, 輸入數據和輸出數據為0的情況. 輸入表格為空格或輸入表格只有一行. 這些都是容易發生錯誤的情況. 可選擇這些情況下的例子作為測試用例.

因果圖法：
前面介紹的等價類劃分方法和邊界值分析方法,都是著重考慮輸入條件,但未考慮輸入條件之間的聯系, 相互組合等. 考慮輸入條件之間的相互組合,可能會產生一些新的情況. 但要檢查輸入條件的組合不是一件容易的事情, 即使把所有輸入條件劃分成等價類,他們之間的組合情況也相當多. 因此必須考慮採用一種適合於描述對於多種條件的組合,相應產生多個動作的形式來考慮設計測試用例. 這就需要利用因果圖（邏輯模型）.
因果圖方法最終生成的就是判定表. 它適合於檢查程序輸入條件的各種組合情況.
利用因果圖生成測試用例的基本步驟:
(1) 分析軟體規格說明描述中, 那些是原因(即輸入條件或輸入條件的等價類),那些是結果(即輸出條件), 並給每個原因和結果賦予一個標識符.
(2) 分析軟體規格說明描述中的語義.找出原因與結果之間, 原因與原因之間對應的關系. 根據這些關系,畫出因果圖.
(3) 由於語法或環境限制, 有些原因與原因之間,原因與結果之間的組合情況不不可能出現. 為表明這些特殊情況, 在因果圖上用一些記號表明約束或限制條件.
(4) 把因果圖轉換為判定表.
(5) 把判定表的每一列拿出來作為依據,設計測試用例.
從因果圖生成的測試用例（局部,組合關系下的）包括了所有輸入數據的取TRUE與取FALSE的情況,構成的測試用例數目達到最少,且測試用例數目隨輸入數據數目的增加而線性地增加.
前面因果圖方法中已經用到了判定表.判定表（Decision Table）是分析和表達多邏輯條件下執行不同操作的情況下的工具.在程序設計發展的初期,判定表就已被當作編寫程序的輔助工具了.由於它可以把復雜的邏輯關系和多種條件組合的情況表達得既具體又明確.
判定表通常由四個部分組成.
條件樁（Condition Stub）:列出了問題得所有條件.通常認為列出得條件的次序無關緊要.
動作樁（Action Stub）:列出了問題規定可能採取的操作.這些操作的排列順序沒有約束.
條件項（Condition Entry）:列出針對它左列條件的取值.在所有可能情況下的真假值.
動作項（Action Entry）:列出在條件項的各種取值情況下應該採取的動作.
規則:任何一個條件組合的特定取值及其相應要執行的操作.在判定表中貫穿條件項和動作項的一列就是一條規則.顯然,判定表中列出多少組條件取值,也就有多少條規則,既條件項和動作項有多少列.
判定表的建立步驟:（根據軟體規格說明）
①確定規則的個數.假如有n個條件.每個條件有兩個取值（0,1）,故有 種規則.
②列出所有的條件樁和動作樁.
③填入條件項.
④填入動作項.等到初始判定表.
⑤簡化.合並相似規則（相同動作）.
B. Beizer 指出了適合使用判定表設計測試用例的條件:
①規格說明以判定表形式給出,或很容易轉換成判定表.
②條件的排列順序不會也不影響執行哪些操作.
③規則的排列順序不會也不影響執行哪些操作.
④每當某一規則的條件已經滿足,並確定要執行的操作後,不必檢驗別的規則.
⑤如果某一規則得到滿足要執行多個操作,這些操作的執行順序無關緊要.

正交試驗設計法，就是使用已經造好了的正交表格來安排試驗並進行數據分析的一種方法，目的是用最少的測試用例達到最高的測試覆蓋率。

黑盒測試的優點
1. 基本上不用人管著，如果程序停止運行了一般就是被測試程序crash了
2. 設計完測試例之後，下來的工作就是爽了，當然更苦悶的是確定crash原因
黑盒測試的缺點
1. 結果取決於測試例的設計，測試例的設計部分來勢來源於經驗，OUSPG的東西很值得借鑒
2. 沒有狀態轉換的概念，目前一些成功的例子基本上都是針對PDU來做的，還做不到針對被測試程序的狀態轉換來作
3. 就沒有狀態概念的測試來說，尋找和確定造成程序crash的測試例是個麻煩事情，必須把周圍可能的測試例單獨確認一遍。而就有狀態的測試來說，就更麻煩了，尤其不是一個單獨的testcase造成的問題。這些在堆的問題中表現的更為突出。

黑盒測試（功能測試）工具的選擇
那麼，如何高效地完成功能測試？選擇一款合適的功能測試工具並培訓一支高素質的工具使用隊伍無疑是至關重要的。盡管現階段存在少數不採用任何功能測試工具，從事功能測試外包項目的軟體服務企業。短期來看，這類企業盈利狀況尚可，但長久來看，它們極有可能被自動化程度較高的軟體服務企業取代。
目前，用於功能測試的工具軟體有很多，針對不同架構軟體的工具也不斷推陳出新。這里重點介紹的是其中一個較為典型自動化測試工具，即Mercury公司的WinRunner。
WinRunner是一種用於檢驗應用程序能否如期運行的企業級軟體功能測試工具。通過自動捕獲、檢測和模擬用戶交互操作，WinRunner能識別出絕大多數軟體功能缺陷，從而確保那些跨越了多個功能點和資料庫的應用程序在發布時盡量不出現功能性故障。
WinRunner的特點在於: 與傳統的手工測試相比，它能快速、批量地完成功能點測試; 能針對相同測試腳本，執行相同的動作，從而消除人工測試所帶來的理解上的誤差; 此外，它還能重復執行相同動作，測試工作中最枯燥的部分可交由機器完成; 它支持程序風格的測試腳本，一個高素質的測試工程師能藉助它完成流程極為復雜的測試，通過使用通配符、宏、條件語句、循環語句等，還能較好地完成測試腳本的重用; 它針對於大多數編程語言和Windows技術，提供了較好的集成、支持環境，這對基於Windows平台的應用程序實施功能測試而言帶來了極大的便利。
WinRunner的工作流程大致可以分為以下六個步驟:
1．識別應用程序的GUI
在WinRunner中，我們可以使用GUI Spy來識別各種GUI對象，識別後，WinRunner會將其存儲到GUI Map File中。它提供兩種GUI Map File模式: Global GUI Map File和GUI Map File per Test。其最大區別是後者對每個測試腳本產生一個GUI文件，它能自動建立、存儲、載入，推薦初學者選用這種模式。但是，這種模式不易於描述對象的改變，其效率比較低，因此對於一個有經驗的測試人員來說前者不失為一種更好的選擇，它只產生一個共享的GUI文件，這使得測試腳本更容易維護，且效率更高。
2．建立測試腳本
在建立測試腳本時，一般先進行錄制，然後在錄制形成的腳本中手工加入需要的TSL（與C語言類似的測試腳本語言）。錄制腳本有兩種模式: Context Sensitive和Analog，選擇依據主要在於是否對滑鼠軌跡進行模擬，在需要回放時一般選用Analog。在錄制過程中這兩種模式可以通過F2鍵相互切換。
只要看看現代軟體的規模和功能點數就可以明白，功能測試早已跨越了單靠手工敲敲鍵盤、點點滑鼠就可以完成的階段。而性能測試則是控制系統性能的有效手段，在軟體的能力驗證、能力規劃、性能調優、缺陷修復等方面都發揮著重要作用。
3．對測試腳本除錯(debug)
在WinRunner中有專門一個Debug Toolbar用於測試腳本除錯。可以使用step、pause、breakpoint等來控制和跟蹤測試腳本和查看各種變數值。
4．在新版應用程序執行測試腳本
當應用程序有新版本發布時，我們會對應用程序的各種功能包括新增功能進行測試，這時當然不可能再來重新錄制和編寫所有的測試腳本。我們可以使用已有的腳本，批量運行這些測試腳本測試舊的功能點是否正常工作。可以使用一個call命令來載入各測試腳本。還可在call命令中加各種TSL腳本來增加批量能力。
5．分析測試結果
分析測試結果在整個測試過程中最重要，通過分析可以發現應用程序的各種功能性缺陷。當運行完某個測試腳本後，會產生一個測試報告，從這個測試報告中我們能發現應用程序的功能性缺陷，能看到實際結果和期望結果之間的差異，以及在測試過程中產生的各類對話框等。
6．回報缺陷（defect）
在分析完測試報告後，按照測試流程要回報應用程序的各種缺陷，然後將這些缺陷發給指定人，以便進行修改和維護。
常用的功能測試方法
功能測試就是對產品的各功能進行驗證，根據功能測試用例，逐項測試，檢查產品是否達到用戶要求的功能。