Bài Tập Lớn Công Nghệ Phần Mềm Đề Tài Phát Triển Ứng Dụng Quản Lý Bãi Gửi Xe.pdf

BỘ GIÁO DỤC VÀ ĐÀO TẠOTRƯỜNG ĐẠI HỌC CÔNG NGHỆ ĐÔNG Á

KHOA: CÔNG NGHỆ THÔNG TIN

BÀI TẬP LỚN

HỌC PHẦN: CÔNG NGHỆ PHẦN MỀMĐỀ SỐ: 10

TÊN ĐỀ TÀI:

Phát triển ứng dụng quản lý bãi gửi xe

Bắc Ninh, năm 2023

BỘ GIÁO DỤC VÀ ĐÀO TẠO

KHOA: CÔNG NGHỆ THÔNG TIN

Phát triển ứng dụng quản lý bãi gửi xe

STTSinh viên thực hiệnMã sinh viênĐiểm bằng số Điểm bằng chữ

MỤC LỤC

DANH MỤC VIẾT TẮT 4

DANH MỤC SƠ ĐỒ 5

Chương 1 Tổng quan về ngành công nghệ thông tin 7

1.1 Lựa chọn bài toán 7

1.2 Mô tả bài toán 7

1.3 Mục tiêu 8

1.4 Các yêu cầu của ứng dụng 9

1.5 Yêu cầu đối với người sử dụng hệ thống 9

1.3 Đề xuất mô hình phát triển ứng dụng 10

Chương 2 Phân tích hệ thống 12

2.1 Các yêu cầu chức năng 12

2.2 Các yêu cầu phi chức năng 15

2.3 Yêu cầu miền ứng dụng 15

Chương 3 Đặc tả yêu cầu 16

3.1 Đặc tả Z 16

3.2 Đặc tả yêu cầu trước sau 25

Chương 4: Phân tích thiết kế 34

DANH MỤC SƠ ĐỒ

2 Usecase đăng ký, đăng nhập, phân quyền 35

4 Usecase thống kê số lượng khách ra vào theo tháng 37

7 Usecase quản lý thông tin khách gửi xe 40

9 Usecase tìm kiếm thông tin khách bằng thẻ 42 10 Usecase chức năng tự động quét, đưa vé cho khách ra vào bãi 43 11 Usecase chức năng trích xuất video từ camera 44 12 Biểu đồ tuần tự chức năng đồng bộ 45 13 Biểu đồ tuần tự chức năng đăng ký, đăng nhập và phân quyền 46 14 Biểu đồ tuần tự chức năng quản lý người dùng 47 15 Biểu đồ tuần tự chức năng thống kê số lượng khách ra vào theo tháng 47 16 Biểu đồ tuần tự chức năng quản lý xe ra vào 48 17 Biểu đồ tuần tự chức năng quản lý vị trí của bãi 48 18 Biểu đồ tuần tự chức năng quản lý thông tin của khách gửi xe 49 19 Biểu đồ tuần tự chức năng quản lý vé tháng 49 20 Biểu đồ tuần tự chức năng tìm kiếm thông tin khách bằng thẻ 50 21 Biểu đồ tuần tự chức năng tự động quét, đưa vé cho khách 50 22 Biểu đồ tuần tự chức năng trích xuất video từ camera 51

5

Chương 1 Tổng quan về ngành công nghệ thông tin 1.1 Lựa chọn bài toán.

Xe cộ là một trong những phương tiện thiết yếu để phục vụ cho việc đi làm, đi chơi hay kinh doanh… Nhu cầu sử dụng xe càng nhiều thì số lượng xe cộ càng lớn Với thực trạng đang diễn ra hiện nay, tại các thành phố, khu đô thị lớn không ít các bãi đỗ xe tự động được triển khai xây dựng Tuy nhiên để có thể kiểm soát được hoạt động của loại hình bãi đỗ xe này cần có một phần mềm quản lý trông giữ xe thông minh Đây được xem là giải pháp hữu hiệu, mang lại hiệu quả cao nhất.

