Luận Văn Thạc Sĩ Mô Hình Hóa Và Kiểm Thử Máy Rút Tiền ATM Bằng Kỹ Thuật Sinh Ca Kiểm Thử Từ Máy Trạng Thái Hữu Hạn

Mô Hình Hóa Và Kiểm Thử Máy Rút Tiền ATM Bằng Kỹ Thuật Sinh Ca Kiểm Thử Từ Máy Trạng Thái Hữu Hạn (FSM - FINITE State Machines Testing)​

Trong xã hội ngày nay phần mềm đóng vai trò rất quan trọng và có độ phức tạp gia tăng. Vì thế con người ngày càng phụ thuộc chặt chẽ vào các sản phẩm phần mềm và do vậy đòi hỏi về chất lượng của sản phẩm phần mềm ngày càng cao, tức là các phần mềm phải được sản xuất với giá thành thấp, dễ dùng, an toàn và có độ tin cậy cao. Do đó việc kiểm thử là một phần trọng yếu của quá trình phát triển và đảm bảo chất lượng phần mềm. Hiện nay việc kiểm thử phần mềm đang sử dụng một đặc tả hình thức đóng vai trò như các mô hình ngữ nghĩa chẳng hạn như máy trạng thái hữu hạn, biểu đồ chuyển trạng thái. Các mô hình đặc tả này được sử dụng làm mục đích để chứng minh tính đúng đắn của hành vi đặc tả hệ thống phần mềm hay các đối tượng và cũng được dùng để sinh các ca kiểm thử. Việc sinh ca kiểm thử từ đặc tả máy trạng thái hữu hạn (FSM - Finite State Machines) được áp dụng trong lĩnh vực kiểm thử các hệ thống phần mềm cho các hệ phản vệ (reactive system). Máy rút tiền ATM là một hệ phản vệ thông dụng và đòi hỏi tính đúng đắn, độ tin cậy cao. Đặc tả trực quan nhất của máy ATM là máy trạng thái hữu hạn, vì thế để kiểm thử máy ATM tôi sử dụng kỹ thuật sinh ca kiểm thử từ máy trạng thái hữu hạn, trong luận văn này tôi chọn đề tài “Mô hình hóa và kiểm thử máy rút tiền ATM bằng kỹ thuật sinh ca kiểm thử từ máy trạng thái hữu hạn (FSM-Finite State Machines Testing)”.

• 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. Đặng Văn Hưng
• Tác giả: Nguyễn Thị Minh Thúy
• Số trang: 88
• 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=1062259
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1