軟體故障
軟體測試與軟體可靠性
軟體生存週期
測試原則
黑盒測試與白盒測試
軟體測試過程
單元測試
靜態測試與動態測試
回歸測試
$\alpha$測試
$\beta$測試
測試與除錯
測試生命週期
測試工具
測試評估
軟體質量評估
軟體過程成熟度
第二章第三章 結構性測試
程式控制圖
mccabe的基本路徑法
符號測試
程式插裝
指導方針
資料流測試
軟體質量包括正確性，可靠性，可讀性，可移植性和健壯性，主要含義是軟體的可靠性
特定環境下，在給定時間內，無障礙執行的概率計算機系統或程式存在任何一種破壞正常執行能力的問題，錯誤，或者隱藏的功能缺陷等
軟體故障導致軟體產品在某種程度上不能滿足使用者的需求
人是會犯錯的。過失是人犯下的，是人做一件錯事或認為產生的乙個不正確的結果
故障時錯誤的結果
故障引起的結果
定義：是否滿足規定的需求
是否有差別
測試是為了發現故障而執行程式的過程
不考慮內部結構和內部特性，只根據需求規格說明書，設計測試用例，檢查程式的功能是否按照規範說明的規定正確的執行
軟體開發是自頂向下，軟體測試自底向上
又稱模組測試，針對程式模組來進行正確性檢驗的測試工作
不利用計算機執行被測試的程式，通過其他手段達到檢測的目的
通過執行和使用被測程式，發現軟體故障，達到檢測目的
對程式進行測試已確定是否因修復故障而引入了新的故障
由乙個使用者在開發環境下進行的測試
目的是平價產品的功能，可使用性，可靠性，效能和支援
軟體的多個使用者在乙個或多個使用者的實際使用環境下進行的測試。開發者通常不在測試現場
\alphaα測試達到一定的可靠程度時才能進行\betaβ測試，它處在整個測試的最後階段
除錯不屬於測試
成功的測試發現錯誤從而引起除錯的進行
檢查和評價當前軟體開發過程,並設法達到防止軟體故障出現
初始度可重複級
定義明確
定量管理級
優化級
三角形問題之所以複雜,是因為輸入與輸出之間的關係比較複雜
邊界值分析
基本原理:故障往往出現在輸入變數的邊界值附近等價類測試基本思想: 利用輸入變數的最小值,稍大於最小值,正常值,稍小於最大值,最大值
把輸入域劃分成若干個互不相交的一組子集–等價類
對於揭露程式的故障來說,等價類的每個元素是等效的
步驟確定等價類
具體問題中,有效等價類可以是乙個,也可以是多個
無效等價類
無效等價類可以乙個,也可以多個
確定測試用例為每個等價類規定乙個唯一的編號
設計乙個新的測試用例,盡可能多覆蓋尚未被覆蓋的有效等價類
設計乙個新的測試用例,覆蓋且覆蓋乙個還沒有被覆蓋的無效等價類
弱一般等價類測試
強一般等價類測試
健壯性等價類測試
基於決策表的測試
最嚴格,最有邏輯嚴格性的測試方法
決策表
描述不同條件集合下採取行動的若干組合情況
白盒測試又稱結構測試或者基於程式的測試.邏輯覆蓋
使用最廣泛
是比較弱的測試覆蓋準則
又稱之為分支覆蓋,使得每個判斷的取真分支和取假分支至少執行一次,即判斷的真假值均要被檢測
每個判斷的每個條件的可能取值至少被執行一次
判斷中的每個條件的所有可能取值至少執行一次,同時每個判斷的所有可能判斷結果也至少被執行一次
測試觀點
強連通圖的圈數就是圖中線性獨立環路的數目
選擇一條基線路徑,一般選擇有較多判斷結點的路徑
回溯基線路徑
基本思想
借助於往被測試程式中插入操作來實現測試目的的方法考慮的方面
用途覆蓋分析
監控和斷言
查詢資料流異常
基本原則
覆蓋指標
作為一種強制執行的標準
作為一種機制,指導要求更嚴格部分的**有選擇地進行測試
資料流是指關注定義點和使用(或引用)點的一種結構測試方法,它和資料流圖沒有什麼聯絡.實際上很多資料流測試支持者和研究人員將這種測試方法看作是一種路徑測試.
通過分析變數的定義和使用,以查詢如引用未定義變數等程式錯誤,也可以用來查詢對以前未曾使用的變數的再次賦值等資料流異常的情況
早期資料流分析常常集中於現在叫定義/引用異常的缺陷:
這些異常可以通過程式的索引表發現,可以通過所謂的靜態分析發現
定義/使用測試
假設v是程式p中的變數的集合,程式p控制流程圖用g(p)表示,其中結點代表語句或語句片段,邊代表結點序列.g(p)有乙個單入口節點和乙個單出口節點,並且不允許有某個結點到自身的邊定義/使用路徑和定義清晰路徑描述了變數從被定義到被引用點資料流向.
不是定義清晰的定義/使用路徑,很可能是潛在問題的所在.所以應該特別關注定義/使用路徑
定義/使用路徑覆蓋測試
p是被測程式,g(p)是其控制流圖,t是g(p)的路徑集合,並假設定義/使用路徑都是可執行路徑
數值分析複習大綱
首先吐槽真題了，真的是，厚厚的一本裡有幾題能做qaq 看完書覺著有點亂，決定寫部落格理理頭緒 1，誤差的分類 截斷誤差，捨入誤差，模型誤差，觀測誤差。數值分析中主要對前兩種進行研究 2，有效數字 規格化 0.aaaa 10 m 計算比較誤差 1 2 10 m l 計算得l，即為該僅近似值有l位有效數...
linux 複習大綱（執行緒）
執行緒 英語 thread 是作業系統能夠進行運算排程的最小單位。它被包含在程序之中，是程序中的實際運作單位。一條執行緒指的是程序中乙個單一順序的控制流，乙個程序中可以併發多個執行緒，每條執行緒並行執行不同的任務 1 首先是定義程序 是執行中一段程式，即一旦程式被載入到記憶體中並準備執行，它就是乙個...
電機學 複習大綱
2006 04 27 14 30 20 433電機學 複習大綱 課程編號 03z8329 課程名稱 電機學 electrical machine 一 課程教學目標 本課程是電氣工程及其自動化專業方向的主要專業基礎課，是繼數學 物理 電路等有關理論基礎課之後必修的課程。要求學生能綜合運用已學過的電 磁...