軟 件 測 試 目 的 :(1) 測 試 是 程 序 的 執 行 過 程 , 目的 在 於 發 現 錯 誤 ;
( 2 ) 一 個 好 的 測 試 用 例 在 於 能 發 現 至 今 未 發 現的 錯 誤 ;
( 3 ) 一 個 成 功 的 測 試 是 發 現 了 至 今 未 發 現 的 錯誤 的 測 試
軟 件 測試 的 原 則 :1 應 當 把 「 盡 早 地 和 不 斷 地進 行 軟 件 測 試 作為軟 件 開 發 者 的 座 右 銘 。
2 測 試 用例 應 由 測 試 輸 入 數 據 和 對 應 的 預 期 輸 出 結 果 這 兩部 分 組 成
3. 程 序 員應 避 免 檢 查 自 己 的 程 序
4 在 設 計測 試 用 例 時 , 應 當 包 括 合 理 的 輸 入 條 件 和 不 合 理的 輸 入 條 件
測 試 信 息 流
軟 件 配 置 :
測 試 配 置 :
測 試 工 具 ·
測 試 結 果 分 析 :
排 錯 ( 調 試 ) :
修 正 後 的 文 檔 再 測 試 :
測 試 與 軟 件 開 發 各 階 段 的 關 系 :軟 件 開 發 過 程 是 一 個 自 頂 向 下 , 逐 步細化 的 過程
測 試 用 例 設 計 :兩 種 常 用 的 測 試 方 法
1.黑 盒 測 試
2.白 盒 測 試
黑 盒 測 試 :這 種 方 法 是 把 測 試 對 象 看 做 一 個 黑 盒 子 , 檢 查 程 序 的 功 能 是 否 符合 它 的 功 能 說 明
白 盒 測 試 :此 方 法 把 測 試 對 象 看 做 一 個 透 明 的 盒 子 , 對 程 序 所 有 邏 輯 路 徑 進行 測 試
邏 輯覆蓋:邏 輯 覆 蓋 是 以 程 序 內 部 的 邏 輯 結 構 為 基 礎 的 設 計 測 試 用 例 的 技 術 。 它屬 白
盒 測 試 。
語 句 覆蓋 :語句覆蓋就是設計若干個測試用例,執行被測程式,使得每一可執行語句至少執行一次
判 定覆蓋
條 件 覆蓋:設計若干個測試用例,執行被測程式,使得程式中每個判斷的每個條件的可能取值至少執行一次。
判 定 一 條 件覆蓋:設計足夠的測試用例,使得判斷中每個條件的所有可能取值至少執行一次,同時每個判斷中的每個條件的可能取值至少執行一次。
條件組合覆蓋:設計足夠的測試用例,執行被測程式,使得每個判斷的所有可能的條件取值組合至少執行一次。
路徑測試:設計足夠的測試用例,覆蓋程式中所有可能的路徑
條件測試路徑選擇: 當 程 序 中 判 定 多 於 一 個 時 , 形 成 的 分 支 結 構 可 以 分 為 兩 類 : 嵌 套型 分 支 結 構 和連 鎖 型 分 支 結 構
黑盒測試的測試用例設計:等價類劃分,邊界值分析,錯誤推測法,因果圖
迴圈測試路徑選擇:迴圈分為4種不同的型別:簡單迴圈,連鎖迴圈,巢狀迴圈和非結構迴圈。
等 價 類 劃 分 :等 價 類 劃 分 方 法 把 所 有 可 能 的 輸 入數 據 , 即 程 序 的 輸 入 域 劃 分 成 若 幹 部 分 , 然 後 從 每 一 部 分 中 選 取 少 數 有 代 表 性 的 數 據 做 為 測試 用 例 。
等 價 類 的 劃 分 有 兩 種 不 同 的 情 況 :
1.有 效 等 價 類 :
2.無 效 等價 類 :
劃 分 等 價 類 等 價 類 的 原 則 :(l)如 果 輸 入 條 件 規 定 了 取 值 範 圍 , 或 值 的 個 數 , 則 可 以 確 立 一 個 有 效 等 價 類 和 兩 個 無 效等 價 類 。
( 2 ) 如 果 輸 入 條 件 規 定 了 輸 入 值 的 集 合 , 或 者是 規定 了 必 須 如 何 的條 件 , 這 時 可 確 立 一 個 有 效 等 價 類
和 一 個 無 效 等 價 類 。
( 3 ) 如 果 輸 入 條 件 是 一 個 布 爾 量 , 則 可 以 確 定一 個 有 等 價 類 和 一 個 無 效 等 價 類
( 4 ) 如 果 規 定 了 輸 入 數 據 的 一 組 值 , 而 且 程 序要 對 每 個 輸 入 值 分 別 進 行 處 理
(5)如 果 規 定 了 輸 入 數 據 必 須 遵 守 的 規 則 , 則 可以 確 立 一 個 有 效 等 價 類 ( 符 合 規 則 ) 和 若 幹 個 無 效 等 價
類 ( 從 不 同 角 度 違 反 規 則 ) 。
確 立 測 試 用 例 :在 確 立 了 等 價 類 之 後 , 建 立 等 價 類 表 , 列 出 所 有 劃 分 出 的 等價 類 輸 入 條 件 有 效 等 價 類 無 效 等 價 類
邊界值分析
使 用 邊 界 值 分 析 方 法 設 計 測 試 用 例 , 首 先 應 確 定 邊 界 情 況 。 應 當 選 取 正 好 等於 , 剛 剛 大 於 , 或 剛 剛 小 於 邊 界 的 值 做 為 測 試 數 據 。
用邊界值分析設計測試用例應該遵循的原則:
1.如果輸入條件規定了取值範圍,則應對該範圍的邊界內附近,恰好在邊界和在邊界外附近(無效等價類中)設計測試用例。例如:規定1-5kg郵件收費2元,應對0.9,1,1.1,4.9,5,5.1kg設計測試用例。
2.如果輸入條件規定了資料的個數,則應對最小個數,最大個數,比最少個數少1,比最大個數大1等情況設計測試用例。
例如:輸入檔案有1-255個記錄,則應分別設計0,1,255,256個記錄的輸入檔案的測試用例。
3.針對規格說明中的每個輸出條件使用前面的1和2原則。
如:計算折扣量,最低折扣為0元,最高為1000元,則要設計使他們恰好產生0元或1000元的結果,以及負值或稍大於1000元的結果(如果可能的話)。
4.如果程式規格說明中提到的輸入或輸出域師哥有序的集合(如順序檔案,線性表等)。應選有序集的第乙個和最後乙個元素作為測試用例。
等 價 類 和 邊 界 值 方 法 的 區 別 : 邊 界 值 不 是 從 等 價 類 中 隨 便 取 一 個 數 據 作 為 代表 , 而 是 選 一 個 或 幾 個 特 定 值 , 使 這 個 等 價 類 的 每 個 邊 界 都 作 為 測 試 的 目 標 。
邊 界 值 分 析 不 僅 要 考 慮 輸 入 條 件 , 而 且 要 考 慮 輸 出 條 件 ( 輸 出 等 價 類 ) 。
一 般 聯 合 使 用 等 價 類 劃 分 和 邊 界 值 分 析 二 種 方 法 。
錯誤推測法:基本想法是列舉出程式中所有可能有的錯誤和容易發生錯誤的特殊情況,根據他們選擇測試用例。
因 果 圖
因 果 圖 的 適 用 範 圍 :如 果 在 測 試 時 必 須 考 慮 輸 入條 件 的 各 種 組 合 , 可 使 用 一 種 適 合 於 描 述 對 於 多 種 條 件 的 組 合 , 相 應 產 生 多 個 動 作 的 形 式 來設 計 測 試 用 例 , 這 就 需 要 利 用 因果 圖
因 果 圖 方 法 最 終 生 成 的 就 是 判 定 表
用 因 果 圖 生 成 測 試 用 例 的 基 本 步 驟 :(1) 分 析 軟體 規 格 說 明 描 述 中 , 哪 些 是 原因 ( 即 輸 入 條 件 或 輸 入 條 件 的 等 價 類 ) , 哪 些 是 結 果 ( 即 輸 出 條件 ) , 並 給 每 個 原 因 和 結果 賦 予 一 個 標 識 符 。
( 2 ) 分 析 軟 件 規 格 說 明 描 述 中 的 語 義 , 找 出 原因 與 結 果 之 間 , 原 因 與 原 因 之 間 對 應 的 是 什 麼 關 系 ? 根 據 這 些 關 系 , 畫 出 因 果 圖
( 3 ) 由 於 語 法 或 環 境 限 制 , 有 些 原 因 與 原 因 之間 , 原 因 與 結 果 之 間 的 組 合 情 況 不 可 能 出 現 。 為 表 明 這 些 特 殊 情 況 , 在 因 果 圖 上 用 一 些 記 號標 明 約 束 或 限 制 條 件
( 4 ) 把 因 果 圖 轉換成 判 定 表
(5) 把 判 定 表 的 每 一 列 拿 出 來 作 為 依據 , 設 計 測試 用 例 。
軟體工程 軟體測試
本階段,軟體測試中,分為兩個方面1.軟體測試,也就是發現問題的過程。2.軟體除錯,也就是糾正問題的過程。下面是本階段的總結 軟體測試的目的簡單的說是發現錯誤,具體的描述 1.測試是軟體的執行過程,目的是發現錯誤。2.乙個好的測試用例在於發現至今未發現的錯誤。3.乙個成功的測試是發現了至今未發現的錯誤...
軟體工程 軟體測試
我也經歷過幾次師哥師姐的測試工作,當時並沒有多少感覺。自己的機房呢那幾乎每天都在除錯錯誤,自己經歷的只是一小部分就能感覺到它的複雜和重要。軟體測試在程式設計師對每乙個模組的編碼之後先做程式測試,在做單元測試,然後在進行整合測試,系統測試,驗收測試,平行測試,人工測試,測試橫跨開發與測試兩個階段,又有...
軟體工程 軟體測試
軟體測試目的 測試是程式的執行過程,目的在於發現錯誤 乙個好的測試用例在於能發現至今未發現的錯誤 乙個成功的測試是發現了至今未發現的錯誤的測試 軟體測試的原則 應當把盡早地和不斷地進行軟體測試。測試用例應由測試輸入資料和對應的預期輸出結果這兩部分組成。程式設計師應避免檢查自己的程式 在設計測試用例時...