本書(shū)從軟件測(cè)試的基本理論出發(fā)，圍繞TTCN-3核心語(yǔ)言國(guó)際測(cè)試標(biāo)準(zhǔn)，并結(jié)合大量的實(shí)際測(cè)試案例，對(duì)軟件測(cè)試的相關(guān)方法與技術(shù)進(jìn)行了詳細(xì)的介紹，使讀者能夠更貼近實(shí)際的去了解軟件測(cè)試。全書(shū)共分為10章，主要內(nèi)容包括：軟件測(cè)試概述、軟件測(cè)試基礎(chǔ)、TTCN樹(shù)表描述語(yǔ)言簡(jiǎn)介、TTCN-3核心語(yǔ)言概述、TTCN-3類(lèi)型聲明、TTCN-3語(yǔ)句與函數(shù)、TTCN-3測(cè)試配置及操作、TTCN-3測(cè)試描述和控制、TTCN-3系統(tǒng)測(cè)試與測(cè)試工具和基于TTCN-3的軟件測(cè)試案例。
本書(shū)內(nèi)容全面、實(shí)例豐富、可操作性強(qiáng)，做到了理論與實(shí)踐的有機(jī)結(jié)合。本書(shū)適合計(jì)算機(jī)專(zhuān)業(yè)高年級(jí)本科生和研究生作為教材或教學(xué)參考書(shū)，也適合作為軟件測(cè)試和軟件開(kāi)發(fā)相關(guān)人員技術(shù)參考書(shū)。
本書(shū)圍繞TTCN-3國(guó)際測(cè)試標(biāo)準(zhǔn)，結(jié)合大量的實(shí)際測(cè)試案例，對(duì)軟件測(cè)試的相關(guān)方法與技術(shù)進(jìn)行了詳細(xì)的介紹。
孫晶，副教授，遼寧大學(xué)計(jì)算機(jī)軟件與理論專(zhuān)業(yè)碩士。先后主講過(guò)6門(mén)計(jì)算機(jī)專(zhuān)業(yè)課程。參加國(guó)家自然科學(xué)基金3項(xiàng)、參加國(guó)家科技部重點(diǎn)項(xiàng)目子課題一項(xiàng)、遼寧省和北京市教委科研項(xiàng)目3項(xiàng)，一項(xiàng)獲省科技進(jìn)步三等獎(jiǎng)；撰寫(xiě)論文28篇，其中8篇被EI收錄，參編專(zhuān)著一部。研究方向：計(jì)算機(jī)決策支持系統(tǒng)；數(shù)據(jù)挖掘；軟件測(cè)試等。
第1章軟件測(cè)試概述
1.1軟件故障與軟件測(cè)試
1.2軟件測(cè)試與軟件開(kāi)發(fā)過(guò)程
1.2.1順序生命周期模型
(SequentialLifecycleModels)
1.2.2漸進(jìn)(ProgressiveDevelopment)
生命周期模型
1.2.3迭代生命周期模型(Iterative
LifecycleModel)
1.3軟件測(cè)試方法與測(cè)試內(nèi)容
1.3.1黑盒測(cè)試
1.3.2白盒測(cè)試
1.3.3ALAC(Act-like-a-customer)
測(cè)試
1.3.4單元測(cè)試
1.3.5綜合測(cè)試
1.3.6確認(rèn)測(cè)試
1.3.7α、β測(cè)試
1.3.8系統(tǒng)測(cè)試
1.3.9面向?qū)ο蟮能浖䴗y(cè)試
1.3.10協(xié)議軟件測(cè)試
1.4軟件測(cè)試原則與特點(diǎn)
1.4.1軟件測(cè)試的原則
1.4.2軟件測(cè)試特點(diǎn)
第2章軟件測(cè)試基礎(chǔ)
2.1軟件測(cè)試白盒法
2.1.1邏輯覆蓋法
2.1.2基本路徑測(cè)試法
2.2軟件測(cè)試黑盒法
2.2.1等價(jià)類(lèi)劃分法
2.2.2邊界值分析
2.3小結(jié)
第3章TTCN樹(shù)表描述語(yǔ)言程序設(shè)計(jì)
3.1協(xié)議一致性測(cè)試基礎(chǔ)框架
3.1.1協(xié)議一致性測(cè)試系統(tǒng)結(jié)構(gòu)
3.1.2X-協(xié)議一致性測(cè)試
3.2測(cè)試系統(tǒng)行為描述
3.2.1行為樹(shù)
3.2.2TTCN行為描述
3.3TTCN數(shù)據(jù)類(lèi)型和取值
3.3.1預(yù)定義數(shù)據(jù)類(lèi)型
3.3.2取值
3.3.3簡(jiǎn)單用戶定義類(lèi)型
3.3.4構(gòu)造類(lèi)型
3.4PCOs和CPs
3.4.1通信模型
3.4.2發(fā)送一個(gè)ASP
3.4.3接收一個(gè)ASP
3.4.4聲明PCO類(lèi)型
3.4.5使用PCOs和CPs
3.4.6PCO和CP快照
3.4.7聲明CPs
3.5發(fā)送語(yǔ)句
3.5.1發(fā)送ASP
3.5.2執(zhí)行發(fā)送語(yǔ)句
3.5.3發(fā)送一個(gè)PDU
3.5.4發(fā)送協(xié)同信息
3.6接收語(yǔ)句
3.6.1接收ASP
3.6.2執(zhí)行接收語(yǔ)句
3.6.3接收PDU
3.6.4接收協(xié)同信息
3.6.5OTHERWISE語(yǔ)句
3.7定義ASP、PDU和CM類(lèi)型
3.7.1TTCN復(fù)合類(lèi)型
3.7.2類(lèi)型鏈Chaining
3.7.3ASN.1復(fù)合類(lèi)型
3.7.4局部類(lèi)型定義
3.7.5通過(guò)引用定義類(lèi)型
3.7.6定義ASPs
3.7.7定義PDUs
3.7.8構(gòu)造ASPs和PDUs的子集
3.7.9定義CM類(lèi)型
3.7.10在行為樹(shù)中使用ASPs和
PDUs
3.8TTCN表達(dá)式
3.8.1TTCN運(yùn)算符
3.8.2TTCN函數(shù)
3.9說(shuō)明ASP、PDU和CM值
3.9.1Static和Dynamic鏈
3.9.2復(fù)合ASN.1值
3.9.3ASP約束
3.9.4PDU的約束
3.9.5構(gòu)造類(lèi)型的約束
3.9.6CM約束
3.10約束引用
3.10.1參數(shù)化的約束
3.10.2發(fā)送和接收約束
3.10.3約束與OTHERWISE語(yǔ)句
3.11接收約束值匹配
3.11.1指定值(SpecificValue)
3.11.2匹配機(jī)制(Matching
Mechanisms)
3.12編碼
3.13引用復(fù)合類(lèi)型元素
3.13.1在SEND和RECEIVE語(yǔ)句的
上下文中引用
3.13.2引用ASN.1元素
3.13.3捕獲接收到的ASPs和
PDUs
3.14裁決(Verdicts)
3.14.1結(jié)果變量(ResultVariable)
3.14.2初步結(jié)果
3.14.3*終結(jié)果(FinalVerdicts)
3.15GOTO語(yǔ)句
3.16定時(shí)器語(yǔ)句
3.17常量與變量
3.18動(dòng)態(tài)行為描述
3.19使用別名
3.20測(cè)試?yán)K化
3.20.1測(cè)試步
3.20.2缺省行為
3.21TTCN中的參數(shù)列表
3.22測(cè)試?yán)x擇
3.23TTCN測(cè)試套結(jié)構(gòu)
第4章TTCN-3基本語(yǔ)言元素
4.1TTCN-3概述
4.1.1實(shí)例
4.1.2范圍規(guī)則
4.1.3參數(shù)化
4.2數(shù)據(jù)類(lèi)型和值
4.2.1基本類(lèi)型和值
4.2.2基本類(lèi)型的子類(lèi)型
4.2.3記錄類(lèi)型
4.2.4集合類(lèi)型
4.2.5枚舉類(lèi)型
4.2.6聯(lián)合類(lèi)型
4.3任意類(lèi)型
4.4數(shù)組
4.5遞歸類(lèi)型
4.6類(lèi)型的兼容
4.6.1記錄類(lèi)型兼容性
4.6.2枚舉類(lèi)型兼容性
4.6.3子結(jié)構(gòu)化的兼容性
4.6.4成分類(lèi)型的類(lèi)型兼容性
4.6.5通信操作的類(lèi)型兼容性
4.6.6類(lèi)型變換
4.7模塊(Modules)
4.7.1模塊命名
4.7.2模塊參數(shù)
4.7.3模塊定義
4.7.4模塊控制
4.7.5從模塊導(dǎo)入
4.7.6引入規(guī)則
4.8運(yùn)算符
4.8.1算術(shù)運(yùn)算符
4.8.2串運(yùn)算符
4.8.3關(guān)系運(yùn)算符
4.8.4邏輯運(yùn)算符
4.8.5位運(yùn)算符
4.8.6移位運(yùn)算符
4.8.7循環(huán)移位運(yùn)算符
第5章類(lèi)型聲明
5.1常量聲明
5.2變量聲明
5.3定時(shí)器聲明
5.4消息聲明
5.5過(guò)程特征聲明
5.5.1阻塞的和非阻塞的通信中的
過(guò)程特征
5.5.2過(guò)程信號(hào)的參數(shù)
5.5.3遠(yuǎn)程過(guò)程的返回值
5.5.4例外描述
5.6模板聲明
5.6.1消息模板聲明
5.6.2過(guò)程信號(hào)模板聲明
5.6.3模板匹配機(jī)制
5.6.4模板參數(shù)化
5.6.5作為參數(shù)傳遞模板
5.6.6修改模板
5.6.7改變模板字段
5.6.8匹配操作
5.6.9操作的值
第6章語(yǔ)句、函數(shù)、可選步與通信
6.1程序語(yǔ)句和操作
6.2基本的程序語(yǔ)句
6.2.1表達(dá)式
6.2.2賦值
6.2.3日志語(yǔ)句
6.2.4標(biāo)簽語(yǔ)句
6.2.5Goto語(yǔ)句
6.2.6If-else語(yǔ)句
6.2.7for語(yǔ)句
6.2.8While語(yǔ)句
6.2.9do-while語(yǔ)句
6.2.10停止執(zhí)行語(yǔ)句
6.3行為的程序語(yǔ)句
6.3.1選擇性行為
6.3.2repeat語(yǔ)句
6.3.3交叉的行為
6.3.4返回語(yǔ)句
6.4函數(shù)和可選步
6.4.1函數(shù)
6.4.2可選步
6.4.3用于不同成分類(lèi)型的函數(shù)和
可選步
6.5默認(rèn)處理
6.5.1默認(rèn)機(jī)制
6.5.2缺省引用
6.5.3激活操作
6.5.4去激活操作
6.6通信操作
6.6.1通信操作的通用格式
6.6.2基于消息的通信
6.6.3基于過(guò)程的通信
6.6.4檢查操作
6.6.5控制通信端口
6.6.6any和all與端口一起使用
6.7定時(shí)器操作
6.7.1啟動(dòng)定時(shí)器操作
6.7.2停止定時(shí)器操作
6.7.3讀定時(shí)器操作
6.7.4運(yùn)行定時(shí)器操作
6.7.5超時(shí)操作
6.7.6與定時(shí)器一起使用的any和all
的總結(jié)
第7章TTCN-3核心語(yǔ)言程序設(shè)計(jì)
7.1測(cè)試配置
7.1.1端口通信模型
7.1.2連接上的限制
7.1.3抽象測(cè)試系統(tǒng)接口
7.1.4定義通信端口類(lèi)型
7.1.5定義通信類(lèi)型
7.1.6SUT內(nèi)部的編址實(shí)體
7.1.7成分引用
7.1.8定義測(cè)試系統(tǒng)接口
7.2配置操作
7.2.1創(chuàng)建操作
7.2.2連接和映射操作
7.2.3斷開(kāi)連接和取消映射
新書(shū)資訊