Luận Văn Thạc Sĩ Xây Dựng Phần Mở Rộng Kiểm Chứng Thuộc Tính Logic Thời Gian Tuyến Tính Cho Java Pathfinder

Xây Dựng Phần Mở Rộng Kiểm Chứng Thuộc Tính Logic Thời Gian Tuyến Tính Cho Java Pathfinder​

Trong những năm gần đây, thực thi tượng trưng được xem là phương pháp hiệu quả trong kiểm thử phần mềm. Dựa trên thực thi tượng trưng, chúng ta có thể duyệt qua hết các dãy thực thi có thể có của một chương trình. Hơn thế nữa, thực thi tượng trưng có thể phát hiện ra các lỗi khó mà các phương pháp kiểm thử thông thường tốn nhiều tài nguyên và công sức để phát hiện. Luận văn tập trung vào việc áp dụng thực thi tượng trưng vào giải quyết các bài toán cụ thể là kiểm tra một chương trình Java có cài đặt theo đúng đặc tả công thức logic thời gian tuyến tính (LTL) hay không. Kết quả của luận văn là đã xây dựng được một công cụ kiểm chứng công thức LTL với các dãy thực thi tượng trưng vô hạn dựa trên Java PathFinder – một nền tảng phổ biến cho việc kiểm chứng mô hình các chương trình Java.

• 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ương Anh Hoàng
• Tác giả: Bùi Hoàng Khánh
• Số trang: 41
• Kiểu file: PDF
• Ngôn ngữ: Tiếng Việt
• Đại học Quốc gia Hà Nội 2014

Link Download
http://dlib.vnu.edu.vn/iii/cpro/DigitalItemViewPage.external?lang=vie&sp=1059478&sp=T&sp=3&suite=def
http://sachviet.edu.vn/forums/dvd-ebook-luan-van.117/
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1