智慧型化軟體測試基礎

智慧型化軟體測試基礎

《智慧型化軟體測試基礎》是2023年6月1日清華大學出版社出版的圖書,作者:張衛祥,魏波,張慧穎,齊玉華,王泗宏。

基本介紹

  • 中文名:智慧型化軟體測試基礎
  • 作者:張衛祥,魏波,張慧穎,齊玉華,王泗宏
  • 出版時間:2023年6月1日
  • 出版社:清華大學出版社
  • ISBN:9787302627753
  • 定價:89 元
  • 印次:1-1
  • 印刷日期:2023.06.28
內容簡介,圖書目錄,

內容簡介

本書作為智慧型化軟體測試的入門圖書,主要目的是幫助軟體測試相關人員快速掌握智慧型化軟體測試的基礎知識、了解智慧型化軟體測試的基本方法,為進一步開展相關技術研究與套用打下基礎。在內容上側重基礎介紹,按照知識基礎——技術基礎——方法套用的順序,分為三大部分:第一部分為知識基礎篇,主要介紹軟體測試基礎知識、人工智慧技術綜述、智慧型化軟體測試相關概念以及所需的數學基礎;第二部分為技術基礎篇,分章節介紹知識表示、知識發現、神經網路、機器學習、專家系統、進化計算、不確定性推理、機率推理、模糊推理及證據理論等相關技術的基礎知識、基本方法和技術特點;第三部分為方法套用篇,主要介紹智慧型化軟體測試的一些典型技術方法,並結合軟體測試過程各階段的特點與現狀,分析智慧型化軟體測試的套用前景、技術方向和研究策略等。
本書結合軟體測試的過程和特點,涉及的智慧型化技術範圍較廣,內容簡明易懂,適合從事軟體測試研究與套用的讀者學習參考,也適合對智慧型化技術和軟體工程領域感興趣的讀者閱讀。

圖書目錄

目錄
第一篇軟體測試基礎
第1章緒論
1.1軟體測試概述
1.1.1軟體測試簡史
1.1.2軟體測試定義
1.1.3軟體測試原則
1.1.4軟體的可測試性
1.1.5軟體測試模型
1.1.6軟體測試類型
1.1.7軟體關鍵等級
1.2智慧型化技術綜述
1.3智慧型化軟體測試
1.4組織結構
第2章軟體測試基礎
2.1軟體測試級別
2.1.1單元測試
2.1.2集成測試
2.1.3配置項測試
2.1.4系統測試
2.2軟體測試技術
2.2.1結構測試
2.2.2功能測試
2.3軟體測試過程
2.3.1測試需求分析與策劃
2.3.2測試設計與實現
2.3.3測試執行
2.3.4測試總結
2.4測試項目管理
2.4.1需求管理
2.4.2策劃管理
2.4.3跟蹤與控制
2.4.4質量保證
2.4.5配置管理
2.5軟體產品驗證
2.5.1自主可控審查
2.5.2文檔審查
2.5.3功能性測試
2.5.4性能效率測試
2.5.5易用性測試
2.5.6可靠性測試
2.5.7安全性測試
2.5.8兼容性測試
2.5.9維護性測試
2.5.10可移植性測試
2.6軟體缺陷分析
2.6.1缺陷分類方法
2.6.2缺陷分析方法
2.6.3缺陷原因與建議
第3章數學基礎
3.1集合
3.1.1集合的定義
3.1.2集合的表示
3.1.3韋恩圖
3.1.4集合運算
3.1.5集合劃分
3.2函式
3.2.1函式的定義
3.2.2函式的分類
3.2.3函式的複合
3.3關係
3.3.1關係的定義
3.3.2關係的分類
3.3.3關係的性質
3.4命題邏輯
3.4.1命題的定義
3.4.2邏輯運算符
3.4.3邏輯表達式
3.5圖論
3.5.1圖的定義
3.5.2圖的表示
3.5.3圖的屬性
3.5.4有向圖
3.5.5程式圖
3.5.6有限狀態機
3.6機率論
3.6.1基本概念
3.6.2隨機變數
3.6.3隨機變數的數字特徵
3.6.4大數定律與中心極限定理
3.6.5馬爾可夫鏈
第二篇智慧型化技術基礎
第4章知識表示
4.1知識
4.2知識表示
4.3知識表示方法
4.4小結
第5章知識發現
5.1知識發現定義
5.2知識發現過程
5.3知識發現方法
5.4知識發現套用
5.5小結
第6章神經網路
6.1基本原理
6.2典型結構
6.3學習算法
6.4小結
第7章機器學習
7.1學習與機器學習
7.2機器學習系統
7.3機器學習系統的基本結構
7.4機器學習的主要策略
7.5有監督學習
7.5.1K-近鄰算法
7.5.2決策樹
7.5.3支持向量機
7.6無監督學習
7.6.1聚類
7.6.2自編碼器
7.7小結
第8章專家系統
8.1基本概念
8.2專家系統的結構
8.3專家系統的建造
8.4新型專家系統
8.5小結
第9章進化計算
9.1進化計算基礎
9.2遺傳算法概念與原理
9.3遺傳算法流程
9.4進化規劃
9.5進化策略
9.6小結
第10章群體智慧型
10.1概述
10.2蟻群算法
10.3粒子群算法
10.4人工免疫算法
10.5小結
第11章模糊推理
11.1不確定性推理
11.2模糊推理基礎
11.3模糊集相似性
11.4模糊推理模型
11.5小結
第12章機率推理
12.1機率論
12.2機率推理方法
12.3可信度方法與主觀貝葉斯方法
12.4證據理論
12.5證據的合成規則
12.6證據理論的推理模型
12.7小結
第三篇智慧型化軟體測試導論
第13章智慧型化技術在測試分析中的套用
13.1概述
13.2需求識別與提取
13.3需求知識分類
13.4需求模型構建
13.5需求建模評估
第14章智慧型化技術在測試設計中的套用
14.1概述
14.2測試用例與遺傳算法
14.2.1測試用例優先排序
14.2.2測試用例排序評價指標
14.2.3測試用例排序算法
14.3測試數據與演化計算
14.3.1面向輸出域的功能性測試
14.3.2基於遺傳算法的測試數據生成
14.3.3實驗驗證與結果分析
14.4測試設計與群體智慧型
14.4.1基於粒子群算法的測試用例優先排序
14.4.2基於蟻群算法的測試用例優先排序
14.4.3基於人工免疫算法的測試數據生成
14.5測試設計與專家系統
14.5.1功能與結構
14.5.2推理與套用
第15章智慧型化技術在測試執行中的套用
15.1概述
15.2自動化測試與測試腳本
15.2.1自動化測試
15.2.2自動化測試腳本
15.2.3數據驅動和基於模型的測試技術
15.3自動化測試框架設計
15.4缺陷定位與自動程式修復
15.4.1缺陷定位
15.4.2補丁生成
15.4.3補丁驗證
第16章智慧型化技術在測試總結中的套用
16.1概述
16.2軟體評估與模糊推理
16.2.1軟體可信性分解模型
16.2.2軟體可信性權值矩陣
16.2.3實施軟體可信評估
16.2.4評估例
16.3軟體評估與證據理論
16.3.1全生命周期的評估模型
16.3.2全生命周期的定量評估方法
16.3.3軟體可信性評估實例
參考文獻

熱門詞條

聯絡我們