Luận Văn Thạc Sĩ Kiểm Chứng Một Số Ràng Buộc Trong Chương Trình Java Sử Dụng AOP

Kiểm Chứng Một Số Ràng Buộc Trong Chương Trình Java Sử Dụng AOP​

Phân tích và đặc tả yêu cầu đóng vai trò quan trọng trong quá trình xây dựng và phát triển phần mềm. Các yêu cầu phần mềm thường được đặc tả dưới dạng các ca sử dụng (use case-UC) mô tả toàn bộ sự tương tác giữa người dùng và hệ thống. Trong mỗi tài liệu đặc tả, mô hình UC biểu diễn kịch bản mô tả các bước mà hệ thống cần tuân thủ để thực hiện một nhiệm vụ. Một kịch bản thường gồm các thành phần như : sự kiện, sự tương tác giữa các sự kiện, các biểu thức tiền điều kiện (precondition) và hậu điều kiện (postcondition), xác nhận (assertion)... Trong đó, tiền điều kiện và hậu điều kiện định nghĩa các ràng buộc mà kịch bản buộc phải thỏa mãn khi bắt đầu và kết thúc thực thi một nhiệm vụ, assertion đặc tả một thuộc tính mà kịch bản phải thoả mãn tại một thời điểm nào đó. Cuối cùng, kịch bản sẽ được được cài đặt bởi các đoạn mã nguồn chương trình. Hình 1.1 biểu diễn một kịch bản ở mức mã nguồn thực hiện phép chia hai số nguyên dương, với biểu thức tiền điều kiện là y khác không và hậu điều kiện là kết quả của phép chia x cho y.

• Luận văn thạc sĩ Công nghệ thông tin
• Chuyên ngành Kỹ thuật phần mềm
• Người hướng dẫn khoa học: TS. Trịnh Thanh Bình
• Tác giả: Lê Ngọc Minh
• Số trang: 40
• Kiểu file: PDF
• Ngôn ngữ: Tiếng Việt
• Đại học Quốc gia Hà Nội 2015

Link Download
http://dlib.vnu.edu.vn/iii/cpro/DigitalItemViewPage.external?lang=vie&sp=1062578
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1