軟件測試

《軟件測試》，副標題：一個軟件工藝師的方法，保羅·喬根森 著，出版社： 機械工業出版社。

截至2022年，機械工業出版社年出版新書近2700種，年引進和輸出版權總量近800種，產品橫跨科技出版、教育出版、大眾出版三大板塊，覆蓋機械、電工電子、汽車、建築、計算機、經管、心理、生活、科普、藝術設計、文創等十多個專業領域，以及高等教育、職業教育、技能教育等不同教育層次。

目錄

內容簡介

本書是典的軟件測試教材，綜合闡述了軟件測試的基礎知識和方法，既涉及基於模型的開發，又介紹了測試驅動的開發，做到了理論與實踐的結合，反映了軟件標準和開發的展。作者擁有豐富的軟件開發和測試領域的教學和研發驗，他在書中藉助的實例，把軟件測試理論與實踐緊密結合，講解循序、層次分明，便於讀者理解。

目錄

譯者序

前言

作者簡介

部分數學背景

第1章測試概覽2

1.1基本定義2

1.2測例3

1.3測試的Venn圖4

1.4確定測例5

1.4.1基於規範的測試5

1.4.2基於代碼的測試6

1.4.3基於規範和基於代碼之爭7

1.5錯誤的分類8

1.6測試級別9

1.70

1.8參考文獻10

第2章案例11

2.1偽代碼和Java的結構元素11

……