軟件測(cè)試技術(shù)

內(nèi)容概要

　　《軟件測(cè)試技術(shù)：基于案例的測(cè)試》主要教讀者如何使用普通計(jì)算機(jī)鍵盤實(shí)現(xiàn)英文四倍速錄?！盾浖y(cè)試技術(shù)：基于案例的測(cè)試》主要介紹英文速錄的原理，英文速錄的指法練習(xí)，英文四倍速詞匯壓縮方法、練習(xí)方法及聽(tīng)打練習(xí)方法等，并提供大量的練習(xí)文章?！盾浖y(cè)試技術(shù)：基于案例的測(cè)試》配備光盤，包括常用的看打練習(xí)軟件、聽(tīng)打練習(xí)文章的電子版和語(yǔ)音版?！　　盾浖y(cè)試技術(shù)：基于案例的測(cè)試》主要適合于各類英文信息工作者，如會(huì)議記錄人員、新聞?dòng)浾?、英文辦公人員等，也可作為英文速錄愛(ài)好者自學(xué)用書(shū)。

書(shū)籍目錄

前言教學(xué)建議第一部分 軟件測(cè)試背景知識(shí)第1章 軟件測(cè)試基礎(chǔ)1.1 軟件質(zhì)量1.1.1 軟件質(zhì)量的內(nèi)涵1.1.2 軟件質(zhì)量與軟件危機(jī)1.1.3 軟件質(zhì)量保證1.1.4 軟件錯(cuò)誤與缺陷1.2 軟件測(cè)試過(guò)程1.2.1 軟件測(cè)試的模型：1.2.2 測(cè)試過(guò)程成熟度1.2.3 測(cè)試活動(dòng)的自動(dòng)化1.3 軟件測(cè)試術(shù)語(yǔ)1.4 軟件的可測(cè)性1.5 軟件測(cè)試原則1.6 測(cè)試與調(diào)試1.7 小結(jié)習(xí)題第2章 圖論2.1 無(wú)向圖2.2 有向圖2.3 用于測(cè)試的圖2.3.1 程序圖2.3.2 有限狀態(tài)機(jī)2.3.3 Petri網(wǎng)2.3.4.事件驅(qū)動(dòng)的Petri網(wǎng)2.3.5 狀態(tài)圖習(xí)題第3章 測(cè)試案例3.1 工資支付系統(tǒng)3.2 三角形類型問(wèn)題3.3 簡(jiǎn)化的錄像機(jī)系統(tǒng)3.4 簡(jiǎn)單自動(dòng)柜員機(jī)問(wèn)題3.5 貨幣轉(zhuǎn)換程序3.6 面向?qū)ο蟮腘ext Date問(wèn)題3.7 擋風(fēng)玻璃雨刷系統(tǒng)3.8 小結(jié)習(xí)題第二部分 軟件測(cè)試戰(zhàn)術(shù)第4章 覆蓋準(zhǔn)則4.1 引言4.2 圖覆蓋準(zhǔn)則4.2.1 結(jié)構(gòu)化的覆蓋準(zhǔn)則4.2.2 案例：尋找主路徑4.2.3 數(shù)據(jù)流覆蓋準(zhǔn)則4.2.4 案例：三種數(shù)據(jù)流覆蓋準(zhǔn)則的區(qū)別4.2.5 圖覆蓋準(zhǔn)則之間的包含關(guān)系4.3 邏輯覆蓋準(zhǔn)則4.3.1 邏輯謂詞和子句4.3.2 邏輯表達(dá)式覆蓋準(zhǔn)則4.3.3 活動(dòng)子句覆蓋準(zhǔn)則4.3.4 案例：帶氣門的系統(tǒng)CACC和RACC設(shè)計(jì)4.3.5 非活動(dòng)子句覆蓋準(zhǔn)則4.3.6 邏輯覆蓋準(zhǔn)則的包含關(guān)系4.3.7 建立判定謂詞的子句4.3.8 案例：工資支付系統(tǒng)查找滿足覆蓋準(zhǔn)則的值4.4 輸入空間的劃分準(zhǔn)則4.4.1 輸入域建模4.4.2 組合策略準(zhǔn)則4.4.3 劃分中的約束4.5 基于語(yǔ)法的覆蓋準(zhǔn)則4.5.1 BNF覆蓋準(zhǔn)則4.5.2 變異測(cè)試覆蓋準(zhǔn)則4.5.3 案例：stream語(yǔ)法的MOC和MPC覆蓋4.5.4 基于程序的語(yǔ)法覆蓋準(zhǔn)則4.5.5 案例：min方法的變異測(cè)試4.6 小結(jié)習(xí)題第5章  白盒測(cè)試5.1 路徑測(cè)試5.1.1 程序圖的表示5.1.2 DD.路徑5.1.3 基路徑測(cè)試5.1.4 獨(dú)立程序路徑5.1.5 案例：計(jì)算平均值的程序5.2 控制結(jié)構(gòu)測(cè)試5.2.1 條件測(cè)試5.2.2 案例：三角形問(wèn)題的條件測(cè)試5.2.3 數(shù)據(jù)流測(cè)試5.2.4 案例：三角形問(wèn)題的數(shù)據(jù)流測(cè)試5.2.5 循環(huán)測(cè)試5.2.6 案例：計(jì)算平均值的程序5.3 變異測(cè)試5.3.1 結(jié)構(gòu)化變異5.3.2 面向?qū)ο笞儺?.3.3 案例：工資支付系統(tǒng)5.4 小結(jié)習(xí)題第6章 黑盒測(cè)試6.1 基于圖的測(cè)試6.1.1 基于圖的測(cè)試方法6.1.2 案例：工資支付系統(tǒng)的活動(dòng)圖測(cè)試設(shè)計(jì)6.2 等價(jià)劃分6.2.1 等價(jià)劃分的測(cè)試方法6.2.2 案例：工資支付系統(tǒng)的等價(jià)類測(cè)試設(shè)計(jì)6.3 邊界值分析6.3.1 邊界值分析的測(cè)試方法6.3.2 案例：工資支付系統(tǒng)的邊界值測(cè)試設(shè)計(jì)6.4 正交表測(cè)試6.4.1 正交表測(cè)試方法6.4.2 案例：工資支付系統(tǒng)的正交表測(cè)試設(shè)計(jì)6.5 健壯性測(cè)試6.5.1 健壯性測(cè)試方法6.5.2 測(cè)試用例生成要求6.5.3 案例：工資支付系統(tǒng)的健壯性測(cè)試設(shè)計(jì)6.6 決策表測(cè)試6.6.1 決策表測(cè)試方法6.6.2 案例：工資支付系統(tǒng)的決策表測(cè)試設(shè)計(jì)6.7 有窮狀態(tài)測(cè)試6.7.1 有窮狀態(tài)測(cè)試方法6.7.2 案例：工資支付系統(tǒng)的有窮狀態(tài)測(cè)試設(shè)計(jì)6.8 小結(jié)習(xí)題第三部分軟件測(cè)試策略第7章 軟件測(cè)試的策略性方法7.1 測(cè)試策略概述7.2 驗(yàn)證與確認(rèn)7.3 軟件測(cè)試的組織7.4 軟件測(cè)試的層次7.4.1 測(cè)試層次的傳統(tǒng)觀點(diǎn)7.4.2 生命周期模型對(duì)測(cè)試的影響7.5 人工測(cè)試技術(shù)7.5.1 走查7.5.2 正式評(píng)審7.5.3 審查7.6 自動(dòng)化測(cè)試與人工測(cè)試7.7 測(cè)試完成的標(biāo)準(zhǔn)7.8 回歸測(cè)試7.9 小結(jié)習(xí)題……第三部分 軟件測(cè)試策略第四部分 特定環(huán)境和特定體系結(jié)構(gòu)的測(cè)試第五部分 測(cè)試管理與工具附錄 測(cè)試文檔模板參考文獻(xiàn)

