Tìm tài liệu

Xay dung cong cu kiem chung mo hinh phan mem kiem tra cac chuong trinh huu han, dua tren he thong Java Path-Finder

Xây dựng công cụ kiểm chứng mô hình phần mềm kiểm tra các chương trình hữu hạn, dựa trên hệ thống Java Path-Finder

Upload bởi: nocturne8x

Mã tài liệu: 38892

Số trang: 62

Định dạng: docx

Dung lượng file: 802 Kb

Chuyên mục: Kỹ thuật - Công nghệ

Info

Kiểm chứng phần mềm là một trong những lĩnh vực nghiên cứu rất cơ bản của kỹ nghệ phần mềm. Mục đích chung chính là kiểm chứng xem khi nào thì một chương trình phần mềm được cho là chính xác, hay nói cách khác là khi nào thì cài đặt của một chương trình phù hợp với đặc tả của nó. Bài toán kiểm tra mô hình (Model Checking) thường tập trung vào việc kiểm chứng các chương trình phản ứng hữu hạn trạng thái. Để chỉ ra các tính chất của một chương trình như vậy, chúng ta sử dụng logic thời gian tuyến tính (Linear Temporal Logic - LTL).

Vậy thì thế nào là một chương trình phản ứng. Mô hình thực thi của một chương trình thường bao gồm các bước sau: nó nhận vào một tập các giá trị đầu vào, thực hiện các tính toán cần thiết, rồi đưa ra một giá trị đầu ra nào đó. Như vậy, một chương trình thông thường có thể được xem xét giống như một hàm trừu tượng từ miền đầu vào đến miền đầu ra trong đó, quá trình thực thi là quá trình chuyển đổi từ các trạng thái ban đầu tới các trạng thái kết thúc.

Ngược lại, một chương trình phản ứng không hướng tới việc kết thúc. Giống như tên gọi của nó, các hệ thống như vậy “phản ứng” lại môi trường của chúng một cách liên tục, đáp lại một cách tương ứng với các giá trị đầu vào. Một số ví dụ của các hệ thống như vậy bao gồm hệ điều hành, bộ lập lịch… (thông thường, các hệ thống phản ứng là các chương trình phân tán phức tạp, nên việc thực thi song song cần phải được tính đến).

Để chỉ ra các tính chất của một hệ thống phản ứng, chúng ta cần một kỹ thuật để nói về cách mà hệ thống đó thực thi, tiến triển theo những dãy tính toán vô hạn có thể xảy ra. Các logic về thời gian [1] đã trở thành một phương pháp hình thức được sử dụng rất rộng rãi cho mục đích này. Đã có rất nhiều loại logic thời gian khác nhau được định nghĩa trong khoảng hai thập kỷ qua – chúng ta sẽ chỉ tập trung vào một loại đó là logic thời gian tuyến tính.

Phần nội dung: Kết cấu gồm hai phần, được chia làm 7 chương

•Phần 1: Đặt vấn đề và định hướng giải pháp

•Phần 2: các kết quả đã đạt được

