软件工程概论实验报告-图书馆自动循环系统概要设计及详细设计

结构化设计

采用事务分析的技术，从借书者和图书管理员的角度来进行设计。设计图书馆自动循环系统时，将其分成两个部分：分析器和分配器。

Borrower_number Check_borrborrow Book_identification Book_identification Check_returreturn Book_identification n_book_info Borrower_number Complete_borrow_order Audit_information Order_book_identification Input Operation_analysis “H” Apply_the_book Check_order_book_info Audit_infoRecord_apply_order Audit_infoAuthorA= T= _search Temp_table Temp_table search title_search S= subject_search Audit_info“+add rmation Print_result_table Temp_table rmation rmation Print_message_on_screen ow_book_info Borrower_name Record_borrow_order Audit_information order “-” delete Audit_information

图1-1 图书馆自动循环系统的事物处理分析图

2

详细设计

详细设计也称过程设计，是程序设计的蓝图。该设计是在数据设计、体系结构设计和接口设计完成之后进行的。过程设计的目标不仅仅是逻辑上正确地实现每个模块的功能，更重要的是设计出的处理过程尽可能的简明易懂。结构化程序设计是实现上述目标的关键技术，因此是过程设计的逻辑基础。过程设计的结果基本上决定了最终程序设计的质量。

将程序体系结构元素变换为对软件构件的过程描述。该实验主要是利用过程设计工具进行程序设计。

由于时间限制，要求由一个小组而不是由单个程序员负责编写所有模块的代码。由于这个原因，必须给出每个模块的详细设计，使得不用参考其他模块就可以理解每个模块。

表2-1 borrow模块的详细设计 模块名称 模块类型 返回类型 输入参数 输出参数 错误消息 文件存取 文件修改 模块调用 描述 Borrow 函数 Boolean Book_identification 无 无 LIBRARY_BOOK_DATA 无 无 通过管理员扫描条形码获得的book_identification，然后在数据库LIBRARY_BOOK_DATA表中查找相应的book_identification，找到后，读取其book_status一项，如果为2，表示书在库中，返回true；如果为1或0，表示已下架或已借出，返回false。 3

表2-2 check_borrow_book_info模块的详细设计

模块名称 模块类型 返回类型 输入参数 输出参数 错误消息 文件存取 文件修改 模块调用 描述 check_borrow_book_info 函数 Boolean Borrower_number book_identification 无 “该书已被预定，不能借阅” BOOKED_ORDER_DATA 可能做删除操作 无 管理员请借书者刷借书卡，以获得borrower_number。根据当前的book_identification值，在数据库的BOOKED_ORDER_DATA中查找ordered_book_identification值是否有与之相同的，如果没有，则结束过程，返回true。如果有相同项，则继续查看相同项中的booker_number值，与当前borrower_number值是否相同，如果相同，则表示订阅者与借阅者是同一人，则将BOOKED_ORDER_DATA中这一项删除，然后结束过程，返回true。如果预订者与借阅者不同，则结束过程，弹出错误消息，返回false。 表2-3 record_borrow_order模块的详细设计

模块名称 模块类型 返回类型 输入参数 record_borrow_order 函数 Boolean Book_identification Borrower_number Borrower_name Borrow_date Borrow_order 无 BORROWED_ORDER_DATA 添加项 Generate_identification 将输入的book_identification, borrower_number, borrower_name, borrow_date整合成borrow_order添加到BORROWED_ORDER_DATA表中，由过程generate_identification生成一个借阅编码，也添加到这一项中，操作完成后，返回true，否则返回false。 输出参数 错误消息 文件存取 文件修改 模块调用 描述 4

表2-4 generate _identification模块的详细设计

模块名称 模块类型 返回类型 输入参数 输出参数 错误消息 文件存取 文件修改 模块调用 描述 generate _identification 函数 long 无 Borrow_identification 无 无 无 无 按照一定顺序生成一个无重复的12位整数，后两位为校验码，作为借阅编码，生成完毕后，将所生成的borrow_identification值返回。 表2-5 return模块的详细设计 模块名称 模块类型 返回类型 输入参数 输出参数 错误消息 文件存取 文件修改 模块调用 描述 Return 函数 Boolean Book_identification 无 无 LIBRARY_BOOK_DATA 无 无 通过管理员扫描条形码获得的book_identification，然后在数据库LIBRARY_BOOK_DATA表中查找相应的book_identification，找到后，读取其book_status一项，如果为1，表示已借出，返回true；如果为2或0，表示已下架或在库中，返回false。 表2-6 check_return_book_info模块的详细设计 模块名称 模块类型 返回类型 输入参数 输出参数 错误消息 文件存取 文件修改 模块调用 描述 check_return_book_info 函数 Boolean Book_identification 无 无 ORDERED_BOOK_DATA 修改book_status项 无 在ORDERED_BOOK_DATA表中寻找是否有ordered_book_identification项与当前book_identification相同的，如果没有，过程结束，返回true。如果有，将表中这一项中的book_status值修改为2，表示归还到库中，过程结束，返回true，否则返回false。

5