軟件子系統(tǒng)測(cè)試

前言
子系統(tǒng)測(cè)試概述
第一部分 基本手段
第1章  規(guī)格說(shuō)明
  1.1  規(guī)格說(shuō)明的要素
    1.1.1  前提
    1.1.2  后果
    1.1.3  定義
  1.2  檢查規(guī)格說(shuō)明
    1.2.1  不完備
    1.2.2  模糊
第2章  SREADHEX例子介紹
  2.1  引入
  2.2  規(guī)格說(shuō)明
  2.3  代碼
第3章  構(gòu)建測(cè)試需求檢查單
  3.1  查找規(guī)格說(shuō)明中的線索
    3.1.1  前提與后果
    3.1.2  變量
    3.1.3  操作
    3.1.4  定義
  3.2  查找代碼中的線索
    3.2.1  變量
    3.2.2  模式操作
    3.2.3  函數(shù)調(diào)用
  3.3  找出SREADHEX的線索
    3.3.1  代碼
    3.3.2  我們現(xiàn)在所處的位置
  3.4  通過(guò)前提、后果和定義獲取測(cè)試需求
    3.4.1  簡(jiǎn)單驗(yàn)證前提
    3.4.2  使用OR的驗(yàn)證前提
    3.4.3  使用AND的驗(yàn)證前提
    3.4.4  AND和OR組合驗(yàn)證前提
    3.4.5  假設(shè)前提
    3.4.6  后果
    3.4.7  定義
  3.5  找出SREADHEX的測(cè)試需求
  3.6  能過(guò)大綱確定測(cè)試需求
  3.7  通過(guò)SREADHEX說(shuō)明大綱的使用
  3.8  我們現(xiàn)在所處的位置
  3.9  使用測(cè)試需求大綱規(guī)則小結(jié)
  3.10  集成測(cè)試需求
    3.10.1  集成測(cè)試需求的一個(gè)例子
    3.10.2  另一個(gè)例子
    3.10.3  最后一個(gè)例子
  3.11  SREADHEX的集成測(cè)試需求
  3.12  錯(cuò)誤猜測(cè)
  3.13  根據(jù)規(guī)格說(shuō)明掃描代碼
第4章  測(cè)試規(guī)格說(shuō)明
  4.1  標(biāo)記將要使用的規(guī)格說(shuō)明
  4.2  一般測(cè)試規(guī)格說(shuō)明
  4.3  錯(cuò)誤測(cè)試規(guī)格說(shuō)明
  4.4  構(gòu)建測(cè)試規(guī)格說(shuō)明要注意的問(wèn)題
  4.5  有關(guān)測(cè)試形式的規(guī)則
  4.6  有關(guān)測(cè)試內(nèi)容的規(guī)則
  4.7  分別測(cè)試規(guī)格說(shuō)明和代碼
    4.7.1  通過(guò)規(guī)格說(shuō)明處理需求
    4.7.2  根據(jù)代碼進(jìn)行需求的while處理
  4.8  SREADHEX測(cè)試規(guī)格說(shuō)明
    4.8.1  設(shè)計(jì)注釋
    4.8.2  測(cè)試1
    4.8.3  測(cè)試2
    4.8.4  測(cè)試3
    4.8.5  測(cè)試3(續(xù))
    4.8.6  測(cè)試4
    4.8.7  測(cè)試5、6和7
    4.8.8  測(cè)試8
  4.9  我們現(xiàn)在所處的位置
第5章  測(cè)試驅(qū)動(dòng)器與套件驅(qū)動(dòng)器
  5.1  測(cè)試驅(qū)動(dòng)器
    5.1.1  向子系統(tǒng)提供輸入
    5.1.2  比較實(shí)際結(jié)果和預(yù)期結(jié)果
  5.2  套件驅(qū)動(dòng)器
  5.3  測(cè)試自己的驅(qū)動(dòng)器
  5.4  SREADHEX驅(qū)動(dòng)器
    5.4.1  大綱與文件結(jié)構(gòu)
    5.4.2  驅(qū)動(dòng)器與樁
    5.4.3  運(yùn)行測(cè)試
  5.5  我們現(xiàn)在所處的位置
第6章  采用問(wèn)題大綱審查代碼
  6.1  責(zé)任
  6.2  審查SREADHEX
第7章  利用覆蓋率檢驗(yàn)測(cè)試套件
  7.1  覆蓋率的類型
  7.2  不可行的覆蓋率
  7.3  運(yùn)用覆蓋率信息
    7.3.1  覆蓋率成本的一個(gè)例子
    7.3.2  需要小心運(yùn)用覆蓋率的一個(gè)例子
  7.4  一個(gè)較大例子
    7.4.1  程序
    7.4.2  使用通用覆蓋率工具(GCT)
    7.4.3  覆蓋率
    7.4.4  新測(cè)試
  7.5  SREADHEX的覆蓋率
  7.6  我們現(xiàn)在所處的位置
第8章  清理
第9章  其他提示
  9.1  使用優(yōu)先級(jí)較低的需求
  9.2  不確定的限制
