【導讀】同時軟件工程對實踐經驗要求非常高的，中間的很多經驗都需要在實踐中去體會和認識。在這六個實驗中，全部以一個航空售票點售票軟件的程序設計作為主線來貫穿。統分析設計、編碼和單元測試，其中顧及到結構化程序設計方法和面向對象程序設計方法，通過這六個實驗，基本了解和熟悉軟件工程管理的幾個主要過程，達到熟悉教材，理會軟件工程管理理論的目的。學要求，以及軟件工程專業培養方案對《軟件工程導論實訓》課程的要求編寫的實驗指導書，32學時來設計，計科專業采用本實驗指導書時必須適當調整內容。驗報告而全部在網絡實驗平臺上提交實驗報告。和現場檢查的打分給每個實驗項目打分。實驗分數計零分，且必須補考或重新。航空公司售票點為給旅客乘機提供方便，需要開發一個機票預定系統。當旅客確認航班并交付了預訂金后，系統打印出取票通知和帳單給旅客，旅客。求編碼規則對需求要求進行編號；

【正文】達式至少獲得一次“真”值和“假”值，從而使程序的每一個分支至少都通過一次，因此判定覆蓋也稱為分支覆 蓋。 ③條件覆蓋。設計足夠的測試用例，使得判定表達式中每個條件的各種可能的值至少出現一次。 ④判定／條件覆蓋。設計足夠的測試用例，使得判定表達式中的每個條件的所有可能取值至少出現一次，并使每個判定表達式所有可能的結果也至少出現一次。 ⑤條件組合覆蓋。比較強的覆蓋標準，它是指設計足夠的測試用例，使得每個判定表達式中條件的各種可能的值的組合都至少出現一次。 ⑥路徑覆蓋。設計足夠的測試用例，覆蓋被測程序中所有可能的路徑。 黑盒測試，又稱為功能測試，因此設計測試用例時，需要研究需求規格說明和概要設計說明中有關程序功 能或輸入、輸出之間的關系等信息，從而與測試后的結果進行分析比較。用黑盒技術設計測試用例的方法一般有以下介紹的四種，但沒有一種方法能提供一組完整的測試用例，以檢查程序的全部功能，在實際測試中應該把各種方法結合起來使用。 （１）等價類劃分 將輸入數據域按有效的或無效的（也稱合理的或不合理的）劃分成若干個等價類，測試每個等價類的代表值就等于對該類其他值的測試。也就是說，如果從某個等價類中任選一個測試用例未發現程序錯誤，該類中其他測試用例也不會發現程序的錯誤。

（２）邊界值分析 實踐經驗表明，程序往往在處理邊界情 況時發生錯誤。邊界情況指輸入等價類和輸出等價類邊界上的情況。 （３）錯誤推測 在測試程序時，人們可能根據經驗或直覺推測程序中可能存在的各種錯誤，從而有針對性地編寫檢查這些錯誤的測試用例。錯誤推測法沒有確定的步驟，憑經驗進行。它的基本思想是列出程序中可能發生錯誤的情況，根據這些情況選擇測試用例。 （４）因果圖 因果圖能有效地檢測輸入條件的各種組合可能會引起的錯誤。因果圖的基本原理是通過畫因果圖，把用自然語言描述的功能說明轉換為判定表，最后為判定表的每一列設計一個測試用例。36 附錄 2 測試用例說明書 1 引言 編寫的目的 說明編寫這份測試用例說明書的目的，指出預期的讀者。 背景 ； 、開發者、用戶； 。 定義 列出本文件中用到的專門術語的定義和外文首字母組詞的原詞組。 參考資料 列出參考資料。 2 測試用例 注：用例應側重于測試可直接追蹤到的系統需求功能，目的是核實需求功能與實現功能是否一致。即，只要求說明功能測試用例。 用例 1(標識符 )詳細說明 每個用例應說明下列內容： (1)測試用例名稱 (2)測試項：規定并簡要說明本測試用例所要涉及的項和特性、對于每一項、可考慮引用需求說明書和設計說明書。

