【正文】 IPv6 AMD Sybase 3 XP IE IPv6 Intel Oracle 4 OS X FireFox IPv4 AMD MySQL 5 OS X IE IPv4 Intel Sybase 6 OS X FireFox IPv4 Intel Oracle 7 RHEL IE IPv6 AMD MySQL 8 RHEL FireFox IPv4 Intel Sybase 9 RHEL FireFox IPv4 AMD Oracle 10 OSX FireFox IPv6 AMD Oracle 表 22 pairwise 測試的配置 即使被測軟件沒有配置 選項 ， 軟件仍要處理一些輸入。2因為牽涉到硬件環(huán)境的搭建，配置參數(shù)測試中每增加一種測試情況比單純地多寫一個測試用例所花的代價大得多。使用 pairwise 技術(shù)后，總測試用例數(shù)目從原來的 MN下降到了約 M * N。以 NASA 應(yīng)用為例 ， 67%的錯誤由單個參數(shù)觸發(fā)， 93%由兩個參數(shù)相互作用后觸發(fā)， 98%由三個參數(shù)一起造成。該理論是基于以下事實的，軟件中的錯誤大部分都是由單個參數(shù)所導(dǎo)致的，一般最多是由兩個參數(shù)相互作用而觸發(fā)，三個或三個以上的情況幾乎沒有。軟件能否經(jīng)得住各種條件下的考驗， 基于模型的自動化測試工具的實現(xiàn) 第 8 頁 共 13 頁 是軟件測試需要解決的問題。可以通過指定初始遍歷節(jié)點和限定路徑長度的方法來減少生成測試用例的數(shù)量，但是更好的是下面介紹的組合測試。馬爾可夫鏈模型為 MBT 提供了測試的側(cè)重點，即著重測試那些用戶經(jīng)常使用的功能。類似 于描述程序所有可執(zhí)行路徑的控制流 和描述程序所有變量定義和內(nèi)存使用的數(shù)據(jù)流，事件流模型描述的是 GUI 上所有可執(zhí)行的事件序列。無論檢測結(jié)果是滿足屬性還是違背屬性，都可以形成測試 用例。當(dāng)需要為程序的特定執(zhí)行路徑尋找輸入時，沿著路徑使用符號執(zhí)行的方法，結(jié)合途中遇到的一些分支斷言，我們可以求出預(yù)期輸入所需要滿足的約束。 MBT 中使用的測試用例生成方法主要依賴于所使用的模型表現(xiàn)形式，針對不同的模型表現(xiàn)形式，研究者分別想出了一些解決方案。我們也并不需要描述系統(tǒng)行為隨著時間變化的變化情況， RBAC 測試中不涉及分布式并發(fā)操作，側(cè)重關(guān)心系統(tǒng)控制流而不是數(shù)據(jù)流，可見基本的 FSM 模型就已經(jīng)滿足相關(guān)要求。之后又有人刪去了 Harel 的狀態(tài)圖模型中的部分特性，同時增加了一些新的特性，形成了統(tǒng)一建模語言（ UML， Unified Modeling Language）狀態(tài)機(jī)模型。通常是以節(jié)點和弧線的形式出現(xiàn)，節(jié)點代表系統(tǒng)的狀態(tài)，弧線代表系統(tǒng)的動作或操作。然后在被測系統(tǒng)（ SUT， System Under Test）環(huán)境中真正執(zhí)行所有測試用例（步驟 51），可以利用測試腳本來自動化執(zhí)行測試，最終得到測試結(jié)果（步驟 52）。至于產(chǎn)生其它輔助性內(nèi)容的工具，它在不同項目之間不具有可移植性，只有根據(jù)不同項目來專門設(shè)計實現(xiàn)。 基于模型的自動化測試工具的實現(xiàn) 第 5 頁 共 13 頁 第二章 基于模型的測試 . MBT 一般操作流程 基于模型的測試依賴于三項關(guān)鍵技術(shù)： 模型的表現(xiàn)形式、測試用例的生成算法和產(chǎn)生其它輔助性內(nèi)容（包括預(yù)期結(jié)果）的工具 [12]。第三章介紹系統(tǒng)的總體架構(gòu)和簡要闡述系統(tǒng)各模塊的功能。 該測試工具將被主要用于微軟公司 SCCM 系統(tǒng)的基于角色權(quán)限控制（ RBAC， RoleBased Access Control）功能的測試。 目前代表性的支持 MBT 的測試工具有： IBM 公司的 GOTCHATCBeans 軟件測試套件，面向 Java、 C/C++語言編寫的應(yīng)用 程序接口（ API, Application Program Interfaces）和軟件協(xié)議 [7]；微軟公司的 Spec Explorer 工具，具有創(chuàng)建軟件行為模型、可視化分析模型、驗證模型有效性和根據(jù)模型生成測試用例等功能 [8]；“凈室”公司的 CleanTest，主要用于凈室軟件工程中使用的統(tǒng)計測試過程 [9]。實施 MBT 的測試人員需 要具有比普通測試人員更強(qiáng)的系統(tǒng)抽象能力，因為 SUT 很可能并不容易建模。我們知道，軟件開發(fā)中的錯誤越早發(fā)現(xiàn)需要付出的修復(fù)代價越小， MBT 把一些錯誤扼殺在需求階段，貢獻(xiàn)無疑是巨大的。而且 MBT可以提高測試效率，因為人工測試受限于測試人員的思維活躍程度， MBT 使用的測試用例生成算法和啟發(fā)式用例選擇機(jī)制能夠快速生成大量測試用例，達(dá)到對模型更高的覆蓋率卻僅需要多花費(fèi)少量運(yùn)行測試用例生成程序的時間。而微軟公司的某一應(yīng)用中， MBT 發(fā)現(xiàn)了多 10 倍的錯誤 [14]。模型所帶來的回報也是巨大的，因為一旦模型被確立且其能夠準(zhǔn)確反映被測系統(tǒng)的真實需求，軟件測試工具就能夠分析模型自動得到測試用例。當(dāng)測試本身就需要多次重復(fù)時（比如回歸測試、壓力測試），其優(yōu)點將更加顯著?；诖a的測試是指通過程序提供的公共接口，直接驗證各個類、庫和模塊在不同的輸入情況下返回結(jié)果的正確性與否，如 xUnit 系列框架。常用的判斷標(biāo)準(zhǔn)有：代碼覆蓋率、測試用例通過率、缺陷數(shù)量收斂率等等。 1983年美國國家標(biāo)準(zhǔn)局（ NBS）發(fā)表了評估軟件生命周期各階段的測試方法 [4]，同年美國電氣和電子工程師協(xié)會（ IEEE）發(fā)布了八大軟件測試相關(guān)文檔的標(biāo)準(zhǔn) [5]， 人們開始利用這些評估標(biāo)準(zhǔn)來衡量測試軟件的質(zhì)量。 軟件測試能夠 有效地幫助軟件開發(fā)人員找出系統(tǒng)中存在的錯誤，從而在很大程度上保證軟件的質(zhì)量。s framework were illustrated. The process of data abstraction, interface drawing and event handling were analyzed for the most important Menu building function MenuMode. After that Nucleus Plus was introduced and the method to use process munication, process synchronization for supporting Bluetooth module in Menu System was given. The UI solution provides a layered, structural and extendable Menu System for digital photo frame. And it effectively supports Bluetooth module. Key words: OSD, SDRAMMapping Window, Menu System, UI 基于模型的自動化測試工具的實現(xiàn) 目 錄 第一章 緒論 .................................................................. 1 . 軟件測試簡介 ................................................................................................ 1 . 軟件測試工具發(fā)展現(xiàn)狀 .................................................................................. 2 . 項目背景和論文結(jié)構(gòu) ...................................................................................... 4 . 項目背景 ............................................................................................ 4 . 論文結(jié)構(gòu) ............................................................................................ 4 第二章 基于模型的測試 ........................................................ 5 . MBT 一般操作流程 ........................................................................................ 5 . MBT 模型表現(xiàn)形式 ........................................................................................ 6 . MBT 測試用例生成 ........................................................................................ 7 . MBT 預(yù)期輸出生成 ...................................................................................... 10 第三章 系統(tǒng)架構(gòu) ............................................................. 12 . 功能概述及流程 ........................................................................................... 12 . 系統(tǒng)架構(gòu) ..................................................................................................... 13 第四章 系統(tǒng)各功能實現(xiàn) ....................................................... 14 第五章 實例分析： ATM 系統(tǒng) .................................................... 21 第六章 結(jié)論及展望 ........................................................... 26 參考文獻(xiàn) .................................................................... 27 基于模型的自動化測試工具的實現(xiàn) 基于模型的自動化測試工具的實現(xiàn) 第 1 頁 共 13 頁 第一章 緒論 . 軟件測試簡介 隨著 電子 信息化的飛速發(fā)展， 計算機(jī) 軟件 已經(jīng)遍布于 人類社會 的各個角落，遠(yuǎn)至月球探測衛(wèi)星的發(fā)射系統(tǒng)，近至個人攜帶的 MP3 音樂播放器 。本方案的實現(xiàn)提供了一套層次化、結(jié)構(gòu)化、可擴(kuò)展的電子相框菜單系統(tǒng)，并有效支持 了 藍(lán)牙模塊的應(yīng)用。 基于模型的自動化測試工具的實現(xiàn) 畢業(yè)設(shè)計論文 基于 模型的自動化測試工具的 實現(xiàn) 摘要 基于模型的測試是 本文首先介紹了 AtmelView 框架 以及菜單系統(tǒng) UI 在其中所將扮演的角色、與各個功能模塊間的關(guān)系。其后 介紹 Nucleus Plus，給出進(jìn)程通信、進(jìn)程同步在菜單系統(tǒng)中支持藍(lán)牙模塊的應(yīng)用方法。s usage was proposed. It referred to the idea of multiple image lay er interface and the parison the usage of hardware OSD and Pseudo OSD. Then the details of Menu System39。 因此，如何保證軟件的質(zhì)量顯得尤為關(guān)鍵。 1979 年 Myers 提出“測試是帶有發(fā)現(xiàn)錯誤意圖去執(zhí)行程序的過程” [3]，越是發(fā)現(xiàn)了錯誤才說明測試過程的成功。如果一味地追求缺陷數(shù)量，很可能得不償失。 名稱 產(chǎn)商 簡介 WinRunner Mercury Interactive 支持自動錄制、檢測和回放用戶操作 LoadRunner Mercury Interactive 模擬大量并發(fā)負(fù)載來預(yù)測系統(tǒng)性能 TestDirector Mercury Interactive 基于 Web 的測試管理系統(tǒng) Robot IBM 具有測試和管理的雙重功能 xUnit \ 最流行的開源單元測試框架 SilkTest Borland 軟件功能測試工具 WAS Microsoft 強(qiáng)大的網(wǎng)站壓力測試工具 JTes