章節(jié)摘錄

版權(quán)頁(yè)：插圖：軟件測(cè)試是軟件生命周期中重要的工程活動(dòng)。對(duì)于任何一個(gè)軟件工程項(xiàng)目，如果要在有限的經(jīng)費(fèi)、時(shí)間和人員的情況下，盡可能多地發(fā)現(xiàn)軟件中所存在的問(wèn)題，就必須找到提高軟件測(cè)試效率和測(cè)試質(zhì)量的途徑。為了提高軟件測(cè)試的效率和質(zhì)量，軟件人員不僅要研究軟件測(cè)試的各種技術(shù)、方法和工具，還必須注重軟件測(cè)試過(guò)程的管理和改進(jìn)。將測(cè)試過(guò)程成熟度分為五個(gè)層次，每個(gè)層次被測(cè)試員的目標(biāo)來(lái)區(qū)分和標(biāo)記。第一層是初始級(jí)。在初始級(jí)，軟件測(cè)試過(guò)程的特點(diǎn)是測(cè)試過(guò)程無(wú)序，有時(shí)甚至是混亂的、幾乎沒(méi)有妥善定義的。初始級(jí)中軟件的測(cè)試與調(diào)試常常被混為一談，軟件開(kāi)發(fā)過(guò)程中缺乏測(cè)試資源、工具以及訓(xùn)練有素的測(cè)試人員。初始級(jí)的軟件測(cè)試過(guò)程沒(méi)有定義成熟度目標(biāo)。這與在大多數(shù)計(jì)算機(jī)科學(xué)的程序設(shè)計(jì)課程中學(xué)生編寫(xiě)程序的過(guò)程類似。學(xué)生得到用于編譯的程序，然后使用一些輸入來(lái)調(diào)試程序，這些輸入數(shù)據(jù)要么是任意選擇的，要么是由教師提供的。這種模式?jīng)]有將程序的不正確行為和程序的內(nèi)部錯(cuò)誤區(qū)分開(kāi)來(lái)，對(duì)于開(kāi)發(fā)安全可靠的軟件作用甚微。第二層是定義級(jí)。在定義級(jí)，測(cè)試已具備基本的測(cè)試技術(shù)和方法，軟件的測(cè)試與調(diào)試已經(jīng)明確地被區(qū)分開(kāi)。這時(shí)，測(cè)試被定義為軟件生命周期中的一個(gè)階段，它緊隨在編碼階段之后。但在定義級(jí)中，測(cè)試計(jì)劃往往在編碼之后才得以制訂，這顯然有悖于軟件工程的要求。定義級(jí)中需實(shí)現(xiàn)3個(gè)成熟度目標(biāo)：制訂測(cè)試與調(diào)試目標(biāo)，啟動(dòng)測(cè)試計(jì)劃過(guò)程，制度化基本的測(cè)試技術(shù)和方法。這一層的目標(biāo)是表明程序的正確性，但是除了部分小程序外，對(duì)大多數(shù)程序而言，不可能獲得或證明程序的正確性。假如我們運(yùn)行了一個(gè)測(cè)試集并且沒(méi)有發(fā)現(xiàn)錯(cuò)誤，那么是我們有了一個(gè)足夠好的軟件，還是我們的測(cè)試比較失敗呢？由于正確性的目標(biāo)是不可能的，測(cè)試員通常沒(méi)有嚴(yán)格的目標(biāo)、真正的停止規(guī)則，或者形式化的測(cè)試技術(shù)。即使一個(gè)開(kāi)發(fā)經(jīng)理想知道還剩下多少測(cè)試沒(méi)有做，測(cè)試經(jīng)理也無(wú)法回答這個(gè)問(wèn)題，對(duì)于這個(gè)問(wèn)題測(cè)試經(jīng)理顯得很無(wú)助，因?yàn)樗麩o(wú)法量化地表達(dá)和評(píng)估他的工作。第三層是集成級(jí)。在集成級(jí)，測(cè)試不僅僅是跟隨在編碼階段之后的一個(gè)階段，它已被擴(kuò)展成與軟件生命周期融為一體的一組已定義的活動(dòng)。測(cè)試活動(dòng)遵循軟件生命周期的V模型。測(cè)試人員在需求分析階段便開(kāi)始著手制訂測(cè)試計(jì)劃，并根據(jù)用戶或客戶需求建立測(cè)試目標(biāo)，同時(shí)設(shè)計(jì)測(cè)試用例并制訂測(cè)試通過(guò)準(zhǔn)則。在集成級(jí)上，應(yīng)成立軟件測(cè)試組織，提供測(cè)試技術(shù)培訓(xùn)，關(guān)鍵的測(cè)試活動(dòng)應(yīng)有相應(yīng)的測(cè)試工具予以支持。在該測(cè)試成熟度等級(jí)上，沒(méi)有正式的評(píng)審程序，沒(méi)有建立質(zhì)量過(guò)程和產(chǎn)品屬性的測(cè)試度量。集成級(jí)要實(shí)現(xiàn)4個(gè)成熟度目標(biāo)，它們分別是：建立軟件測(cè)試組織、制訂技術(shù)培訓(xùn)計(jì)劃、軟件全壽命周期測(cè)試、控制和監(jiān)視測(cè)試過(guò)程。這一層的測(cè)試目標(biāo)是表明程序失效。雖然尋找失效是一個(gè)有效的目標(biāo)，但是它也是一個(gè)負(fù)面的目標(biāo)。測(cè)試人員可能會(huì)享受找到問(wèn)題的快樂(lè)，但是開(kāi)發(fā)者并不希望測(cè)試人員找到問(wèn)題——他們只要軟件能夠工作就可以了（這只停留在前一層次的思考上，但是這對(duì)開(kāi)發(fā)人員來(lái)說(shuō)是很自然的事情）。那么，在這一層將開(kāi)發(fā)者和測(cè)試人員放到敵對(duì)的關(guān)系上，這對(duì)團(tuán)隊(duì)精神而言是不好的一面。除此之外，當(dāng)我們的主要目標(biāo)是尋找失效時(shí)，如果沒(méi)有找到失效意味著什么？我們的工作做完了嗎？是軟件足夠好還是測(cè)試做得比較差？對(duì)所有測(cè)試者而言，當(dāng)測(cè)試完成后獲得信心是最重要的目標(biāo)。

