TAILIEUCHUNG - Đề tài: Đặc tả yêu cầu phần mềm

Người quản trị – administrator muốn đăng nhập vào hệ thống quản trị nội dung của website. Usecase này sẽ mô tả cách thức đăng nhập vào hệ thống của người quản trị. Actor là: nhập thành công 1. Hệ thống sẽ nhận yêu cầu và hiển thị màn hình đăng nhập lên màn hình giao diện chính của ứng dụng. Trang quản trị nội dung dành cho người quản trị sẽ nhận yêu cầu và hiển thị màn hình giao diện đăng nhập. 2. Actor lúc này sẽ điền đầy đủ “Tên tài khoản” và “Mật khẩu” vào form đăng nhập. 3. Actor click vào nút. | Software Requirements Specification for App 03 Software Requirements Specification for Đọc báo online Version Prepared by Group 24 1 12 2012 Tên thành viên 1. Đỗ Quốc Trường. 2. Nguyễn Duy Long. 3. Dư Anh Dân. 4. Trần Bình An. Group 24 - Đặc tả yêu cầu phần mềm 2012 Mục lục Contents 1. Danh sách Actors và Use-cases 5 2. Sơ đồ Use Case 5 3. Đặc tả Use case. 5 Đăng nhập 5 Mô tả 5 Dòng sự kiện chính 6 Các dòng sự kiện khác 6 Điều kiện tiên quyết 6 Trạng thái hệ thống sau khi thực hiện use case 6 Các điểm mở rộng 7 Đăng xuất 7 Mô tả 7 Dòng sự kiện chính 7 Các dòng sự kiện khác 7 Điều kiện tiên quyết 7 Trạng thái hệ thống sau khi thực hiện use case 7 Các điểm mới rộng 7 Cập nhật chuyên mục tin 8 Mô tả 8 Dòng sự kiện chính 8 Các dòng sự kiện khác 8 Điều kiện tiên quyết 8 Trạng thái hệ thống sau khi thực hiện use case 9 Các điểm mới rộng 9 Cập nhật tin tức 9 Mô tả 9 Dòng sự kiện chính 9 Các dòng sự kiện khác 10 Điều kiện tiên quyết 10 Trạng thái hệ thống sau khi thực hiện use case 10 Các điểm mới rộng 10 Lấy các chuyên mục tin 10 Mô tả 10 Dòng sự kiện chính 11 Các dòng sự kiện khác 11 Điều kiện tiên quyết 11 Trạng thái hệ thống sau khi thực hiện use case 11 Các điểm mới rộng 11 Lấy các tin tức 11 Mô tả 11 Dòng sự kiện chính 11 Các dòng sự kiện khác 12 Điều kiện tiên quyết 12 Trạng thái hệ thống sau khi thực hiện use case 12 Các điểm mới rộng 12 2 Group 24 - Đặc tả yêu cầu phần mềm 2012 Đọc một tin 12 Mo tả 12 Dòng sự kiện chính 12 Các dòng sự kiện khác 12 Điều kiện tiên quyết 12 Trạng thái hệ thống sau khi thực hiện use case 13 Các điểm mới rộng 13 Thêm tin vào mục ưa thích 13 Mô tả 13 Dòng sự kiện chính 13 Các dòng sự kiện khác 13 Điều kiện tiên quyết 13 .

• kiểm chứng phần mềm
• Tài liệu đặc tả yêu cầu phần mềm
• Phân tích yêu cầu phần mềm
• Đặc tả yêu cầu
• viết đặc tả
• Yêu cầu của sự Đặc tả
• Bài giảng Kiểm chứng Phần mềm
• Software Testing
• Nguyên lý kiểm thử phần mềm
• Mức độ kiểm thử phần mềm
• Kỹ thuật kiểm thử phần mềm
• Công nghệ phần mềm
• Bài giảng Công nghệ phần mềm
• Kiểm chứng phần mềm
• Kiểm thử phần mềm
• Bài giảng Nhập môn công nghệ phần mềm
• Nhập môn công nghệ phần mềm
• Kiểm tra phần mềm
• Thiết kế test case
• Kiểm tra đơn vị phần mềm
• Kỹ nghệ phần mềm
• Kỹ thuật lập trình
• Lập trình phần mềm
• Rà soát phần mềm
• Nguyên lý trong kiểm thử phần mềm
• luận văn
• công nghệ thông tin
• mô hình NUSMV
• kiểm chứng mô hình
• chất lượng phần mềm
• Công nghệ phần mềm nâng cao
• Bài giảng Công nghệ phần mềm nâng cao
• Quản lý cấu hình phần mềm
• Phương pháp kiểm chứng phần mềm
• Thiết kế testcase
• Đảm bảo chất lượng phần mềm
• Bài giảng chất lượng phần mềm
• Lỗi phần mềm
• Kỹ thuật debuging
• luận văn tốt nghiêp
• thiết kế phần mềm
• ứng dụng tin học
• xây dựng phần mềm
• Thiết kế hệ thống phần mềm
• Thiết kế dữ liệu
• Thiết kế giao diện
• Thiết kế xử lý
• phương pháp sinh dữ liệu
• quy trình kiểm thử
• nghiên cứu khoa học
• điện toán đám mây
• công cụ spin
• sử dụng spin
• Luận văn Thạc sĩ
• Kiểm chứng giao diện phần mềm
• Phương pháp kiểm chứng giao diện
• Phương pháp mô hình hóa Event B
• Mô hình hóa
• Chương trình phần mềm
• Kiểm chứng chương tình phần mềm
• Hhình thức Event B
• Ứng dụng EAOP
• Phân tích yêu cầu phần mềm
• Yêu cầu phần mềm
• Kỹ thuật kiểm chứng
• Kỹ thuật kiểm tra
• Luận văn Thạc sĩ Công nghệ thông tin
• Thành phần Java tương tranh
• Java tương tranh
• Kiểm chứng thành phần Java
• Phương pháp tạo giả địn
• Luận án Tiến sĩ
• Kỹ Thuật phần mềm
• Hệ thống chuyển trạng thái
• Thuật toán học L*
• Phương pháp kiểm chứng hồi quy giả định
• Thuật toán CDNF
• Thuật toán thực thi Teacher
• hệ thống quản lý
• tác tử phần mềm
• kiểm chứng đặt tả
• đặt tả UML
• ngôn ngữ UML
• chứng minh tự động
• Mô hình hóa Event B
• Công cụ Rodin
• Bài giảng Software quality assurance
• Software quality assurance
• Quản trị chất lượng phần mềm
• Kiểm chứng sản phẩm
• Software errors