(3)輸入說明：規定執行測試用例所需的各個輸入。有些輸入可以用值（允許適當的誤差）來規定。而另一些輸入，如常數表或事務文件可以用名來規定。規定所有合適的數據庫、文件、終端信息、內存常駐區域和由操作系統傳送的值。規定各輸入間所需的所有關系（如時序關系等）。 (4)輸出說明：規定測試項的所有輸出和特性（如：響應時間）。提供各個輸出或特性的正確值（在適當的誤差范圍內）。 (5)環境要求：規定 執行本測試用例所需的硬件特征和配置、系統軟件和應用軟件。 (6)規程說明：描述對執行本測試用例的測試規程的一切特殊限制。這些限制可以包括特定的準備、操作人員干預、確定特殊的輸出和清除過程。 (7)用例間的依賴關系：列出必須在本測試用例之前執行的測試用例名稱，歸納依賴性質。 37 建議采用表格描述每個用例。 用例 2(標識符 )詳細說明 更多用例，仿照 格式說明。 3 測試結果 對存在差異的測試結果進行分析 , 并給出最終的測試結論 . 附錄 3 多體制信號源用戶姿態建模系統 測試用例說明書 1 引言 編寫目的 本文檔根據軟件多體制信號源用戶姿態建模系統的需求說明書與設計說明書編寫，用于系統功能、性能測試。

文檔包含了各功能模塊的測試用例，提供了針對系統進行完整測試的解決方案。文檔預期讀者有多體制信號源用戶姿態建模系統的軟件開發人員、項目主管和后期維護人員、系統測試人員等。 背景 網站的名稱是華服如昔服飾網站，屬于獨立系統。華服如昔服飾網站需要進行系統測試，測試功能是否實現，功能的結果是否正確。本文檔提供測試的指導。 定義 CGS2020： BD 系統使用的大地坐標系。 ECEF：地心地固坐標系 。 ECI：地心慣性坐標系。 衛星導航系統 ：通過 衛星信號為定位導航的系統，如： COMPASS、 GPS、 GLONASS、 GALILEO。 參考資料 [1]國防科技 大學衛星導航研究中心 .多體制高性能衛星導航信號模擬源技術研制技術要求[R].北京 :總裝備部航天裝備總體研究發展中心， . [2]GB／ T [S].北京：中國標準出版社， 2020. [3]彭超 . 多體制信號源用戶姿態建模系統需求規格說明書 [R].長沙：長沙學院計算機科學與技術系， 2020. 2 測試用例 測試環境滿足如下條件。操作系統 :Windows 操作系統 (XP 及 以上 )； PC 機配置： CPU 主頻 以上，內存 1G 以上，硬盤 80G 以上。

測試過程中，各測試用例無特殊 規程，故在此沒有說明。 在手動輸入頁碼模塊中，要求頁碼大于 0，并且小于 800，其單元測試如表 所示。 表 頁碼輸入限制 測試 用例 38 測試 用例編號： HKST01 測試用例名稱： 頁碼輸入限制 測試項： 用戶可輸入頁碼，選擇需要下載的開源數據。在頁碼輸入框中輸入 1 到 799的整數后，點擊開始按鈕，檢查程序能否正 常響應。 輸入說明： ① 在頁碼輸入框中輸入 0，點擊開始按鈕； ② 在頁碼輸入框中輸入 20，點擊開始按鈕； ③ 在頁碼輸入框中輸入 800，點擊開始按鈕。 輸出說明： 所有操作，程序正常響應，開始抓取數據并且輸出結果。 測試結果： 成功 航空公司為隨時掌握各個航班飛機的乘載情況，需要定期進行查詢統計，以便適當調整。航空公司能夠統計一段時間內售出飛往某地的機票，需要測試該功能，我們采用等價類劃分方法測試改功能。 時間段 售票統計等價類 a 測試合理輸入的結果， 詳細說明如表 所示： 表 時間段 售票統計等價類 a 測試用 例 測試 用例編號： HKST02 測試用例名稱： 時間段 售票統計等價類 a 測試項： 起始日期從 2020 年 1 月 1 日開始到當前日期； 結束日期從 2020 年 1 月 1 日開始到當前日期，結束日期不能早于起始日期； 目的地只能從數據庫中選擇，若為空，則不限制地點。

