軟件程序的測試與改錯(cuò)講義(編輯修改稿)
2025-04-22 04:23 本頁面
【文章內(nèi)容簡介】 軟件竟然有700多處錯(cuò)誤，有的錯(cuò)誤可以破壞數(shù)據(jù)甚至摧毀程序。一下子就使Microsoft名聲掃地。公司不得不為用戶免費(fèi)提供升級(jí)版本，費(fèi)用超過了100萬美元。[Cusumano 1995] 測試人員的分工從Microsoft公司的教訓(xùn)中可知，公司內(nèi)部對(duì)產(chǎn)品的測試（稱為α測試），需要開發(fā)人員與獨(dú)立的測試小組共同參與。開發(fā)人員應(yīng)該執(zhí)行“白盒”測試，即測試源程序的邏輯結(jié)構(gòu)以及實(shí)現(xiàn)細(xì)節(jié)（“白盒”是指看得見程序的內(nèi)部結(jié)構(gòu)）。而獨(dú)立測試小組應(yīng)該執(zhí)行“黑盒”測試，即按照規(guī)格說明來測試程序是否符合要求（“黑盒”是指看不見程序的內(nèi)部結(jié)構(gòu)）。比如在測試一個(gè)模塊時(shí)，“白盒”測試方法要對(duì)模塊的所有代碼進(jìn)行單步跟蹤測試。而“黑盒”測試方法只需測試模塊的接口是否符合要求，它關(guān)心程序的外部表現(xiàn)而不是內(nèi)部的實(shí)現(xiàn)細(xì)節(jié)。小型的軟件公司可能沒有條件設(shè)立獨(dú)立的測試小組，也有可能測試小組人員不多而忙不過來。這時(shí)，可以讓開發(fā)小組的成員相互測試對(duì)方的程序。這里要強(qiáng)調(diào)的是，α測試不能依賴于開發(fā)人員或者測試小組中的任意一方，必須是雙方共同參與。“白盒測試”必須由開發(fā)者自己執(zhí)行，因?yàn)閯e的測試人員無法了解到程序的內(nèi)部實(shí)現(xiàn)細(xì)節(jié)。而“黑盒測試”必須由獨(dú)立的測試人員執(zhí)行，因?yàn)殚_發(fā)者難以做到客觀、公正。開發(fā)者在測試自己的程序時(shí)存在一些弊?。海?）開發(fā)者對(duì)自己的程序印象深刻，并總以為是正確的（自信是應(yīng)該的）。倘若在設(shè)計(jì)時(shí)就存在理解錯(cuò)誤，或因不良的編程習(xí)慣而流下隱患，那么他本人很難發(fā)現(xiàn)這類錯(cuò)誤。（2）開發(fā)者對(duì)程序的功能、接口十分熟悉，他自己幾乎不可能因?yàn)槭褂貌划?dāng)而引發(fā)錯(cuò)誤，這與大眾用戶的情況不太相似，所以自己測試程序難以具備典型性。（3）程序設(shè)計(jì)有如藝術(shù)設(shè)計(jì)，開發(fā)者總是喜歡欣賞程序的成功之處，而不愿看到失敗之處。讓開發(fā)者去做“蓄意破壞”的測試，就象殺自己的孩子一樣難以接受。即便開發(fā)者非常誠實(shí)，但“珍愛程序”的心理讓他在測試時(shí)不知不覺地帶入了虛假成份。軟件產(chǎn)品正式發(fā)行前，在公司外部邀請(qǐng)一些用戶對(duì)產(chǎn)品進(jìn)行測試，稱為β測試。β測試的涉及面最廣，最能反映用戶的真實(shí)愿望，但花費(fèi)的時(shí)間最長，不好控制。一般地，軟件公司與β測試人員之間有一種互利的協(xié)議。即β測試人員無償?shù)貫檐浖咀鳒y試，定期遞交測試報(bào)告，提出批評(píng)與建議。而軟件公司將向β測試人員免費(fèi)贈(zèng)送或者以很大的優(yōu)惠價(jià)格發(fā)行軟件的正式版本。 測試的主要內(nèi)容與常用方法有一次文學(xué)考試，問高爾基是哪國人。一考生樂極而吟：“爾基啊爾基，你若不姓高，我怎知你是中國人?！边@是一種瞎猜法。如果這種方法用于軟件測試，人累死也測不出什么結(jié)果來。不論是對(duì)軟件的模塊還是整個(gè)系統(tǒng)，總有共同的內(nèi)容要測試，如正確性測試，容錯(cuò)性測試，性能與效率測試，易用性測試，文檔測試等?！鞍缀袦y試”是指開發(fā)人員從程序內(nèi)部對(duì)上述內(nèi)容進(jìn)行測試，而“黑盒測試”是指獨(dú)立的測試人員從程序外部對(duì)上述內(nèi)容進(jìn)行測試。很多軟件工程教材講述了各種各樣的測試方法并例舉了不少示例[Pressman 1997] [Sommerville 1992] [楊文龍 1997]。本節(jié)簡明地講述常用的測試方法及其道理。 正確性測試正確性測試又稱功能測試，它檢查軟件的功能是否符合規(guī)格說明。由于正確性是軟件最重要的質(zhì)量因素，所以其測試也最重要?；镜姆椒ㄊ菢?gòu)造一些合理輸入，檢查是否得到期望的輸出。這是一種枚舉方法。倘若枚舉空間是無限的，那可慘了，還不如回家種土豆有盼頭。測試人員一定要設(shè)法減少枚舉的次數(shù)，否則沒好日子過。關(guān)鍵在于尋找等價(jià)區(qū)間，因?yàn)樵诘葍r(jià)區(qū)間中，只需用任意值測試一次即可。等價(jià)區(qū)間的概念可表述如下：記（A, B）是命題
黨政相關(guān)相關(guān)推薦
鄂ICP備17016276號(hào)-1