軟件測試 — 原理、模型、驗證與實踐

王蓁蓁 金陵科技學院軟件工程學院副教授，江蘇省軟件測試工程實驗室主任。於2009年畢業於東南大學計算機科學與工程學院，獲工學博士學位，同年進入南京大學計算機科學與技術系博士後流動站。 2012年起在金陵科技學院軟件工程學院從事教學和科研工作。主要研究方向是軟件測試、程序分析、人工智能、馬爾可夫決策過程。已主持並參與多項校級、省級及國j級科研項目，參與完成國家自然科學基金重大研究計劃1項。 2014年9月至11月在澳大利亞昆士蘭科技大學進行短期訪問；2015年3月至2016年6月獲得江蘇省優秀中青年教師和校長境外研究資助，在美國科羅拉多大學波得爾分校計算機科學系進行訪學研究。在國內外學術期刊和國際會議上發表論文40餘篇。 2017年出版專著《認知行為思維模型》。

第1章    緒論 
        1.1    軟件產品工程：集成測試與開發 
        1.2    軟件測試遵循的思想原理 
第1篇    軟件測試證明論思想原理 
    第2章    軟件開發過程中的驗證活動 
        2.1    需求分析概述 
        2.2    需求驗證概述 
        2.3    系統設計概述 
        2.4    設計驗證概述 
        2.5    模塊編碼概述 
        2.6    單元測試概述 
    第3章    原型和圖形 
        3.1    原型 
            3.1.1    概述 
            3.1.2    示例 
        3.2    圖形 
            3.2.1    圖形在需求分析中的作用 
            3.2.2    圖形在形式表示中的應用 
            3.2.3    圖形在形式證明中的應用 
    第4章    模型檢驗簡介 
        4.1    標準方法 
            4.1.1    基本概念 
            4.1.2    標準模型檢驗步驟 
            4.1.3    示例：LTL模型檢驗基於Buchi自動機的算法 
            4.1.4    符號模型檢驗 
            4.1.5    CTL符號模型檢驗 
            4.1.6    其他降低問題複雜性的方法 
            4.1.7    其他標準方法 
        4.2    抽象解釋 
            4.2.1    根據存在（或經驗）的抽象 
            4.2.2    抽象解釋理論框架 
            4.2.3    基本抽象解釋理論的模型檢驗 
            4.2.4    運用抽象解釋理論對（抽像模型）標準方法的改良 
            4.2.5    抽像模型檢驗總結 
        4.3    綜合方法 
            4.3.1    謂詞抽象 
            4.3.2    模型檢驗和定理證明 
            4.3.3    其他方面的努力 
        4.4    應用和其他重要方法概覽 
            4.4.1    模型檢驗理論在程序分析中的應用簡介 
            4.4.2    其他重要方法 
        4.5    小結 
    第5章    抽象解釋的兩個理論模型 
        5.1    抽象解釋全總域模型 
            5.1.1    構造全總域模型 
            5.1.2    理論性問題 
        5.2    抽象解釋部分等價邏輯關係模型 
            5.2.1    具體語義域和語義函數 
            5.2.2    抽象解釋 
            5.2.3    理論問題 
    第6章    程序正確性形式演繹證明 
        6.1    公理化 
            6.1.1    霍爾邏輯及其證明規則 
            6.1.2    霍爾邏輯系統的可靠性和完備性 
        6.2    不變式 
            6.2.1    程序流程圖 
            6.2.2    不變式概念 
            6.2.3    不變式之間的一致性 
            6.2.4    一個更強的屬性 
            6.2.5    流程圖程序驗證實例 
            6.2.6    不變式方法評論 
        6.3    O弱前置條件 
            6.3.1    O弱前置條件的概念 
            6.3.2    謂詞轉換函數WP性質 
            6.3.3    程序設計語言控製成分的語義 
            6.3.4    程序正確性證明方法 
    第7章    程序正確性概率演繹證明 
        7.1    概率論數學基礎知識 
            7.1.1    概率空間 
            7.1.2    隨機變量理論知識 
            7.1.3    馬爾可夫過程 
        7.2    概率模型 
            7.2.1    離散時間馬爾可夫鏈 
            7.2.2    連續時間馬爾可夫鏈 
        7.3    概率模型驗證 
            7.3.1    系統DTMC模型的檢測 
            7.3.2    系統CTML模型的檢測 
        7.4    操作概要 
            7.4.1    操作的概念 
            7.4.2    操作概要表示 
            7.4.3    操作概要的用途 
    第8章    集成測試中的驗證活動 
        8.1    組合測試引言 
        8.2    關於正交表的基礎知識 
            8.2.1    正交表的一般定義 
            8.2.2    二水平正交表 
            8.2.3    正交拉丁方 
            8.2.4    Ltu（tm）型正交表 
            8.2.5    一般正交表L（t1×t2×…×tm) 
        8.3    正交試驗組合測試方法 
        8.4    其他組合測試方法概覽 
            8.4.1    基於覆蓋組合的“類型”設計測試用例集 
            8.4.2    可變強度和具有約束的組合測試 
        8.5    組合測試模式分析模型及其理論 
            8.5.1    Walsh函數基礎知識 
            8.5.2    Walsh函數模式分析模型及其基礎理論 
            8.5.3    模型在組合測試中的應用 
第2篇    軟件測試中的證偽論思想原理 
    第9章    軟件開發過程中的“證偽”活動 
        9.1    軟件開發過程中的“證偽”活動概述 
        9.2    集成測試 
            9.2.1    概述 
            9.2.2    負面測試 
            9.2.3    遺傳算法 
        9.3    系統測試 
            9.3.1    概述 
            9.3.2    系統測試對計算機科學發展的作用 
            9.3.3    系統測試對度量科學的貢獻 
            9.3.4    系統測試提供的新測試方法和技術 
        9.4    驗收測試 
    第10章    軟件測試理論 
        10.1    程序測試經典理論 
            10.1.1    Goodenough和Gerhart理論 
            10.1.2    Weyuker和Ostrand理論 
            10.1.3    Gourlay理論 
        10.2    軟件測試理論分析 
            10.2.1    軟件存在缺陷的兩個理論根源 
            10.2.2    軟件測試方法理論分類 
        10.3    類隨機測試方法示例 
            10.3.1    隨機TBFL算法模型 
            10.3.2    實例分析 
            10.3.3    算法功效進一步說明和小型實驗 
            10.3.4    類隨機測試方法總結 
    第11章    隨機TBFL算法討論 
        11.1    軟件缺陷存在原因再分析 
        11.2    隨機模糊綜合TBFL 
            11.2.1    算法概述 
            11.2.2    算法框架及其原理分析 
            11.2.3    實例分析 
    第12章    眾包軟件測試技術 
        12.1    眾包技術 
        12.2    眾包軟件測試技術 
            12.2.1    概述 
            12.2.2    利用歷史資料調試程序的眾包技術示例 
            12.2.3    利用實時信息調試程序的眾包技術示例 
        12.3    軟件拓撲空間與測試原理 
            12.3.1    預備知識 
            12.3.2    程序拓撲空間表示及其非標準分析 
            12.3.3    在軟件測試領域中的應用 
            12.3.4    總結 
參考文獻 
後記