開發者測試 第2版

陳振宇

南京大學教授、博士生導師，慕測平臺創始人，主要從事智能軟件工程研究，長期致力於產教研融合。IEEE 軟件測試大賽發起人，江蘇省計算機學會產業工委執行主任，CCF傑出會員與傑出講者， 本科課程“軟件測試”負責人。在 會議和期刊發表論文百余篇，多次榮獲ACM SIGSOFT Distinguished Paper和IEEE QRS Best Paper。授權發明專利30余項，部分成果已經在華為、中國船舶、航天科工、 電網、中國電科等知名企業轉化，研究成果獲2017年CCF NASAC青年軟件創新獎和省部級科技進步獎多項，獲2022年 教學成果獎一等獎和二等獎。

房春榮

南京大學副教授，博士生導師。紫金學者，CCF 會員，慕測平臺核心成員，主要從事智能軟件工程研究。主持 自然科學基金項目3項， 重點研發項目2項；發表CCF-A類論文50余篇，獲得 論文1項；授權發明專利10余項，部分成果在知名企業應用。曾擔任AST、AIST、ISSSR等 會議程序委員會共同 ，多次擔任軟件工程頂會程序委員會委員，參編多項軟件工程 標準。獲 教學成果獎、CCF TCFTC軟件測試青年創新獎等。

趙源

南京大學信息管理學院博士後，主要從事知識圖譜和大模型雙向驅動的系統研究。負責慕測平臺的研發與改進，參與多個工具與平臺的設計與實現，為全國職業院校技能大賽、全國大學生軟件測試大賽提供技術支持。參與研發多項 重點研發計劃課題、 自然科學基金項目（重點項目），與華為、SAP等知名企業進行合作研發，入選2023年度江蘇省“ 博士後計劃”。

前言
第1章　快速入門
1.1　多樣性測試入門
1.1.1　隨機測試
1.1.2　等價類測試
1.1.3　組合測試
1.2　故障假設測試入門
1.2.1　常見軟件故障
1.2.2　邊界故障假設
1.2.3　變異故障假設
1.3　圖分析測試入門
1.3.1　圖生成方法
1.3.2　圖結構測試
1.3.3　圖元素測試
1.4　開發者測試若幹示例
本章練習
第2章　基礎概念
2.1　測試的基礎概念
2.1.1　常用測試術語
2.1.2　測試的理論框架
2.1.3　測試的基本問題
2.2　開發者測試常用工具
2.2.1　常用靜態測試工具
2.2.2　常用動態測試工具
2.2.3　DevOps相關工具
2.3　待測程序示例
2.3.1　三角形程序Triangle
2.3.2　日期程序NextDay
2.3.3　均值方差程序MeanVar
本章練習
第3章　Bug理論基礎
3.1　軟件Bug與PIE模型
3.1.1　初識Bug
3.1.2　PIE模型
3.2　Bug理論分析
3.2.1　Bug的反向定義
3.2.2　Bug的不確定性
3.2.3　Bug的非單調性
3.2.4　Bug間的幹涉性
3.3　軟件調試
3.3.1　Bug理解
3.3.2　Bug定位
3.3.3　Bug修覆
本章練習
第4章　多樣性測試
4.1　多樣性測試理論與方法
4.1.1　隨機測試
4.1.2　等價類測試
4.1.3　組合測試
4.2　開發者多樣性測試
4.2.1　代碼多樣性測試
4.2.2　組合多樣性測試
4.2.3　行為多樣性測試
本章練習
第5章　故障假設測試
5.1　故障假設測試理論與方法
5.1.1　邊界值測試
5.1.2　變異測試
5.1.3　邏輯測試
5.2　開發者故障假設測試方法
5.2.1　邊界故障假設
5.2.2　變異故障假設
5.2.3　邏輯故障假設
本章練習
第6章　圖分析測試
6.1　圖測試基礎
6.1.1　圖的基礎概念
6.1.2　控制流圖
6.1.3　數據流圖
6.1.4　事件流圖
6.2　圖結構的測試方法
6.2.1　L-路徑測試
6.2.2　主路徑測試
6.2.3　基本路徑測試
6.3　圖元素的測試方法
6.3.1　數據流測試
6.3.2　邏輯測試
本章練習
第7章　單元測試
7.1　單元測試基礎
7.1.1　概述與最佳實踐
7.1.2　模擬單元測試
7.1.3　單元測試評估
7.2　自動化單元測試
7.2.1　單元測試執行
7.2.2　單元測試生成
7.2.3　單元測試演化
本章練習
第8章　集成測試
8.1　集成測試概述
8.1.1　目標與基本流程
8.1.2　集成測試策略
8.1.3　集成測試分析
8.2　接口測試
8.2.1　常用方法與最佳實踐
8.2.2　自動化接口測試
8.2.3　智能化接口測試
本章練習
第9章　回歸測試
9.1　回歸測試概述
9.1.1　目標與定義
9.1.2　回歸測試評估
9.1.3　回歸測試優先級
9.2　回歸測試類型
9.2.1　切片回歸測試
9.2.2　回歸測試集約簡
9.2.3　切片聚類回歸測試
9.3　聚類回歸測試
9.3.1　動態聚類抽樣測試
9.3.2　加權聚類抽樣測試
9.3.3　半監督聚類抽樣測試
本章練習