Bãi giữ xe thông minh: Là một thành quả của việc áp dụng công nghệ thông tin, tự động hóa và viễn thông vào cuộc sống Giải pháp giúp quản lý thông tin xe vào ra tại các bãi giữ xe trong siêu thị, bệnh viện, chung cư, bằng máy móc, thiết bị công nghệ hiện đại Sự liên kết giữa các thiết bị giúp quản lý chính xác được xe ra - vào tới từng thời điểm, từng biển số xe và hình ảnh lái xe thông qua camera nhận dạng biển số và ID cấp cho từng thẻ.Việc soát vé tại cổng ra / vào sẽ trở lên dễ dàng, hiệu quả, tiết kiệm thời gian, tránh ùn tắc xe và tạo nét văn minh, hiện đại cho các khu trung tâm Đây là giải pháp nhằm quản lý khoa học, chính xác và an toàn cho các bãi giữ xe với quy mô từ nhỏ đến lớn Ngoài ra, giải pháp bãi đỗ xe thông minh còn đảm bảo việc chống mất cắp xe, quản lý thu phí chính xác, chống thất thoát, giảm nhân viên kiểm soát Giải pháp được đánh giá là giải pháp thân thiện với môi trường, không có rác thải từ vé giấy và đặc biệt tất cả các thiêt bị sử dụng đều đạt chuẩn công nghiệp, hoạt động liên tục, bền bỉ trong môi trường khắc nghiệt như tại Việt Nam.

1.2 Mô tả bài toán.

Một bãi đỗ xe thông minh thì cần phải có một hệ thống quản lý bãi giữ xe thông minh tức là phải kết hợp được các thiết bị hiện đại công nghệ mới như: hệ thống camera giám sát bãi xe, hệ thống barrier quản lý bãi xe, kiểm soát xe ra vào bằng thẻ từ, nhận diện biển số xe.

Đây là một giải pháp hiệu quả nhất vừa giúp đảm bảo an ninh, vừa mang lợi ích về mặt kinh tế tránh tối thiểu sự rủi ro thất thoát tài chính như các vụ mất cắp xe rất tinh vi đã diễn ra rất nhiều trước đây Giải pháp này chính là chìa khóa gỡ bỏ tất cả những vấn

7

đề khúc mắc trong việc quản lý bãi xe đem lại hiệu quả quản lý cao nhất, số lượng người quản lý giảm và chính xác cực cao; đáp ứng được các nhu cầu quản lý cho tới các loại hình bãi xe, các địa hình khác nhau từ quy mô nhỏ cho tới quy mô lớn, không giới hạn diện tích Tất cả những thông tin hệ thống cần thiết sẽ luôn luôn được cập nhật ngay lập tức liên tục không bị ảnh hưởng từ tác động bên ngoài, tác động của từ trường, giúp giảm thời gian, nhanh chóng điều hướng xe và việc quản lý của người quản lý sẽ luôn ở thế chủ động để điều hành xe, người chủ xe , năng suất hiệu quả cao nhất.

Hệ thống kết hợp giữa hệ thống camera chụp biển số xe và phần mềm nhận dạng biển số, sự kết hợp này giúp lưu trữ hình ảnh thời điểm các phương tiện vào bãi xe, ra bãi xe qua hệ thống đầu đọc tầm xa, để từ đó có tư liệu sử dụng kiểm soát.

Hệ thống quản lý bãi giữ xe thông minh dùng thẻ từ xa là giải pháp toàn diện và khép kín, đảm bảo đáp ứng đầy đủ nhu cầu quản lý cho các loại hình bãi xe quy mô từ nhỏ đến lớn.

Thông tin hệ thống được hiển thị và cập nhật tức thì, liên tục không gián đoạn giúp người quản lý luôn chủ động trong việc điều hành và quản lý bãi xe.

Quy trình vận hành hệ thống đơn giản, quy trình dễ thực hiện, linh hoạt nhưng chặt chẽ mang lại sự tiện lợi và an tâm cho người sử dụng cũng như khách hàng.

Hệ thống là sự kết hợp hoàn hảo giữa các thiết bị chỉ dẫn, kiểm soát và tính phí cho các phương tiện.

1.3 Mục tiêu.

