【正文】 udent{數(shù)據(jù)對象：D={ai,bi,ci,| ai∈char S[31],bi∈char A[16],ci,∈int ,i=1,2,3,….}數(shù)據(jù)關(guān)系：R={ (ai,bi,ci), (ai+1,bi+1,ci+1)| (ai,bi,ci) ∈D, i=1,2,3,….}基本操作： S_number_Judge(Student S,int t) 初始條件：表S已存在 操作結(jié)果：判斷所輸入學(xué)號在表中是否已存在 Add(Student S) 初始條件：表S已存在 操作結(jié)果：向表S中插入一個(gè)記錄 Alter(Student S) 初始條件：表S已存在 操作結(jié)果：修改表S中的一條記錄 Delete(Student S) 初始條件：表S已存在 操作結(jié)果：刪除表S中的一條記錄 Display_All(Student S) 初始條件：表S已存在 操作結(jié)果：顯示表中所有學(xué)生的信息 Sort_D_number(Student S) 初始條件：表S已存在 操作結(jié)果：表中記錄按照寢室號從小到大排序 Sort_S_number(Student S) 初始條件：表S已存在 操作結(jié)果：表中記錄按學(xué)號從小到大排序 Query_S_name(Student S) 初始條件：表S已存在 操作結(jié)果：根據(jù)所輸入的學(xué)生姓名顯示出該學(xué)生的信息 Query_S_number(Student S) 初始條件：表S已存在 操作結(jié)果：根據(jù)所輸入的學(xué)號顯示出該學(xué)生的信息 Query_D_number(Student S) 初始條件：表S已存在 操作結(jié)果：根據(jù)所輸入的寢室號顯示出該寢室的學(xué)生的信息 Save(Student S) 初始條件：表S已存在 操作結(jié)果：將表中數(shù)據(jù)保存的文件中去 Load(Student S) 初始條件：表S已存在 操作結(jié)果：將文件中數(shù)據(jù)加載到程序中 Judge_Save(int i,Student S) 初始條件：表S已存在 操作結(jié)果：表中數(shù)據(jù)改變后沒有及時(shí)保存在退出程序時(shí)提醒用戶是否保存} ADT Student：（1）．主函數(shù)main()。對功能8（按照學(xué)號從小到大的排序）和功能9（顯示所有學(xué)生信息）的測試：先選擇功能8，然后選擇功能9，觀察顯示出來的記錄是否按照學(xué)號從小到大排序。 選擇功能11（加載記錄）：根據(jù)程序的判斷會(huì)輸出加載記錄成功或者加載記錄失敗。 選擇功能9（顯示所有學(xué)生的信息）：程序會(huì)輸出所有以存學(xué)生的信息。 選擇功能6（以寢室號查詢學(xué)生信息）：根據(jù)程序的判斷，如果查找成功，則會(huì)輸出相應(yīng)的學(xué)生信息，反之，則會(huì)輸出查找失敗。 選擇功能4（以姓名查詢學(xué)生信息）：根據(jù)程序的判斷，如果查找成功，則會(huì)輸出相應(yīng)的學(xué)生信息，反之，則會(huì)輸出查找失敗。 選擇功能2（修改學(xué)生信息）：根據(jù)程序的判斷會(huì)輸出修改成功或者修改失敗。 選擇功能6（以寢室號查詢學(xué)生信息）：輸入寢室號（整數(shù)，范圍在0~32767）。 選擇功能4（以姓名查詢學(xué)生信息）：輸入要查找的學(xué)生的姓名（30個(gè)字符以內(nèi)）。 選擇功能2（修改學(xué)生信息）：按照從先到后的順序輸入要修改的學(xué)生姓名（30個(gè)字符以內(nèi)），修改后學(xué)生的姓名（30個(gè)字符以內(nèi)），修改后學(xué)生的學(xué)號（15個(gè)字符以內(nèi)），修改后學(xué)生的宿舍號（整數(shù)，范圍在0~32767）。排序可以分別以學(xué)號和寢室號為關(guān)鍵字進(jìn)行從小到大的排序。一、需求分析該程序是由C語言編寫的一個(gè)宿舍管理查詢軟件，其主要功能是實(shí)現(xiàn)對學(xué)生信息的增加、刪除、修改、查詢、排序、存儲(chǔ)、加載。其中查詢可以分別以姓名、學(xué)號、寢室號為關(guān)鍵字查詢學(xué)生信息。①輸入的形式：根據(jù)用戶所選擇的功能，然后再依據(jù)程序相應(yīng)的提示進(jìn)行輸入： 選擇功能1（添加學(xué)生信息）：按照從先到后的順序輸入學(xué)生姓名（30個(gè)字符以內(nèi)），學(xué)生學(xué)號（15個(gè)字符以內(nèi)），宿舍號碼（整數(shù)，范圍在0~32767）。 選擇功能3（刪除學(xué)生信息）：輸入要?jiǎng)h除的學(xué)生姓名（30個(gè)字符以內(nèi)）。 選擇功能5（以學(xué)號查詢學(xué)生信息）：輸入要查找的學(xué)生的學(xué)號（15個(gè)字符以內(nèi)）。 ②輸出的形式：根據(jù)用戶所選擇的功能不同，會(huì)有不同的輸出： 選擇功能1（添加學(xué)生信息）：根據(jù)程序的判斷會(huì)輸出添加成功或者添加失敗。 選擇功能3（刪除學(xué)生信息）：根據(jù)程序的判斷會(huì)輸出刪除成功或者刪除失敗。 選擇功能5（以學(xué)號查詢學(xué)生信息）：根據(jù)程序的判斷，如果查找成功，則會(huì)輸出相應(yīng)的學(xué)生信息，反之，則會(huì)輸出查找失敗。 選擇功能7，8（以寢室號和學(xué)號為關(guān)鍵字進(jìn)行從小到大的排序）：程序會(huì)輸出排序成功。 選擇功能10（保存操作）：根據(jù)程序的判斷會(huì)輸出保存成功或者保存失敗。 ③測試數(shù)據(jù)： 對功能1（添加學(xué)生信息）的測試：向程序中添加三條記錄按照先后順序分別輸入：學(xué)生姓名：張三，學(xué)生學(xué)號：20070001，宿舍號：502 學(xué)生姓名：李四，學(xué)生學(xué)號：20070003，宿舍號：502 學(xué)生姓名：王五，學(xué)生學(xué)號：20070002，宿舍號：503對功能2（修改學(xué)生信息）的測試：修改學(xué)生王五的信息按照先后順序分別輸入：學(xué)生姓名：王五，學(xué)生姓名：王五，學(xué)生學(xué)號：20070005，宿舍號：501對功能3（刪除學(xué)生信息）的測試：刪除學(xué)生李四的信息輸入：學(xué)生姓名：李四對功能4（以姓名查詢學(xué)生信息）的測試：查詢學(xué)生王五的信息輸入：學(xué)生姓名：王五對功能5（以學(xué)號查詢學(xué)生信息）的測試：查詢學(xué)號為20070001的信息輸入：學(xué)生學(xué)號：20070001對功能6（以寢室號查詢學(xué)生信息）的測試：查詢寢室號為501的信息輸入：寢室號：501對功能7（按照寢室號從小到大的排序）和功能9（顯示所有學(xué)生信息）的測試：先選擇功能7，然后選擇功能9，觀察顯示出來的記錄是否按照寢室