TRƯỜNG ĐẠI HỌC KHOA HỌC

KHOA CÔNG NGHỆ THÔNG TIN

SỐ PHÁCH : ………………

HỒ SƠ KIỂM THỬ MODULE CHỨC NĂNG XÓA

THÔNG TIN SÁCH CỦA PHẦN MỀM QUẢN LÝ
THƯ VIỆN TỈNH THỪA THIÊN HUẾ

KIỂM ĐỊNH PHẦN MỀM – TIN4183.004

GIẢNG VIÊN HƯỚNG DẪN: LÊ VĂN TƯỜNG LÂN

HUẾ, THÁNG 12 NĂM 2021

 TRƯỜNG ĐẠI HỌC KHOA HỌC

KHOA CÔNG NGHỆ THÔNG TIN

SỐ PHÁCH : ………………

HỒ SƠ KIỂM THỬ MODULE CHỨC NĂNG XÓA

THÔNG TIN SÁCH CỦA PHẦN MỀM QUẢN LÝ
THƯ VIỆN TỈNH THỪA THIÊN HUẾ

KIỂM ĐỊNH PHẦN MỀM – TIN4183.004

Giảng viên hướng dẫn : Lê Văn Tường

Lân Sinh viên thực hiện : Lê Đức Doãn

Chính Mã sinh viên :18T1021021

HUẾ, THÁNG 12 NĂM 2021

 LỜI NÓI ĐẦU

Ngày nay, CNTT đã và đang đóng vai trò quan trọng trong đời sống kinh tế, xã hội của
nhiều quốc gia trên thế giới, là một phần không thể thiếu trong xã hội năng động, ngày
càng hiện đại hoá. Vì vậy, việc tin học hoá vào một số lĩnh vực là hoàn toàn có thể và
phù hợp với xu hướng hiện nay. Xuất phát từ nhu cầu thực tế đó, trong công việc mua
và bán sách, việc quản lý sách nhập và bán là một việc không thể thiếu. Nhằm thay thế
một số công việc mà trước đó phải thao tác bằng tay trên giấy tờ đạt hiệu quả không
cao, mất nhiều thời gian.
Để hoàn thành tốt đề tài này em xin cảm ơn tới thầy Lê Văn Tường Lân đã tận tình
giúp đỡ, hướng dẫn em trong suốt quá trình thực hiện đề tài. Do trong khuôn khổ thời
gian ngắn, trình độ chuyên môn, kinh nghiệm và kiến thức của bản thân còn hạn chế,
nên em rất mong được sự góp ý của thầy . Và năng lực còn có hạn chế nên không thể
tránh khỏi những sai sót trong khi thực hiện đề tài nghiên cứu của mình. Để tối ưu thời
gian thì em chỉ tập trung vào chức năng xóa thông tin sách chứ không đi sâu vào phần
mềm quản lý thư viện tỉnh Thừa Thiên Huế .
Xin chân thành cảm ơn!
Link :
https://docs.google.com/document/d/11PPbhbgChAwVn8hIBfCS28ZtSydg36wi/
edit

1. Tài liệu phác thảo dự án

1.1. Yêu cầu.

- Đáp ứng đầy đủ yêu cầu khách hàng và người sử dụng hệ thống.
- Phần mềm giúp quản lý mua bán sách tiết kiệm thời gian và dễ sử dụng.

o Admin bao gồm các chức năng:

 Quản lý sách và thông tin sách

 Quản lý hóa đơn

 Quản lý user

 Quản lý thống kê

o Nhân viên bao gồm chức năng:

 Lập hóa đơn sách

 Thanh toán

1.2. Mô tả và xác định các ràng buộc các chức năng.

1.2.1. Quản lý sách và thông tin sách.

o Được lưu trữ trong một cơ sở dữ liệu của nhà sách.

o Admin thêm và cập nhật lại thông tin sách: Mã sách, tên sách,
tác giả, thể loại, nhà xuất bản, số lượng và giá.
o Sách sẽ được xếp trên từng kệ sách phân loại theo thể loại.

o Admin có thể sắp xếp và quản lý thông tin sách theo loại
sách dễ dàng.
 o Ràng buộc:

 Tên sách, tác giả, nhà xuất bản gồm các kí tự thuộc UTF-8.

 Giá sách phải lớn hơn 0.

 Mã sách là mã định danh duy nhất cho một tên sách và

luôn tăng lên một đơn vị khi thêm mới một sách.
 Thông tin sách không được trùng nhau ( tên sách, tác
giả, thể loại, nhà xuất bản, đơn giá)

1.2.2. Quản lý hóa đơn

o Admin có thể xóa thông tin hóa đơn và tra cứu thông tin hóa đơn.