第二部分  實(shí)施子系統(tǒng)測(cè)試
第10章  實(shí)施
  10.1  運(yùn)用覆蓋率
  10.2  改進(jìn)測(cè)試規(guī)格說(shuō)明
  10.3  改進(jìn)測(cè)試需求
  10.4  并行改進(jìn)規(guī)格說(shuō)明分析
第11章  完善
第三部分  實(shí)踐中的子系統(tǒng)測(cè)試
第12章  使用更典型的規(guī)格說(shuō)明
  12.1  例子:CREPORT
  12.2  過(guò)程
  12.3  練習(xí)
  12.4  通過(guò)代碼導(dǎo)出規(guī)格說(shuō)明
第13章  處理大型子系統(tǒng)
  13.1  復(fù)雜性的應(yīng)對(duì)方案
    13.1.1  制訂測(cè)試進(jìn)度表
    13.1.2  例程需求
    13.1.3  較大子系統(tǒng)中的ERROR需求
  13.2  大型子系統(tǒng)的危險(xiǎn)
    13.2.1  內(nèi)部測(cè)試驅(qū)動(dòng)器
    13.2.2  外部調(diào)試器
    13.2.3  沒(méi)有調(diào)試器時(shí)的方法
  13.3  選擇子系統(tǒng)
第14章  測(cè)試錯(cuò)誤個(gè)性與其他維護(hù)變更
  14.1  一個(gè)例子
  14.2  測(cè)試變更的基本過(guò)程
  14.3  傳播缺陷
  14.4  相似性缺陷
  14.5  測(cè)試較大變更
  14.6  測(cè)試套件退化
第15章  時(shí)間進(jìn)度壓力下的測(cè)試
  15.1  沒(méi)有足夠時(shí)間的測(cè)試
  15.2  幾乎沒(méi)有足夠時(shí)間的測(cè)試
第四部分  舉例與擴(kuò)展
第16章  句法測(cè)試
  16.1  符號(hào)
  16.2  測(cè)試需求
    16.2.1  鄰近項(xiàng)
    16.2.2  序列
    16.2.3  替換項(xiàng)
    16.2.4  簡(jiǎn)單重復(fù)
    16.2.5  重復(fù)與替換項(xiàng)
  16.3  交互
第17章  第二個(gè)完整例子:MAX
  17.1  規(guī)格說(shuō)明
  17.2  通過(guò)規(guī)格說(shuō)明導(dǎo)出測(cè)試
    17.2.1  線索
    17.2.2  來(lái)自在前提和后果的需求
    17.2.3  掃描大綱
    17.2.4  測(cè)試設(shè)計(jì)
  17.3  通過(guò)代碼導(dǎo)出測(cè)試
  17.4  使用問(wèn)題大綱
  17.5  測(cè)試驅(qū)動(dòng)器與測(cè)試運(yùn)行
  17.6  使用覆蓋率
第18章  測(cè)試一致性關(guān)系
  18.1  構(gòu)建測(cè)試需求檢查單
    18.1.1  基本檢查單
    18.1.2  增加缺陷可視性的注釋
    18.1.3  測(cè)試這個(gè)例子
  18.2  多樣性問(wèn)題
    18.2.1  多于兩變量
    18.2.2  檢驗(yàn)子系統(tǒng)的其他部分
    18.2.3  如果檢查由庫(kù)例程完成
    18.2.4  未檢查或不可能的ERROR需求
    18.2.5  如果多個(gè)變量可以同時(shí)變更
第19章  狀態(tài)機(jī)與狀態(tài)圖
  19.1  狀態(tài)機(jī)
    19.1.1  實(shí)現(xiàn)
    19.1.2  稀疏狀態(tài)機(jī)
    19.1.3  冗余遷移
  19.2  狀態(tài)圖
    19.2.1  狀態(tài)行動(dòng)
    19.2.2  條件狀態(tài)遷移
    19.2.3  嵌套狀態(tài)
    19.2.4  歷史信息
    19.2.5  狀態(tài)圖實(shí)現(xiàn)框架
  19.3  什么時(shí)候和怎樣構(gòu)建模型
    19.3.1  模型什么時(shí)候有用
    19.3.2  構(gòu)建模型
  19.4  審查狀態(tài)機(jī)和狀態(tài)圖
    19.4.1  檢查模型
    19.4.2  審查行動(dòng)
    19.4.3  檢查實(shí)現(xiàn)映射
  19.5  測(cè)試狀態(tài)機(jī)和狀態(tài)圖
    19.5.1  測(cè)試需求
    19.5.2  來(lái)自狀態(tài)圖的需求
    19.5.3  測(cè)試規(guī)格說(shuō)明
    19.5.4  測(cè)試實(shí)現(xiàn)
    19.5.5  覆蓋率
  19.6  多個(gè)狀態(tài)機(jī)
    19.6.1  獨(dú)立狀態(tài)機(jī)
    19.6.2  通信狀態(tài)機(jī)