Mục tiêu là mang đến cho khách hàng giải pháp phù hợp nhất, tiện lợi nhất, tiết kiệm không gian và giảm thiểu chi phí với cách quản lý của các bãi xe tại Việt Nam, nhằm nâng cao hiệu quả và mức độ tin cậy của các bãi đỗ xe hiện nay Và để tránh lãng phí thời gian chờ đợi của khách hàng nên ưu tiên phát triển phần mềm quản lý và ngày càng tối ưu trong việc lựa chọn và lắp đặt các thiết bị công nghệ Quản lý hệ thống bãi giữ xe thông minh nhằm tự động hóa việc quản lý gửi và lấy xe, tạo thuận lợi cho người gửi xe cũng như người giữ xe.

8

1.4 Các yêu cầu của ứng dụng.

Khách có những yêu cầu sau:

Biết còn bao nhiêu vị trí còn trống trong bãi Biết vị trí còn trống trong bãi.

Quẹt, lấy thẻ tự động khi ra vào Nhân viên có những yêu cầu sau:

Cần biết rõ thông tin của những người ra vào dựa vào thẻ của khách Cần biết rõ thông tin nhân viên này làm trong ca nào.

Báo cáo số lượng khách ra vào theo tháng Quản lý có những yêu cầu sau:

Có toàn bộ tính năng giống như nhân viên.

Có quyền trích xuất camera nếu xảy ra biến cố trong bãi.

1.5 Yêu cầu đối với người sử dụng hệ thống.

Các chức năng của phần mềm: phải tuân theo quy định của bãi trong việc phân

Phần mềm phải có giao diện thân thiện: để mọi người đều có thể sử dụng được,

không nhất thiết phải là người trong ngành công nghệ thông tin.

Hệ thống phải dễ sử dụng, quản lý: đảm bảo tốt cho việc sử dụng phần mềm đề

quản lý cũng như tra cứu cùng thời điểm với số lượng lớn người sử dụng.

Hệ thông phải có khả năng báo mật tốt: tất cả mọi thông tin cá nhân chỉ có

người được phân quyền mới được phép xem và chỉnh sửa.

Hệ thống phải có chức năng phục hồi, sao lưu dữ liệu thường xuyên: tránh

tình trạng mất, hỏng, sai lệch dữ liệu.

Hệ thống cần có khả năng mở rộng, nâng cấp trong tương lai: đề có thể thay

đổi cho phù hợp với yêu cầu công tác quản lý.

Chỉ phí cho hệ thống (phần mềm, phân cứng, nhân sự vận hành) phải hợp lý:

không vượt quá ngân sách nhưng vẫn đáp ứng được yêu cầu công việc.

Phần mềm phải có hướng dẫn sử dụng (video, hình ảnh, ): hướng dẫn chỉ tiết

từng chức năng để người mới sử dụng có thể làm việc tốt với phần mềm.

9

1.3 Đề xuất mô hình phát triển ứng dụng.

Vì dự án phần mềm khá nhỏ, ít sự thay đổi về yêu cầu và không có những yêu cầu không rõ ràng Áp dụng mô hình thác nước (Waterfall).

Lý do dùng mô hình thác nước:

Mô hình thác nước là một mô hình phát triển phần mềm tuần tự, trong đó các giai đoạn phát triển (như thu thập yêu cầu, thiết kế, lập trình, kiểm thử và triển khai) được thực hiện theo trình tự tuyến tính, mỗi giai đoạn chỉ bắt đầu sau khi giai đoạn trước đã hoàn thành Mô hình này phù hợp khi yêu cầu đã được xác định rõ ràng từ đầu và không có sự thay đổi đáng kể trong quá trình phát triển.

Trong trường hợp phần mềm quản lý bãi gửi xe đã có yêu cầu đầy đủ và chính xác, mô hình thác nước có thể được áp dụng Quá trình phát triển sẽ diễn ra theo các giai đoạn như thu thập yêu cầu, thiết kế hệ thống, lập trình, kiểm thử và triển khai Mỗi giai đoạn sẽ được hoàn thành trước khi chuyển sang giai đoạn tiếp theo Mô hình này giúp tạo ra sự chắc chắn và kiểm soát trong quá trình phát triển, đồng thời giúp đảm bảo rằng phần mềm được xây dựng theo yêu cầu ban đầu.