Phần bên dưới chỉ hiển thị một số trang ngẫu nhiên trong tài liệu. Bạn tải về để xem được bản đầy đủ

  •  

     

    TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI

    VIỆN CễNG NGHỆ THễNG TIN VÀ TRUYỀN THễNG

    ──────── * ────────

     

     

    ĐỒ ÁN

    TỐT NGHIỆP ĐẠI HỌC

    NGÀNH CễNG NGHỆ THễNG TIN

     

    Xây dựng công cụ kiểm chứng mô hình phần mềm kiểm tra các chương trình hữu hạn, dựa trên hệ thống Java Path - Finder

     

     

    Sinh viên thực hiệnLê Anh Tùng

                  Lớp CNPM - K51

    Giáo viên hướng dẫn: PGS. TS Huỳnh Quyết Thắng

     

    Hà Nội 05 - 2011

    Sinh viên thực hiện [Lê Anh Tùng – 20063601] Khóa 51 Lớp CNPM B

    v

     

  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Xây dựng công cụ kiểm chứng mô hình phần mềm kiểm tra các chương trình hữu hạn, dựa trên hệ thống Java Path-Finder
  • Xây dựng công cụ kiểm chứng mô hình phần mềm kiểm tra các chương trình hữu hạn, dựa trên hệ thống Java Path-Finder
  • Xây dựng công cụ kiểm chứng mô hình phần mềm kiểm tra các chương trình hữu hạn, dựa trên hệ thống Java Path-Finder
  • Xây dựng công cụ kiểm chứng mô hình phần mềm kiểm tra các chương trình hữu hạn, dựa trên hệ thống Java Path-Finder
  • Xây dựng công cụ kiểm chứng mô hình phần mềm kiểm tra các chương trình hữu hạn, dựa trên hệ thống Java Path-Finder
  • Xây dựng công cụ kiểm chứng mô hình phần mềm kiểm tra các chương trình hữu hạn, dựa trên hệ thống Java Path-Finder
  • Xây dựng công cụ kiểm chứng mô hình phần mềm kiểm tra các chương trình hữu hạn, dựa trên hệ thống Java Path-Finder
  • Xây dựng công cụ kiểm chứng mô hình phần mềm kiểm tra các chương trình hữu hạn, dựa trên hệ thống Java Path-Finder
  • Xây dựng công cụ kiểm chứng mô hình phần mềm kiểm tra các chương trình hữu hạn, dựa trên hệ thống Java Path-Finder
  • Xây dựng công cụ kiểm chứng mô hình phần mềm kiểm tra các chương trình hữu hạn, dựa trên hệ thống Java Path-Finder
  • Xây dựng công cụ kiểm chứng mô hình phần mềm kiểm tra các chương trình hữu hạn, dựa trên hệ thống Java Path-Finder
  • Xây dựng công cụ kiểm chứng mô hình phần mềm kiểm tra các chương trình hữu hạn, dựa trên hệ thống Java Path-Finder
  • Xây dựng công cụ kiểm chứng mô hình phần mềm kiểm tra các chương trình hữu hạn, dựa trên hệ thống Java Path-Finder
  • Xây dựng công cụ kiểm chứng mô hình phần mềm kiểm tra các chương trình hữu hạn, dựa trên hệ thống Java Path-Finder
  • Xây dựng công cụ kiểm chứng mô hình phần mềm kiểm tra các chương trình hữu hạn, dựa trên hệ thống Java Path-Finder
  • Xây dựng công cụ kiểm chứng mô hình phần mềm kiểm tra các chương trình hữu hạn, dựa trên hệ thống Java Path-Finder
  • Xây dựng công cụ kiểm chứng mô hình phần mềm kiểm tra các chương trình hữu hạn, dựa trên hệ thống Java Path-Finder
  • Xây dựng công cụ kiểm chứng mô hình phần mềm kiểm tra các chương trình hữu hạn, dựa trên hệ thống Java Path-Finder
  • Xây dựng công cụ kiểm chứng mô hình phần mềm kiểm tra các chương trình hữu hạn, dựa trên hệ thống Java Path-Finder
  • Xây dựng công cụ kiểm chứng mô hình phần mềm kiểm tra các chương trình hữu hạn, dựa trên hệ thống Java Path-Finder
  • Xây dựng công cụ kiểm chứng mô hình phần mềm kiểm tra các chương trình hữu hạn, dựa trên hệ thống Java Path-Finder
  • Xây dựng công cụ kiểm chứng mô hình phần mềm kiểm tra các chương trình hữu hạn, dựa trên hệ thống Java Path-Finder
  • Xây dựng công cụ kiểm chứng mô hình phần mềm kiểm tra các chương trình hữu hạn, dựa trên hệ thống Java Path-Finder
  • Xây dựng công cụ kiểm chứng mô hình phần mềm kiểm tra các chương trình hữu hạn, dựa trên hệ thống Java Path-Finder
  • Xây dựng công cụ kiểm chứng mô hình phần mềm kiểm tra các chương trình hữu hạn, dựa trên hệ thống Java Path-Finder