o Ràng buộc:

 Sau khi xóa thông tin hóa đơn thì cơ sở dữ liệu của
nhà sách sẽ tự động cập nhật.

 Tự động tra cứu theo dữ liệu Admin nhập vào để có

thể tối ưu thời gian tra cứu

 Sau khi xóa thông tin sẽ tạm lưu giữ thông tin ở lịch
sử xóa.

1.2.3. Quản lý user

o Admin là người có quyền cao nhất trong hệ thống.

o Admin có thể thêm mới, chỉnh sửa và xóa thông tin user.

o Mỗi user được phân quyền mặc định là nhân viên trong hệ thống

o Ràng buộc:

 Mã user là mã định danh duy nhất cho một user và

luôn tự động tăng một khi thêm mới.

 Các ký tự của nhân viên, địa chỉ phải thuộc bảng mã UTF-8
 Password phải có ký tự chữ và ký tự số.(Có thể sử dụng ký
tự viết hoa).
1.2.4. Quản lý thống kê

o Admin có thể thống kê lại doanh thu bán sách, số lượng user sử
dụng hệ thống và số lượng sách trong kho.
o Ràng buộc:

 Sau khi thanh toán cho khách hàng thì số sách trong kho
sẽ tự động cập nhật lại.
 Thông tin hóa đơn đã bán ra bị xóa thì doanh thu sẽ cập
nhật về 0 hoặc không có.

1.2.5. Quản lý bán hàng

o Nhân viên chọn thông tin sách có trong hệ thống rồi thêm
vào hóa đơn.
o Khách hàng cần thanh toán thì nhân viên chọn thanh toán và in
ra hóa đơn.
o Ràng buộc:

 Thông tin sách phải có trong hệ thống.

 Số lượng sách mua phải nhỏ hơn số lượng sách có

trong hệ thống.
 Tiền hóa đơn được tính theo công thức:

Tổng = Tổng + ( Số lượng * Đơn giá từng sách )

 Tiền hóa đơn sau khi được giảm giá thì được tính theo
công thức:
Tổng = Tổng – ( Tổng * Giảm giá ) / 100 (với đơn vị là

%)

 Trước khi in hóa đơn thì nhân viên phải nhập tên khách
hàng.
  Chọn thông tin sách sau đó nhập số lượng sách cần
mua rồi thêm vào hóa đơn.
 Khi in hóa đơn thì hệ thống sẽ lấy ngày hiện tại làm ngày
mua của khách hàng.
 Thông tin hóa đơn được cập nhật vào cơ sở dữ liệu
của nhà sách.

1.3. Mô hình hóa yêu cầu

1.3.1. Biểu đồ UseCase

Sơ đồ UseCase tổng quát

Sơ đồ UseCase chức năng quản lý sách
 1.3.2. Đặc tả chức năng thêm thông tin sách

UseCase Name Quản lý sách

Description Admin có thể thêm mới, chỉnh sửa, xóa thông tin sách.

Actor(s) Admin

Priority Must have

Trigger Admin muốn xóa một cuốn sách

1. Admin phải đăng nhập thành công vào hệ thống.

Pre-Condition(s) 2. Admin nhấn vào mục quản lý sách.
3. Admin chọn vào nút xóa sách.

Admin xóa sách thành công và hệ thống tự động cập nhật

Post-Condition(s)
dữ liệu từ cơ sở dữ liệu.
 1. Admin chọn thông tin loại sách.

2. Admin nhập mã sách hoặc từ khóa tên sách để tra

cứu.
3. Admin chọn sách.
Basic Flow
4. Sau khi tìm kiếm sách cần xóa thì admin nhấn vào
nút xóa.
5. Hệ thống sẽ thông báo xóa sách thành công.
4a. Admin nhấn nút xóa khi chưa chọn đối tượng cần xóa.
Hệ thống sẽ thông báo admin chọn đối tượng để xóa.

UseCase tiếp tục lặp lại từ bước 1.

4b. Admin nhập dữ liệu để tra cứu nhưng không có trong cơ

sở dữ liệu.
Alternative Flow
Hệ thống sẽ thông báo không có sách cần tìm.

UseCase tiếp tục lặp lại từ bước 1.

4c. Admin nhập dữ liệu tra cứu không đúng định dạng.
Hệ thống sẽ thông báo là thông tin sách không đúng định
dạng.

UseCase tiếp tục lặp lại từ bước 1.

Exception Flow

Business Rules

Non-Functional
Requirement
1.3.3 Biểu đồ hoạt động

Sơ đồ hoạt động chức năng xóa thông tin sách

2.Mã nguồn chức năng.
{A}