Đơn giản và dễ hiểu: Mô hình thác nước có cấu trúc tuyến tính, dễ dàng hiểu và triển khai Điều này phù hợp cho dự án quản lý bãi gửi xe, nơi yêu cầu rõ ràng về các chức năng và quy trình quản lý trong việc giám sát việc ra vào của khách đến bãi.

Yêu cầu ổn định: Trong việc quản lý bãi gửi xe, yêu cầu hầu hết đã được xác định trước và ít thay đổi Mô hình thác nước phù hợp cho các dự án có yêu cầu ổn định, không thay đổi quá nhiều trong quá trình phát triển Phương pháp tuần tự: Mô hình thác nước sử dụng phương pháp phát triển tuần tự, trong đó các giai đoạn như yêu cầu, thiết kế, triển khai và kiểm thử được thực hiện theo thứ tự Điều này phù hợp với quá trình xây dựng phần mềm quản lý bãi gửi xe, vì việc quản lý thông tin bãi gửi xe đòi hỏi một quy trình rõ ràng trong việc lưu trữ thông tin khách ra vào bãi.

10

Tính dễ dàng quản lý: Mô hình thác nước cung cấp cấu trúc rõ ràng và có thể quản lý dễ dàng Mỗi giai đoạn được hoàn thiện trước khi chuyển sang giai đoạn tiếp theo, giúp đảm bảo chất lượng và tiến độ của dự án.

Độ tin cậy và dễ dàng theo dõi tiến độ: Mô hình thác nước giúp dự án được quản lý một cách cẩn thận và dễ dàng theo dõi tiến độ của từng giai đoạn Việc phân chia rõ ràng giữa các giai đoạn giúp đảm bảo rằng công việc được hoàn thành đúng hạn và đáp ứng yêu cầu đã được đặt ra.

Phân tích mô hình khi áp dụng vào hệ thống:

Requirement gathering: Thu nhập và phân tích các yêu cầu về các chức năng của

bãi gửi xe, từ tính năng kiểm soát ra vào lẫn thống kê.

System Analysis: Phân tích thiết kế hệ thống phần mềm, xác định các kiến trúc hệ thống tổng thể của phần mềm đối với các tác nhân của hệ thống.

Coding: Triển khai phát triển hệ thống chia theo từng unit, tính năng Mỗi unit sẽ được phát triển và kiểm thử.

Testing: Cài đặt và kiểm thử phần mềm các tính năng của hệ thống như việc nhận diện các xe ra vào, vị trí còn trống.

Implementation: Triển khai hệ thống trong môi trường thực tế.

Operations and Maintenance: Bảo trì hệ thống khi có bất kỳ thay đổi nào từ người sử dụng.

11

Chương 2 Phân tích hệ thống 2.1 Các yêu cầu chức năng.

Yêu cầu các chức năng chính của hệ thống:

Chức năng đồng bộ thủ công, tự động:

Kiểm tra quyền Hiển thị nút đồng bộ.

Giao diện sẽ hiển thị nút để cho phép người quản lý đồng bộ dữ liệu hiện tại của hệ thống về backup data.

Nếu hết ngày mà người quản lý không đồng bộ thì tự động đồng bộ Lưu thời gian đồng bộ.

Chức năng đăng ký, đăng nhập tài khoản:

Giao diện hiện thị phần nhập thông tin tài khoản Đăng nhập sẽ được sử dụng đối với tất cả nhân viên Đăng ký thì chỉ có người quản lý mới có sử dụng.

Chức năng quản lý người dùng:

Xem, sửa thông tin của người dùng đăng nhập vào.

Nếu là quản lý thì có thể thêm, sửa, xóa thông tin của các người dùng khác (nhân viên).

Chức năng phân quyền sử dụng:

Khi chạy chương trình cửa sổ đăng nhập sẽ hiển thị Nhập tên người dùng và mật khẩu

Chọn ngôn ngữ làm việc ở đây chúng tôi thiết kế chỉ có 2 ngôn ngữ là Tiếng Việt và Tiếng Anh, hệ thống ngôn ngữ này có thể cập nhập đầy đủ các quốc gia trên thế giới trong tương lai khi chúng tôi xuất khẩu phần mềm này Sau khi đăng nhập, phần mềm quản lý bãi gửi xe vào trang chủ và sẽ phân quyền sử dụng các chức đối với người dùng tùy thuộc vào quyền đã được phân trước đó.