第20章  測(cè)試使用可后果用軟件的子系統(tǒng)
  20.1  測(cè)試需求
  20.2  覆蓋率
第21章  測(cè)試基于對(duì)象的軟件
  21.1  背景
    21.1.1  術(shù)語(yǔ)
    21.1.2  其他方法
  21.2  子系統(tǒng)規(guī)模與測(cè)試實(shí)現(xiàn)
    21.2.1  兩種特例
    21.2.2  另一種方法
  21.3  類測(cè)試需求大綱
    21.3.1  組織
    21.3.2  第一步:對(duì)象使用需求
    21.3.3  第二步:狀態(tài)機(jī)需求
    21.3.4  第三步:成員函數(shù)集成需求
    21.3.5  第四步:對(duì)象的聚合
  21.4  使用類需求大綱
  21.5  時(shí)間進(jìn)度壓力
第22章  面向?qū)ο蟮能浖?:繼承
  22.1  測(cè)試規(guī)格說(shuō)明與實(shí)現(xiàn)
  22.2  導(dǎo)出類的類型
  22.3  導(dǎo)出類需求大綱
    22.3.1  復(fù)制基類需求大綱
    22.3.2  處理新成員
    22.3.3  處理頂替成員函數(shù)
    22.3.4  處理繼承成員函數(shù)
    22.3.5  更新剩余的對(duì)象使用需求
    22.3.6  更新?tīng)顟B(tài)機(jī)需求
    22.3.7  多繼承
  22.4  成員函數(shù)的測(cè)試需求檢查單
    22.4.1  新的成員函數(shù)
    22.4.2  頂替成員函數(shù)
    22.4.3  繼承成員函數(shù)
  22.5  針對(duì)已變更外部例程的測(cè)試需求檢查單
  22.6  通用性(模板)
第23章  測(cè)試導(dǎo)出類的一個(gè)例子
  23.1  abstract_hash_table:一個(gè)抽象類
  23.2  hash_table:一個(gè)導(dǎo)出類
    23.2.1  hash_table大綱
    23.2.2  hash_table成員函數(shù)的測(cè)試需求檢查單
    23.2.3  hash_table測(cè)試規(guī)格說(shuō)明與實(shí)現(xiàn)
  23.3  checking_hash_table:另一個(gè)導(dǎo)出類
    23.3.1  checking_hash_table大綱
    23.3.2  checking_hash_table成員函數(shù)的測(cè)試需求檢查單
    23.3.3  實(shí)現(xiàn)checking_hash_table測(cè)試
  23.4  abstract_hash_table <Item,sz>:模板類
第24章  面向?qū)ο蟮能浖?:動(dòng)態(tài)捆綁
  24.1  虛擬調(diào)用需求大綱
    24.1.1  捆綁虛擬調(diào)用大綱
    24.1.2  怎樣處理數(shù)據(jù)成員?
    24.1.3  在變更中構(gòu)建虛擬調(diào)用大綱
  24.2  使用虛擬調(diào)用需求大綱
    24.2.1  縮寫(xiě)了新的外部代碼
    24.2.2  增加了導(dǎo)出類
    24.2.3  維護(hù)
第五部分  測(cè)試需求的乘積
第25章  簡(jiǎn)單測(cè)試需求乘積
  25.1  變量需求可太性
    25.1.1  過(guò)程——通過(guò)規(guī)格說(shuō)明和代碼來(lái)處理
    25.1.2  過(guò)程——只通過(guò)規(guī)格說(shuō)明來(lái)處理
    25.1.3  測(cè)試大型子系統(tǒng)的做含意
    25.1.4  舉例:一致性檢查
    25.1.5  舉例:根據(jù)sreadhex規(guī)格說(shuō)明來(lái)處理
    25.1.6  舉例:構(gòu)建sreadhex規(guī)格說(shuō)明
  25.2  復(fù)雜布爾表達(dá)式
    25.2.1  導(dǎo)出需求的大綱
    25.2.2  舉例
  25.3  創(chuàng)建布爾便利定義
    25.3.1  過(guò)程
    25.3.2  greport例子
    25.3.3  greport的其他問(wèn)題
  25.4  數(shù)據(jù)流測(cè)試
  25.5  一些理論
第26章  操作測(cè)試需求的乘積
  26.1  過(guò)程
    26.1.1  找出交互線索
    26.1.2  乘積
    26.1.3  覆蓋率
    26.1.4  舉例
  26.2  發(fā)散操作
第六部分  附錄
  附錄A  測(cè)試需求大綱(學(xué)生版)
  附錄B  測(cè)試需求大綱(標(biāo)準(zhǔn)版)
  附錄C  與POSIX有關(guān)的測(cè)試需求大綱(部分樣本)
  附錄D  代碼審查問(wèn)題大綱
  附錄E  復(fù)雜布爾表達(dá)式需求大綱
  附錄F  用于測(cè)試編寫(xiě)內(nèi)容的檢查單
  參考文獻(xiàn)
  術(shù)語(yǔ)表