GỢI Ý

Những tài liệu gần giống với tài liệu bạn đang xem

Nghiên cứu xây dựng hệ thống PKI dựa trên bộ ...

Upload: nguyen_tinh0412

📎 Số trang: 85
👁 Lượt xem: 683
Lượt tải: 16

Kiểm chứng mô hình phần mềm sử dụng nusmv

Upload: sieucophieu

📎 Số trang: 42
👁 Lượt xem: 627
Lượt tải: 16

Kiểm chứng mô hình phần mềm sử dụng nusmv

Upload: blhoang291007

📎 Số trang: 42
👁 Lượt xem: 523
Lượt tải: 16

Kiểm thử dựa trên mô hình

Upload: hoadao8983

📎 Số trang: 50
👁 Lượt xem: 581
Lượt tải: 16

Kiểm thử dựa trên mô hình

Upload: chater_friendly

📎 Số trang: 50
👁 Lượt xem: 376
Lượt tải: 16

Mô hình hóa các hệ thống dựa trên các thành ...

Upload: nghedenduk

📎 Số trang: 41
👁 Lượt xem: 462
Lượt tải: 16

Mô hình hóa các hệ thống dựa trên các thành ...

Upload: hopnhatsales

📎 Số trang: 41
👁 Lượt xem: 325
Lượt tải: 16

Xây dựng hệ thống cung cấp chứng chỉ số dựa ...

Upload: hovanten

📎 Số trang: 78
👁 Lượt xem: 416
Lượt tải: 16

Luận văn Tìm hiểu về kiểm thử phần mềm và ...

Upload: huongnt_2007

📎 Số trang: 154
👁 Lượt xem: 605
Lượt tải: 16

THIẾT KẾ HỆ THỐNG KIỂM TRA CÁC QUAN HỆ HÌNH ...

Upload: duongns

📎
👁 Lượt xem: 292
Lượt tải: 17

Xây dựng công cụ hỗ trợ quản lý quá trình ...

Upload: mrdoan68

📎 Số trang: 112
👁 Lượt xem: 487
Lượt tải: 18

Xây dựng công cụ hỗ trợ quản lý quá trình ...

Upload: vnindex_vni

📎 Số trang: 112
👁 Lượt xem: 489
Lượt tải: 16

QUAN TÂM

Những tài liệu bạn đã xem

Xây dựng công cụ kiểm chứng mô hình phần mềm ...

Upload: nocturne8x

📎 Số trang: 62
👁 Lượt xem: 1490
Lượt tải: 16

CHUYÊN MỤC

Kỹ thuật - Công nghệ
Xây dựng công cụ kiểm chứng mô hình phần mềm kiểm tra các chương trình hữu hạn, dựa trên hệ thống Java Path-Finder Kiểm chứng phần mềm là một trong những lĩnh vực nghiên cứu rất cơ bản của kỹ nghệ phần mềm. Mục đích chung chính là kiểm chứng xem khi nào thì một chương trình phần mềm được cho là chính xác, hay nói cách khác là khi nào thì cài đặt của một chương docx Đăng bởi
5 stars - 38892 reviews
Thông tin tài liệu 62 trang Đăng bởi: nocturne8x - 07/04/2025 Ngôn ngữ: Việt nam, English
5 stars - "Tài liệu tốt" by , Written on 07/04/2025 Tôi thấy tài liệu này rất chất lượng, đã giúp ích cho tôi rất nhiều. Chia sẻ thông tin với tôi nếu bạn quan tâm đến tài liệu: Xây dựng công cụ kiểm chứng mô hình phần mềm kiểm tra các chương trình hữu hạn, dựa trên hệ thống Java Path-Finder