Chức năng thống kê số lượng khách ra vào theo tháng:

Bao gồm menu các chức năng của phần mềm quản lý bãi đỗ xe máy được hiển thị rất dễ quan sát.

12

Các chức năng được phân thành các nhóm và được phân quyền truy cập theo nhóm người dùng.

Các quyền không được truy cập sẽ ẩn đi.

Trang chủ thể hiện các số liệu tổng hợp có thể tùy chỉnh theo tháng, theo ngày, theo quý, giúp người quản lý có cái nhìn tổng quan nhất về độ hiệu quả của bãi trông xe thông minh.

Chức năng quản lý xe ra vào:

Phần mền có thể quản lý 2 làn xe vào, ra cùng lúc rất linh hoạt, có thể đổi chiều làn xe theo ý của người quản lý bãi trông xe thông minh.

Chụp ảnh của chủ xe và biển số xe khi xe vào ra bãi gửi xe máy Tự động nhận diện biển số khi xe vào ra

Đối chiếu thông tin của xe vào khi xe đi ra, nếu không khớp phần mềm sẽ cảnh báo cho người kiểm soát vé biết.

Tính cước gửi xe khi xe đi ra tránh được tình trạng tự ý tăng giá vé tại một số nơi gửi truyền thống Một tính năng rất hay của phần mền quản lý bãi đỗ xe máy

Hiển thị trạng thái kết nối của đầu đọc thẻ, Camera.

Chức năng quản lý vị trí của bãi:

Hiển thị thông tin số vị trí còn trống của bãi.

Thêm, sửa, xóa vị trí thủ công nếu phát sinh lỗi trong hệ thống Cập nhật lại số vị trí trống của bãi khi khách ra vào bãi.

Chức năng quản lý thông tin của khách gửi xe:

Phần mền có thể quản lý 2 làn xe vào, ra cùng lúc rất linh hoạt, có thể đổi chiều làn xe theo ý của người quản lý bãi trông xe thông minh.

Chụp ảnh của chủ xe và biển số xe khi xe vào ra bãi gửi xe máy Tự động nhận diện biển số khi xe vào ra.

Đối chiếu thông tin của xe vào khi xe đi ra, nếu không khớp phần mềm sẽ cảnh báo cho người kiểm soát vé biết.

13

Tính cước gửi xe khi xe đi ra tránh được tình trạng tự ý tăng giá vé tại một số nơi gửi truyền thống Một tính năng rất hay của phần mền quản lý bãi đỗ xe

Phần mềm bãi trông xe giúp tìm kiếm thông tin theo điều kiện có sẵn Thêm, sửa, xóa, in biên lại thu tiền một cách dễ dàng.

Phần mềm gửi xe kết nối với đầu đọc thẻ, quẹt thẻ khi thêm mới

Có thể nhập các thông tin liên quan đến biên lai thu tiền: Số thẻ, loại xe, thời hạn dùng thẻ, biến số, tên chủ thẻ, số tiền…trên phần mềm quản lý bãi đỗ xe

Chức năng tìm kiếm thông tin khách gửi xe:

Nếu khách vào bãi quét biển số xe, kiếm tra khách có sử dụng vé tháng không ? “cho khách vào” : “chụp ảnh chủ xe, biển xe và đưa vé cho khách” Nếu khách ra bãi quét biển số xe, kiểm tra khách có sử dụng vé tháng không ? “tính tiền theo thẻ tháng” : “kiểm tra xem thông tin khách tính tiền theo thẻ thường”.

Tự động quẹt, đưa vé cho khách:

Nếu khách vào bãi quét biển số xe, khách sử dụng vé tháng không đưa vé.

Nếu khách ra bãi quét biển số xe, kiếm tra lại vé khách quẹt tính tiền tương ứng với loại thẻ.

Trích xuất Camera:

Kiểm tra quyền hạn của người dùng.

Nếu là quản lý thì sẽ cho phép trích xuất camera theo thời gian tương ứng muốn tìm kiếm.

14

getTicket: Vé Biển số xe × Khách × Ngày tạo, hết hạn

Mô tả: Lấy ra biển số xe, thông tin khách, ngày vé được tạo và hết hạn.