E1
Q1
E2

Q2

{B}

Bài giải

- Ta có chương trình P và được đánh dấu với các ký hiệu như trên
- Gọi mệnh đề thể hiện tính chất dữ liệu đầu vào là {A} và mệnh đề thể hiện tính
chất dữ liệu ra cần có {B}, ta có:

{A:: n = BillDGV( MaPhieu, MaSach, MaUser, TenSach, SoLuong, DonGia,

ThanhTien, MaGiamGia) }

{B:: n = BillDGV( MaPhieu, MaSach, MaUser, TenSach, SoLuong, DonGia,

ThanhTien, MaGiamGia) , DeleteBook (BillDGV) }

- Dự trù {C} là bất biến của đoạn trình Q1 trong điều kiện i <
BillDGV.Rows.Count
- Cần có {A} if ( BillDGV.Rows.Count == 0 ) {A} thì chứng minh:
o {A, BillDGV.Rows.Count == 0} MessageBox.Show (“Vui lòng thêm
thông tin vào danh sách hóa đơn” ) {A}
o {A, BillDGV.Rows.Count != 0}
- Trong điều kiện {A, BillDGV.Rows.Count !=0 } thì ta còn chứng minh:
o {A, BillDGV.Rows.Count != 0 && BBQuantityTB.ReadOnly == false}
 MessageBox.Show(“Vui lòng chọn thông tin sách tại hóa đơn cần xóa”} {A}

o Ta tiếp tục chứng minh:

{A, BillDGV.Rows.Count != 0 && BBQuantityTB.ReadOnly == true}

n = 0, rowIndex = BillDGV.CurrentCell.RowIndex,
BillDGV.Row.RemoveAt(rowIndex) {C}
- Để chứng minh {C} là bất biến của đoạn trình Q1 ta cần có
- {C, E1} BillDGV.Rows[i].Cells[0].Value = n {C}
o Theo tính chất phép gán ta có:

{C1} ≡ {C, BillDGV.Rows[i].Cells[0].Value = n}

o Do đó {C} là bất biến của Q1. Kết thúc Q1, ta có mệnh đề

{C, !E1}
- Ta có {C, !E1}
- Dự trù {D} là bất biến của đoạn trình Q2 trong điều kiện E2.
- Cần có {C, !E1} =>L {D}
- Để chứng minh {D} là bất biến của đoạn trình Q2 ta cần có

{D, E2} BillDGV.Rows[i].Cells[0].Value = n + 1; n++; {D}

o Theo tính chất phép gán ta có:

{D1} ≡ {D, BillDGV.Rows[i].Cells[0].Value = n + 1}

o Ta dễ dàng có {D, E2} n++ {D1}
o Vậy {D} là bất biến ở Q2.
o Nên kết thúc ở mệnh đề Q2 ta có mệnh đề {D, !E2}
- Dễ dàng ta có {D, !E2} =>L {B}
- Vậy {A} P {B} , hay đoạn trình trên là đúng

3.Kết luận:

Thực hiện theo yêu cầu về chức năng xóa thông tin sách và kiểm thử module dựa trên
kiến thức mà em đã học được từ thầy Lân

4.Tài liệu tham khảo :

[1] Kiểm định phần mềm nhóm lớp 2. Phần mềm quản lý nhà sách Phú Xuân:
https://docs.google.com/document/d/11PPbhbgChAwVn8hIBfCS28ZtSydg36wi/
edit
 TRƯỜNG ĐẠI HỌC KHOA HỌC CỘNG HÒA XÃ HỘI CHỦ NGHĨA VIỆT NAM

KHOA CÔNG NGHỆ THÔNG TIN Độc lập – Tự do – Hạnh phúc

PHIẾU ĐÁNH GIÁ TIỂU LUẬN

Học kỳ I Năm học 2021-2022

Cán bộ chấm thi 1 Cán bộ chấm thi 2

Nhận xét: ............................................... Nhận xét: ............................................

................................................................. ............................................................
.................................................................. .............................................................
.................................................................. .............................................................
.................................................................. .............................................................
.................................................................. .............................................................
.................................................................. .............................................................
.................................................................. .............................................................
.................................................................. .............................................................
Điểm đánh giá của CBChT1: Điểm đánh giá của CBChT2:
Bằng số: ....................................................... Bằng số: ..................................................
Bằng chữ: ..................................................... Bằng chữ: ...............................................

Điểm kết luận: Bằng số................................ Bằng chữ:..............................................

Thừa Thiên Huế, ngày 22 tháng 05 năm 2021

CBChT1 CBChT2
(Ký và ghi rõ họ tên) (Ký và ghi rõ họ tên)