前置測試用例： 航空公司管理員身份驗證 輸入說明： ； ； 輸入 空 ； （字符界面程序通常沒有這樣的步驟）。 輸出說明： 系統輸出共有 10 張票售出。 測試 結果： 成功 時間段 售票統計等價類 b 測試非法輸入的結果，起始日期不符合要求， 詳細說明如表 所示： 表 時間段 售票統計等價類 a 測試用例 測試 用例編號： HKST03 測試用例名稱： 時間段 售票統計等價類 b 測試項： 起始日期從 2020 年 1 月 1 日開始到當前日期； 39 結束日期從 2020 年 1 月 1 日開始到當前日期，結束日期不能早于起始日期； 目的地只能從數據庫中選擇，若為空，則不限制地點。 前置測試用例： 航空公司管理員身份驗證 輸入說明： ； ； 輸入 “長沙” ； （字符界面程序通常沒有這樣的步驟）。 輸出說明： 系統提示：起始日期輸入不合理。 測試結果： 成功 時間段 售票統計等價類 c 測試非法輸入的結果，起始日期晚于結束日期不符合要求， 詳細說明如表 所示： 表 時間段 售票統計等價類 c 測試用例 測試 用例編號： HKST04 測試用例名稱： 時間段 售票統計等價類 c 測試項： 起始日期從 2020 年 1 月 1 日開始到當前日期； 結束日期從 2020 年 1 月 1 日開始到當前日期，結束日期不能早于起始日期 ； 目的地只能從數據庫中選擇，若為空，則不限制地點。

前置測試用例： 航空公司管理員身份驗證 輸入說明： ； ； 輸入 “北京” ； （字符界面程序通常沒有這樣的步驟）。 輸出說明： 系統輸出共有 1 張票售出。 測試結果： 失敗 (提示： 失敗的測試用例，說明程序有問題，有時間的話，要求同學們修改代碼，重新測試。 ) 前述三個測試用例的測試內容，可合并成一個測試用例。時間段 售票統計等價類劃分測試用例，測試內容包括四 個無效等價類（ 起始日期無效，結束日期無效，結束日期早于起始日期， 目的地 無效） ，兩個有效等價類（ 起始日期和結束日期有效， 目的地為“空”或“從數據庫中選擇”） ， 詳細說明如表 所示。 40 表 時間段 售票統計等價類劃分 測試用例 測試 用例編號： HKST05 測試用例名稱： 時間段 售票統計等價類劃分 測試項： 起始日期從 2020 年 1 月 1 日開始到當前日期； 結束日期從 2020 年 1 月 1 日開始到當前日期，結束日期不能早于起始日期； 目的地只能從數據庫中選擇，若為空，則不限制地點。 前置測試用例： 航空公司管理 員身份驗證 輸入說明： ，結束日期輸入 ， 目的地 輸入 “” ； ，結束日期輸入 ， 目的地 輸入 “長沙” ； ，結束日期輸入 ； 目的地 輸入 “長沙” ； ，結束日期輸入 ， 目的地 輸入 “北京”； ，結束日期輸入 ， 目的地 輸入 “北京”； ，結束日 期輸入 ， 目的地 輸入 “洪山橋” 。 三個測試項輸入結束后，都點擊確定按鈕。 輸出說明： 10 張票售出。 2 張票售出。 ：起始日期輸入不合理； ：結束日期不能早于起始日期； ：結束日期輸入不合理； ：找不到 目的地 。 測試結果：3. 成功 4. 成功 5. 成功 6. 成功