Điều kiện tiên quyết: Bản ghi phải tồn tại trong danh sách Kết quả: Trả về thông tin vé.

Mô tả: Kiểm tra xem vé có tồn tại trong danh sách bản ghi hay không.

3.2 Đặc tả yêu cầu trước sau.3.2.1 Chức năng đồng bộ

Xác định yêu cầu: Xác định yêu cầu cụ thể cho chức năng đồng bộ dữ liệu bãi gửi xe Ví dụ, ta có thể muốn đồng bộ dữ liệu giữa các điểm truy cập vào bãi gửi xe, như cổng vào và cổng ra, để đảm bảo rằng thông tin về số lượng xe trong bãi gửi xe là chính xác.

Mô tả trước (precondition): Xác định trạng thái ban đầu của hệ thống Trong trường hợp này, trạng thái ban đầu có thể là hai điểm truy cập vào bãi gửi xe (cổng vào và cổng ra) không có dữ liệu hoặc dữ liệu không đồng bộ.

Mô tả hành vi (action): Mô tả các hành động mà hệ thống sẽ thực hiện để đồng bộ dữ liệu Ví dụ, khi một xe vào bãi gửi xe thông qua cổng vào, hệ thống sẽ ghi lại thông tin về thời gian vào và tăng số lượng xe trong bãi gửi xe Tương tự, khi một xe ra khỏi bãi gửi xe thông qua cổng ra, hệ thống sẽ ghi lại thông tin về thời gian ra và giảm số lượng xe trong bãi gửi xe Đồng thời, hệ thống sẽ thực hiện quá trình đồng bộ dữ liệu giữa cổng vào và cổng ra để đảm bảo rằng thông tin về số lượng xe là nhất quán.

25

Mô tả sau (postcondition): Xác định trạng thái mà hệ thống sẽ có sau khi thực hiện các hành vi Trạng thái này bao gồm việc dữ liệu giữa cổng vào và cổng ra được đồng bộ và thông tin về số lượng xe trong bãi gửi xe là chính xác.

Xác định ràng buộc (constraints): Xác định các ràng buộc hoặc giới hạn liên quan đến chức năng đồng bộ dữ liệu Ví dụ, giới hạn thời gian mà một xe có thể ở trong bãi gửi xe trước khi ra, giới hạn số lượng xe tối đa mà bãi gửi xe có thể xử lý, hoặc giới hạn băng thông mạng để đảm bảo quá trình đồng bộ diễn ra nhanh chóng.

3.2.2 Chức năng phân quyền

Xác định yêu cầu: Đầu tiên, xác định yêu cầu cụ thể cho chức năng thống kê số lượng khách ra vào bãi gửi xe Ví dụ, ta muốn biết tổng số lượng khách ra vào hàng ngày, số lượng khách theo từng giờ, hoặc các yêu cầu khác liên quan đến thống kê số lượng khách.

Mô tả trước (precondition): Xác định trạng thái ban đầu của hệ thống Trong trường hợp này, đây có thể là bãi gửi xe trống, không có khách hàng nào trong hệ thống Mô tả hành vi (action): Mô tả các hành động mà hệ thống sẽ thực hiện để thống kê số lượng khách ra vào bãi gửi xe Ví dụ, khi một khách hàng vào bãi gửi xe, hệ thống sẽ ghi lại thông tin về thời gian vào và tăng số lượng khách lên một đơn vị Tương tự, khi một khách hàng ra khỏi bãi gửi xe, hệ thống sẽ ghi lại thông tin về thời gian ra và giảm số lượng khách đi một đơn vị.

Mô tả sau (postcondition): Xác định trạng thái mà hệ thống sẽ có sau khi thực hiện các hành vi Ví dụ, sau khi một số lượng khách hàng đã vào ra bãi gửi xe, hệ thống sẽ cung cấp thông tin về số lượng khách hàng đã vào ra trong một khoảng thời gian cụ thể.

Xác định ràng buộc (constraints): Xác định các ràng buộc hoặc giới hạn liên quan đến chức năng thống kê số lượng khách ra vào bãi gửi xe Ví dụ, giới hạn thời gian mà một khách hàng có thể ở trong bãi gửi xe trước khi bị tính phí hoặc giới hạn tổng số lượng khách hàng mà hệ thống có thể xử lý trong một ngày.