編輯推薦

《軟件測(cè)試技術(shù):基于案例的測(cè)試》：軟件測(cè)試是發(fā)現(xiàn)軟件缺陷、提高軟件可信性的重要手段，它貫穿軟件工程的整個(gè)軟件生命周期，涉及各種軟件開(kāi)發(fā)技術(shù)、應(yīng)用技術(shù)以及測(cè)試技術(shù)，覆蓋軟件的各種應(yīng)用領(lǐng)域、《軟件測(cè)試技術(shù):基于案例的測(cè)試》基于軟件測(cè)試對(duì)實(shí)踐動(dòng)手能力和工程應(yīng)用能力的要求，結(jié)合作者多年從事軟件工程和軟件測(cè)試的研究以及多年講授軟件測(cè)試課程的經(jīng)驗(yàn)與體會(huì)編寫(xiě)而成?！盾浖y(cè)試技術(shù):基于案例的測(cè)試》以案例為牽引系統(tǒng)地介紹了軟件測(cè)試的基本原理和常用方法，闡述了覆蓋準(zhǔn)則的理論知識(shí)，介紹了圖形用戶界面測(cè)試、嵌入式軟件測(cè)試、Web應(yīng)用軟件測(cè)試和安全性測(cè)試等，并介紹了測(cè)試過(guò)程管理和測(cè)試工具。通過(guò)案例展示各種測(cè)試方法的使用書(shū)中提供了許多可以借鑒和參考的案例，并且圍繞案例給出實(shí)際應(yīng)用方法的背景，為學(xué)生分析案例提供樣板。系統(tǒng)論述覆蓋準(zhǔn)則的理論知識(shí)覆蓋準(zhǔn)則提供了何時(shí)停止測(cè)試的有效規(guī)則，書(shū)中將覆蓋準(zhǔn)則分為圖覆蓋、邏輯覆蓋、輸入空間覆蓋和語(yǔ)法結(jié)構(gòu)覆蓋幾類，有助于學(xué)生系統(tǒng)地理解和深入地掌握測(cè)試的方法和技術(shù)、詳細(xì)介紹針對(duì)特定環(huán)境、體系結(jié)構(gòu)和應(yīng)用的測(cè)試方法，為學(xué)生從事實(shí)際測(cè)試工作奠定基礎(chǔ)。

圖書(shū)封面

圖書(shū)標(biāo)簽Tags

無(wú)

評(píng)論、評(píng)分、閱讀與下載

---

    軟件測(cè)試技術(shù) PDF格式下載

---