內容簡介
本書首先介紹軟件測試的基本概念、基本內容和測試方法的分類,作為軟件測試的基礎,重點介紹了軟件測試的白箱法和黑箱法。在此基礎上深入討論了通信協議軟件測試的基本方法,全面介紹協議軟件測試的建模工具樹表描述語言TTCN和時序說明語言LOTOS/E-LOTOS。TTCN和LOTOS/E-LOTOS是國際標準化組織頒布的協議軟件測試的形式化建模技術標準,在協議軟件測試領域中占有主導地位,大多數協議軟件測試工具都是基於上述兩大標準設計開發的,所以TTCN和LOTOS/E-LOTOS也是本書的重點。為了使讀者能夠更好地理解TTCN和LOTOS/E-LOTOS,本書給出了一些典型的應用實例。
本書內容新穎,參考性強,可以作為大專院校計算機專業、通信專業高年級學生、研究生和軟件學院學生的教材,也可以作為通信軟件開發人員、軟件測試技術的科研人員的參考書。
本書內容新穎,參考性強,可以作為大專院校計算機專業、通信專業高年級學生、研究生和軟件學院學生的教材,也可以作為通信軟件開發人員、軟件測試技術的科研人員的參考書。