3.2.3 Chức năng quản lý người dùng

26

Xác định yêu cầu: Xác định yêu cầu cụ thể cho chức năng quản lý người dùng Ví dụ, ta có thể muốn có khả năng đăng ký người dùng mới, quản lý thông tin người dùng, cung cấp quyền truy cập, hoặc thực hiện các thao tác khác liên quan đến người dùng trong hệ thống bãi gửi xe.

Mô tả trước (precondition): Xác định trạng thái ban đầu của hệ thống Trạng thái ban đầu có thể là không có người dùng nào trong hệ thống hoặc chỉ có một số người dùng được tạo trước đó.

Mô tả hành vi (action): Mô tả các hành động mà hệ thống sẽ thực hiện để quản lý người dùng Ví dụ, hệ thống có thể cung cấp các chức năng như đăng ký người dùng mới, xác thực thông tin người dùng, tạo tài khoản người dùng, cung cấp quyền truy cập, cho phép người dùng thay đổi thông tin cá nhân, v.v.

Mô tả sau (postcondition): Xác định trạng thái mà hệ thống sẽ có sau khi thực hiện các hành vi Trạng thái này bao gồm thông tin đầy đủ và chính xác về người dùng trong hệ thống, bao gồm cả tài khoản và quyền truy cập tương ứng.

Xác định ràng buộc (constraints): Xác định các ràng buộc hoặc giới hạn liên quan đến chức năng quản lý người dùng Ví dụ, có thể có giới hạn về số lượng người dùng tối đa trong hệ thống, yêu cầu xác thực thông tin người dùng trước khi tạo tài khoản, hay quyền truy cập được xác định dựa trên vai trò của người dùng.

3.2.4 Chức năng thống kê số lượng khách ra vào bãi gửi xe theo tháng

Xác định yêu cầu: Xác định yêu cầu cụ thể cho chức năng thống kê số lượng khách ra vào bãi gửi xe theo tháng Ví dụ, ta có thể muốn biết tổng số lượng khách hàng ra vào bãi gửi xe trong mỗi tháng, số lượng khách hàng ra vào theo từng ngày trong tháng, hoặc các yêu cầu khác liên quan đến thống kê số lượng khách ra vào theo tháng.

Mô tả trước (precondition): Xác định trạng thái ban đầu của hệ thống Trong trường hợp này, đây có thể là bãi gửi xe trống, không có khách hàng nào trong hệ thống Mô tả hành vi (action): Mô tả các hành động mà hệ thống sẽ thực hiện để thống kê số lượng khách ra vào bãi gửi xe theo tháng Ví dụ, khi một khách hàng vào bãi gửi xe, hệ thống sẽ ghi lại thông tin về thời gian vào và tăng số lượng khách lên một đơn

27

vị Tương tự, khi một khách hàng ra khỏi bãi gửi xe, hệ thống sẽ ghi lại thông tin về thời gian ra và giảm số lượng khách đi một đơn vị Hệ thống cũng sẽ phân loại các sự kiện vào hoặc ra theo tháng và ghi lại số liệu thống kê tương ứng.

Mô tả sau (postcondition): Xác định trạng thái mà hệ thống sẽ có sau khi thực hiện các hành vi Ví dụ, sau khi một số lượng khách hàng đã vào ra bãi gửi xe trong một tháng, hệ thống sẽ cung cấp thông tin về số lượng khách hàng đã vào ra theo tháng đó.

Xác định ràng buộc (constraints): Xác định các ràng buộc hoặc giới hạn liên quan đến chức năng thống kê số lượng khách ra vào bãi gửi xe theo tháng Ví dụ, giới hạn thời gian mà một khách hàng có thể ở trong bãi gửi xe trước khi bị tính phí, yêu cầu cung cấp dữ liệu đúng định dạng để thực hiện thống kê, hoặc giới hạn về quyền truy cập vào thông tin thống kê.

3.2.5 Chức năng quản lý xe ra vào

Xác định yêu cầu: Xác định yêu cầu cụ thể cho chức năng quản lý xe ra vào bãi gửi xe Ví dụ, ta có thể muốn có khả năng ghi nhận thông tin xe vào bãi gửi xe, ghi nhận thông tin xe ra khỏi bãi gửi xe, kiểm tra tính hợp lệ của thông tin xe, tính toán thời gian xe ở trong bãi gửi xe, tính phí dựa trên thời gian và các yêu cầu khác liên quan đến quản lý xe ra vào bãi gửi xe.

