【正文】 系統(tǒng)是可用的，則有下述種種可能：在0到t這段時間內(nèi)，系統(tǒng)一直沒失效（可靠）；在這段時間內(nèi)失效了一次，但是又修復(fù)了；在這段時間內(nèi)失效了兩次修復(fù)了兩次如此反復(fù)進(jìn)行。2．軟件的可用性軟件可用性的一個定義是：軟件可用性是程序在給定的時間點，按照規(guī)格說明書的規(guī)定，成功地運(yùn)行的概率。 圖書查詢測試用例 軟件可靠性 基本定義1．軟件可靠性1983年美國IEEE計算機(jī)學(xué)會對“軟件可靠性”作出了明確定義，此后該定義被美國標(biāo)準(zhǔn)化研究所接受為國家標(biāo)準(zhǔn)，1989年我國也接受該定義為國家標(biāo)準(zhǔn)。（4）管理員輸入要查詢商品的信息后，后臺數(shù)據(jù)庫檢查表中是否有與其對應(yīng)的記錄，若沒有管理員可以重新輸入查詢信息；否則顯示相應(yīng)的查詢結(jié)果。（3）后臺數(shù)據(jù)庫對管理員的信息進(jìn)行比對。（1）初始時要求管理員進(jìn)行登錄。其規(guī)格說明如下。根據(jù)輸入條件和邊界條件所選擇的測試用例。是指讀者當(dāng)前所借書的數(shù)量與未還書的數(shù)量之和。這是讀者的唯一帳號，一般數(shù)字或字母組成，長度為68個字符。這是圖書的唯一編號，一般由數(shù)字或字母組成，長度為8個字符。輸入：abc123 }覆蓋（1），（2），（4）等價類輸入：001001 }覆蓋（1），（4）等價類輸入：ab1234 }管理員帳號有非法字符，覆蓋（3）等價類輸入：空 }管理員帳號為0個字符，覆蓋（5）等價類輸入：123455q6q7q5 }管理員帳號多于8個字符，覆蓋（6）等價類 管理員密碼等價類表輸入條件有效等價類無效等價類管理員密碼組成數(shù)字（1），字母（2）非數(shù)字或字母（3）管理員密碼字符個數(shù)620個（4）0個（5），20個（6）下面選取了4個測試用例，其中第一個覆蓋了所有的有效等價類，其他的覆蓋了3個無效等價類。用等價類劃分的方法得到上述規(guī)格說明的要求，建立輸入等價類表格。 測試用例設(shè)計 等價類測試用例設(shè)計驗證管理員的規(guī)格說明在圖書借閱管理系統(tǒng)中對管理員的信息的規(guī)定：“管理員帳號可以是任意數(shù)字、字母的組合，帳號長度為68個字符。 測試的原則軟件測試從不同的角度出發(fā)會派生出兩種不同的測試原則，從用戶的角度出發(fā)，就是希望通過軟件測試能充分暴露軟件中存在的問題和缺陷，從而考慮是否可以接受該產(chǎn)品，從開發(fā)者的角度出發(fā)，就是希望測試能表明軟件產(chǎn)品不存在錯誤，已經(jīng)正確地實現(xiàn)了用戶的需求，確立人們對軟件質(zhì)量的信心。它只檢查程序功能是否按照需求規(guī)格說明書的規(guī)定正常使用，程序是否能適當(dāng)?shù)亟邮蛰斎霐?shù)據(jù)而產(chǎn)生正確的輸出信息。具體方法有五個，按其邏輯覆蓋的從弱到強(qiáng)依次為：語句覆蓋（面）、判定/分支覆蓋（線）、條件覆蓋（點）、判定/條件覆蓋（點線結(jié)合）、多重條件覆蓋（點線組合）。前一個方法稱為黑盒測試，后一個方法稱為白盒測試。 測試的基礎(chǔ) 測試的目標(biāo)測試是為了發(fā)現(xiàn)程序中的錯誤而執(zhí)行程序的過程，好的測試方案是極可能發(fā)現(xiàn)迄今為止尚未發(fā)現(xiàn)的錯誤的測試方案，成功的測試是發(fā)現(xiàn)了至今為止尚未發(fā)現(xiàn)的錯誤的測試。（5）項目資源：對人員、硬件和軟件等資源的組織和分配，人力資源是重點，而且和日程安排聯(lián)系緊密。（3）風(fēng)險計劃：測試可能存在的風(fēng)險分析、識別以及風(fēng)險的回避監(jiān)控和管理。 測試計劃的要點（1）計劃的目的：項目的范圍和目標(biāo)，各階段的測試范圍、技術(shù)約束和管理特點。 測試實施策略的制定測試策略描述當(dāng)前測試項目的目標(biāo)和所采用的測試方法。（5）確立每個測試階段的測試完成及測試成功的標(biāo)準(zhǔn)和實現(xiàn)的目標(biāo)。（3）推薦可采用的測試策略。 測試計劃實現(xiàn)的目標(biāo)測試計劃作為指導(dǎo)測試項目秩序漸進(jìn)的基礎(chǔ)，幫助我們安排合適的資源和進(jìn)度，避免可能的風(fēng)險，有助于實現(xiàn)以下目標(biāo)：（1）確定現(xiàn)有項目的信息和應(yīng)測試的軟件構(gòu)件。API就是Windows的32位應(yīng)用程序編程接口，是一系列很復(fù)雜的函數(shù)，消息和結(jié)構(gòu)，它使編程人員可以用不同類型的編程語言編制出的運(yùn)行在WindowsXP和Windows NT操作系統(tǒng)上的應(yīng)用程序。 附加功能為了提高系統(tǒng)中密碼的安全性和電話號碼格式的準(zhǔn)確性，用正則表達(dá)式進(jìn)行了限定，增強(qiáng)了系統(tǒng)的準(zhǔn)確性。% + + %39。同理，讀者如果想要查詢自己還未的圖書信息時，就單擊“未還圖書”按鈕，dataGridView中則顯示當(dāng)前讀者的未還的圖書信息。 簡單查詢界面功能實現(xiàn)：1．讀者在登錄系統(tǒng)后，會在主界面顯示當(dāng)前讀者的姓名，也會記下讀者的登錄帳號。讀者進(jìn)入系統(tǒng)后，主要實現(xiàn)的就是查詢功能，對圖書可以簡單查詢和復(fù)合查詢，復(fù)合查詢可以輸入多個條件進(jìn)行，查詢自己所借的書是否超期等。 查詢管理員可以對所管理的信息進(jìn)行查詢，讀者可以對圖書和自己的借閱信息進(jìn)行查詢，所以系統(tǒng)的查詢界面比較多。它強(qiáng)大的報表引擎將處理指定的格式化、分組和制圖標(biāo)準(zhǔn)。如果管理員想要查看某本圖書時，可以在相應(yīng)的文本框中輸入圖書編號，由于可以進(jìn)行模糊查詢，所以還需輸入完整的圖書編號，單擊“查詢”按鈕后，就會顯示相應(yīng)的圖書信息。 圖書報表界面功能實現(xiàn)：1．管理員進(jìn)入圖書報表界面后，單擊“瀏覽”按鈕后，系統(tǒng)會自己關(guān)聯(lián)指定的水晶報表，顯示圖書的基本信息，其中對圖書名稱相同的書籍進(jìn)行統(tǒng)計，方便管理員查看。本系有圖書報表、讀者報表、借閱報表，圖書報表可以按圖書類別進(jìn)行查尋，讀者報表顯示讀者的基本信息，借閱報表可以統(tǒng)計每個讀者的借書量等信息。3. 借閱規(guī)則：讀者所借的書籍應(yīng)在30天內(nèi)可歸還或續(xù)借，；讀者續(xù)借后可將還書日期從原來的應(yīng)還書日期延遲30天，在這30天內(nèi)仍可續(xù)借；讀者應(yīng)保管好所借的書籍，如果損壞，則按書籍原價的十分之一交罰款；讀者不慎將所借書籍丟失，則需賠償一本同樣的書，或者按照書籍原價的二倍交罰款。若超過了應(yīng)歸還日期，就要再加上超期罰款金額。如果還書讀者無法賠償同樣的書，管理員就要按照借閱規(guī)則收取罰款。還書后，系統(tǒng)會自動將借閱信息更新回數(shù)據(jù)庫，列表會自動更新當(dāng)前還書用戶的借閱信息，而圖書信息表中此書的庫存量更新增加還書的數(shù)量。管理員從圖書編號對應(yīng)的下拉框中選取要還書籍的編號，此書的基本信息會自動顯示在相應(yīng)的文本框中，如果此書的已超過了應(yīng)歸的還日期，在相應(yīng)的文本框中會自動顯示超期罰款金額，此時，管理員會對讀者收取合理的罰款。交罰款后，方可進(jìn)行還書。 還書管理還書管理主要是讀者還書時管理員對其執(zhí)行的操作。 2．讀者續(xù)借圖書時，按照同上方法輸入讀者帳號，這時可按照同上方法填寫圖書編號，也可直接從列表中選取要續(xù)借的圖書，圖書的基本信息則自動顯示在相應(yīng)的文本框中，如果此書的借閱未超期，便可進(jìn)行續(xù)借，若超期管理員會對其收取罰款。圖 借書管理界面功能實現(xiàn)：1．讀者借書時，管理員輸入讀者的帳號按回車鍵后，讀者的基本信息則自動顯示在相應(yīng)的文本框中，讀者所借未還的借閱信息自動顯示在列表中，選擇讀者所借書籍的圖書類別，再選擇圖書編號或者輸入圖書編號后，圖書的基本信息則自動顯示在相應(yīng)的文本框中，確定信息無誤時便可進(jìn)行借閱。管理員要根據(jù)讀者的帳號和圖書的編號執(zhí)行借閱過程，當(dāng)然也可實現(xiàn)讀者的續(xù)借過程。刪除記錄后，系統(tǒng)會自動更新數(shù)據(jù)庫。如果不修改，則單擊“取消”按鈕。添加完成后，系統(tǒng)會彈出添加成功對話框，如果不添加，則單擊“取消”按鈕。圖 圖書信息管理界面功能實現(xiàn)：1．添加一本圖書時，先清空文本框中的內(nèi)容，方便管理員錄入，其中帶有*號的為必填項。對于出現(xiàn)錯誤的記錄，管理員要對其進(jìn)行恰當(dāng)?shù)男薷?，加?qiáng)信息的準(zhǔn)確性，方便讀者查詢圖書、借閱圖書等，當(dāng)然對于圖書館中已沒有的書目、不再使用的圖書類別、已經(jīng)注銷的讀者等信息應(yīng)及時徹底刪除。此功能主要是由管理員進(jìn)行準(zhǔn)確管理，對圖書館來說也是非常重要的環(huán)節(jié)。系統(tǒng)是自動將輸入的內(nèi)容與對應(yīng)的后臺數(shù)據(jù)庫中的記錄進(jìn)行對比，只有完全正確時才能進(jìn)入系統(tǒng)，加強(qiáng)系統(tǒng)的安全性。此處以管理員的登錄為例，在相應(yīng)的文本框中輸入帳號和密碼，單擊“確定”按鈕后，判斷合法后，會彈出歡迎界面顯示登錄成功。系統(tǒng)開發(fā)主要所用的軟件工具有：Microsoft Visual Studio 2005 程序開發(fā)開具、SQL Server 2005數(shù)據(jù)庫開發(fā)工具、Photo Shop圖片處理工具等。 軟件開發(fā)環(huán)境軟件開發(fā)環(huán)境（Software Development Environment）是指在基本硬件和宿主軟件的基礎(chǔ)上，為支持系統(tǒng)軟件和應(yīng)用軟件的工程化開發(fā)和維護(hù)而使用的一組軟件，簡稱SDE。4. 。變量是類型安全的。3. 完整的安全性與錯誤處理。借助于從VB中得來的豐富的RAD經(jīng)驗，C具備了良好的開發(fā)環(huán)境。在C的類型系統(tǒng)中，每種類型都可以看作一個對象。2．精心地面向?qū)ο笤O(shè)計。與此相關(guān)的是，那些在C++中被瘋狂使用的操作符已經(jīng)不再出現(xiàn)。在缺省的情況下，C“可操縱”環(huán)境下運(yùn)行，不允許直接地內(nèi)存操作。 還書PAD圖管理員執(zhí)行還書操作時，首先要看所還的書是否損壞，是否超期，若損壞較大或借閱超期則對還書用戶進(jìn)行罰款，輸入相應(yīng)的還書信息，將記錄更新到數(shù)據(jù)庫。 圖書查詢PAD圖管理員經(jīng)過登錄模塊驗證成功后可以進(jìn)行系統(tǒng)主界面，然后進(jìn)入圖書查詢界面，在相應(yīng)的文本框中輸入查詢條件，單擊“查詢”按鈕后，如果有記錄則顯示相應(yīng)結(jié)果，否則無查詢結(jié)果。（6）PAD 圖的符號支持自頂向下、逐步求精方法的使用。容易將PAD圖轉(zhuǎn)換成高級語言源程序，這種轉(zhuǎn)換可用軟件工具自動完成，從而可以省去人工編碼的工作，有利于提高軟件的可靠性和軟件生產(chǎn)率。 PAD圖是二維樹形結(jié)構(gòu)的圖形，程序從圖中最左豎線上端的結(jié)點開始執(zhí)行，自上而下，從左到右順序執(zhí)行，遍歷所有結(jié)點。隨著程序?qū)哟卧黾?，PAD圖逐漸向右延伸，每增加一個層次，圖形向右擴(kuò)展一條豎線，PAD圖中豎線的總條數(shù)就是程序的層次數(shù)。（2）PAD圖描述的程序結(jié)構(gòu)十分清晰。PAD 是問題分析圖（Problem Analysis Diagram）的英文縮寫，它用二維樹形結(jié)構(gòu)的圖來表示程序的控制流，是一種用結(jié)構(gòu)化程序設(shè)計思想表現(xiàn)程序邏輯結(jié)構(gòu)的圖形工具，將這種圖翻譯成程序代碼比較容易。 讀者借閱查詢界面 系統(tǒng)詳細(xì)設(shè)計建立設(shè)計文檔的目的，是為了把設(shè)計師的思想告訴其他的有關(guān)人員。由于系統(tǒng)的用戶界面眾多，不可能將所有的用戶界面都進(jìn)行簡介，為了能看到直觀的用戶界面，在此僅以用戶主界面、讀者借閱查詢界面等為例，進(jìn)行簡介。系統(tǒng)的主界面要包含登錄、圖書信息、出版社信息、讀者信息、借閱信息、歸還信息、報表等菜單模塊，其中登錄菜單下提供了管理員登錄和讀者登錄模塊的鏈接，圖書信息菜單下提供了圖書類別管理、圖書信息管理、圖書查尋模塊的鏈接，出版社信息菜單下提供了出版社管理和出版社查尋模塊的鏈接，讀者信息菜單下提供了讀者注冊、讀者管理、讀者查尋模塊的鏈接，借閱信息菜單下提供了借書、借書管理、借書查尋模塊的鏈接，還書信息菜單下提供了還書、還書管理、還書查尋模塊的鏈接，報表菜單下提供了圖書報表、讀者報表、借閱報表模塊的鏈接。（8）消除冗余的輸入。用戶應(yīng)該能夠跳過不必要的動作，改變所需做的動作的順序(在應(yīng)用環(huán)境允許的前提下)，以及在不退出程序的情況下從錯誤狀態(tài)中恢復(fù)正常。這可使用戶不去做那些肯定會導(dǎo)致錯誤的動作。用戶類型與喜歡的輸入方式有關(guān)，秘書可能非常喜歡鍵盤輸入，而經(jīng)理可能更喜歡使用鼠標(biāo)之類的點擊設(shè)備。（3）允許用戶自定義輸入。（2）保持信息顯示和數(shù)據(jù)輸入之間的一致性。下面是關(guān)于數(shù)據(jù)輸入的設(shè)計指南。 3．?dāng)?shù)據(jù)輸入用戶的大部分時間用在選擇命令、鍵入數(shù)據(jù)和向系統(tǒng)提供輸入。若用顏色表示某種信息或?qū)ο髮傩裕褂脩舳眠@種表示，且盡量用常規(guī)準(zhǔn)則表示。對象顏色應(yīng)盡量不同，前景色宜鮮艷一些，背景則應(yīng)暗淡。一般同一畫面不宜超過4或5種，可用不同層次及形狀來配合顏色，增加變化。顏色的調(diào)配對屏幕顯示也是重要的一項設(shè)計，顏色除是一種有效的強(qiáng)化技術(shù)外，還具有美學(xué)價值。規(guī)則化。對象顯示的順序應(yīng)依需要排列。特別是媒體，要運(yùn)用好媒體選擇原則。經(jīng)濟(jì)原則。 預(yù)期原則。注意屏幕上下左右平衡。各功能區(qū)要重點突出，功能明顯。過長的命令名難于識別和記憶，也會占據(jù)過多的菜單空間。（9）提供對工作內(nèi)容敏感的幫助設(shè)施。下拉菜單的一個主要優(yōu)點就是能按動作類型組織命令。系統(tǒng)應(yīng)該保護(hù)自己不受致命錯誤的破壞。（6）提高對話、移動和思考的效率。不應(yīng)該期望用戶能記住一大串?dāng)?shù)字或名字，以便在下一步操作中使用它們。（4）允許取消絕大多數(shù)操作。向用戶提供視覺的和聽覺的反饋，以保證在用戶和界面之間建立雙向通信。為人機(jī)界面中的菜單選擇、命令輸入、數(shù)據(jù)顯示以及眾多的其他功能，使用一致的格式。下面敘述一般交互指南?？偨Y(jié)眾多設(shè)計者的經(jīng)驗而得出的設(shè)計指南，有助于設(shè)計者設(shè)計出友好、高效的人機(jī)界面。人機(jī)界面的設(shè)計質(zhì)量，直接影響用戶對軟件產(chǎn)品的評價，從而影響軟件產(chǎn)品的競爭力和壽命，因此，必須對人機(jī)界面設(shè)計給以足夠重視。對于交互式系統(tǒng)來說，人機(jī)界面設(shè)計和數(shù)據(jù)設(shè)計、體系結(jié)構(gòu)設(shè)計、過程設(shè)計一樣重要。 借閱信息表字段名類型長度允許空備注用戶編號varchar6N主鍵圖書編號varchar8N主鍵租借日期datetime8N應(yīng)歸還日期datetime8N實際歸還日期datetime8N租借數(shù)量int4N還書量int4Y罰款信息表是：當(dāng)用戶違反借閱規(guī)則時存放罰款記錄的相關(guān)信息，包含的字段有用戶編號、圖書編號、罰款日期、罰款金額等。 圖書類別表字段名類型長度允許空備注類別號char2N主鍵類別名char10N圖書信息表是用來存放圖書的相關(guān)信息，包含的字段有圖書編號、圖書名稱、圖書作者、索引號、出版社名稱、出版日期、圖書定價等。 用戶信息表字段名類型長度允許空備注用戶帳號varchar6N主鍵用戶姓名varchar8N性別varc