銀行自動取款系統(tǒng)的軟件測試研究.pdf

1、我國的軟件測試研究起步非常晚，是隨著軟件工程的研究而慢慢發(fā)展起來的。隨著對軟件質(zhì)量的要求越來越高，軟件測試技術(shù)也漸漸整個為一個新興的行業(yè)。隨著軟件行業(yè)的發(fā)展，金融行業(yè)IT相關(guān)業(yè)務(wù)也得到了長足的進(jìn)步。而金融行業(yè)對于整個軟件系統(tǒng)的要求是最高的，這樣便變相導(dǎo)致了整個金融軟件系統(tǒng)的集成度越來越高，規(guī)模越來越大，關(guān)聯(lián)性越來越強。另一方面，金融行業(yè)IT技術(shù)相關(guān)業(yè)務(wù)也越來越多，需求變化也越來越頻繁。而我國軟件測試技術(shù)的研究起步較晚，如何通過軟件測試來

2、保證系統(tǒng)的質(zhì)量，成為了整個軟件行業(yè)的一個難題。本論文為作者在碩士期間參與的實習(xí)公司對于某銀行整個自助銀行系統(tǒng)的外包軟件測試的研究。
　　 本文重點討論了銀行自動取款系統(tǒng)的軟件測試過程，主要研究工作如下：
　　 (1)研究整個銀行取款系統(tǒng)需求說明，結(jié)合軟件功能測試技術(shù)，包括測試模型、方法的選擇，以及實際系統(tǒng)環(huán)境，參照V型測試模型組織從單元到模塊到整體的測試。
　　 (2)研究UML建模技術(shù)，從靜態(tài)和動態(tài)兩個方面對銀

3、行取款系統(tǒng)分析，結(jié)合整個銀行取款系統(tǒng)的結(jié)構(gòu)和功能，通過UML建模為例，通過類圖、用例圖、狀態(tài)圖、順序圖和協(xié)作圖的設(shè)計，深入研究如何通過建模圖形建立測試場景和生成測試數(shù)據(jù)，為測試工作提供理論依據(jù)。
　　 (3)重點針對UML狀態(tài)圖，結(jié)合OCL約束語言，研究通過狀態(tài)圖轉(zhuǎn)化有限狀態(tài)機、協(xié)作圖生成測試場景。以銀行卡賬戶為例，研究設(shè)計通過提取建模圖形信息而生成測試數(shù)據(jù)的自動化測試框架，結(jié)合手動測試，測試系統(tǒng)。
　　 (4)研究整個