Mô tả trước (precondition): Xác định trạng thái ban đầu của hệ thống Trạng thái ban đầu có thể là bãi gửi xe trống, không có xe nào trong hệ thống.

Mô tả hành vi (action): Mô tả các hành động mà hệ thống sẽ thực hiện để quản lý xe ra vào bãi gửi xe Ví dụ, khi một xe vào bãi gửi xe, hệ thống sẽ ghi lại thông tin về thời gian vào và gắn thẻ xe với một vị trí trong bãi gửi xe Tương tự, khi một xe ra khỏi bãi gửi xe, hệ thống sẽ ghi lại thông tin về thời gian ra, tính toán thời gian xe đã ở trong bãi gửi xe, tính toán phí dựa trên thời gian và các quy tắc đã được định nghĩa, và gỡ bỏ thẻ xe khỏi vị trí tương ứng.

Mô tả sau (postcondition): Xác định trạng thái mà hệ thống sẽ có sau khi thực hiện các hành vi Trạng thái này bao gồm thông tin về các xe đang ở trong bãi gửi xe,

28

thông tin về thời gian vào và ra của xe, số tiền phải trả và các thông tin khác liên quan đến quản lý xe ra vào bãi gửi xe.

Xác định ràng buộc (constraints): Xác định các ràng buộc hoặc giới hạn liên quan đến chức năng quản lý xe ra vào bãi gửi xe Ví dụ, có thể có giới hạn về số lượng xe tối đa trong bãi gửi xe, giới hạn thời gian tối đa mà một xe có thể ở trong bãi gửi xe trước khi bị tính phí cao hơn, yêu cầu xác thực thông tin xe trước khi cho phép vào bãi gửi xe, hoặc các ràng buộc khác liên quan đến quy tắc quản lý xe trong bãi gửi xe.

3.2.6 Chức năng vị trí của bãi

Xác định yêu cầu: Xác định yêu cầu cụ thể cho chức năng quản lý các vị trí đỗ xe trong bãi gửi xe Ví dụ, ta có thể muốn quản lý các vị trí đỗ xe trong bãi gửi xe, ghi nhận trạng thái của từng vị trí (đã được sử dụng hoặc còn trống), đặt giới hạn về số lượng xe được phép đỗ ở mỗi vị trí, hỗ trợ tìm kiếm vị trí trống, và các yêu cầu khác liên quan đến quản lý các vị trí đỗ xe trong bãi gửi xe.

Mô tả trước (precondition): Xác định trạng thái ban đầu của hệ thống Trạng thái ban đầu có thể là toàn bộ các vị trí đỗ xe trong bãi gửi xe đều trống.

Mô tả hành vi (action): Mô tả các hành động mà hệ thống sẽ thực hiện để quản lý các vị trí đỗ xe trong bãi gửi xe Ví dụ, khi một xe vào bãi gửi xe, hệ thống sẽ ghi lại thông tin về vị trí đỗ xe mà xe được đặt vào và cập nhật trạng thái của vị trí đó Tương tự, khi một xe rời khỏi bãi gửi xe, hệ thống sẽ ghi lại thông tin về vị trí đỗ xe mà xe đã sử dụng và đánh dấu vị trí đó trống.

Mô tả sau (postcondition): Xác định trạng thái mà hệ thống sẽ có sau khi thực hiện các hành vi Trạng thái này bao gồm thông tin về các vị trí đỗ xe trong bãi gửi xe và trạng thái (đã sử dụng hoặc còn trống) của từng vị trí.

Xác định ràng buộc (constraints): Xác định các ràng buộc hoặc giới hạn liên quan đến chức năng quản lý các vị trí đỗ xe trong bãi gửi xe Ví dụ, có thể có giới hạn về số lượng vị trí đỗ xe trong bãi gửi xe, yêu cầu xác thực thông tin xe trước khi đặt vào vị trí đỗ, hoặc các ràng buộc khác liên quan đến quy tắc quản lý vị trí đỗ xe trong bãi gửi xe.

29