Kiểm tra mô hình phần mềm sử dụng lý thuyết Ôtômat Buchi và Logic thời gian tuyến tín

Kiểm tra mô hình phần mềm sử dụng lý thuyết Ôtômat Buchi và Logic thời gian tuyến tín

Kiểm tra mô hình phần mềm sử dụng lý thuyết Ôtômat Buchi và Logic thời gian tuyến tín

... HÌNH VẼ, ĐỒ THỊ Hình vẽ, đồ thị Trang Hình 1.1 Mô hình xác thực phần mềm 10 Hình 1.2 Mô hình logic thời gian 11 Hình 1.3 Mô hình của kiểm tra mô hình phần mềm 14 Hình 1.4 Kiểm tra mô hình phần ... THUẬT KIỂM TRA MÔ HÌNH PHẦN MỀM SỬ DỤNG LÝ THUYẾT LOGIC THỜI GIAN TUYẾN TÍNH VÀ ÔTÔMAT BUCHI 37 3.1 Bài toán kiểm tra mô hình...

Ngày tải lên: 10/11/2012, 10:08

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

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

... giữa kiểm chứng mô hình phần mềm và kiểm thử phần mềm Cả kiểm chứng mô hình và kiểm thử phần mềm đều thực hiện vai trò đảm bảo chất lượng phần mềm bằng việc tìm ra các lỗi nếu có của phần mềm. ... thức cơ bản về kiểm chứng mô hình và giới thiệu về NuSMV, một công cụ kiểm chứng phần mềm. Chương 3 giới thiệu về logic thời gian và sử...

Ngày tải lên: 23/11/2012, 15:03

48 708 0
KIỂM CHỨNG MÔ HÌNH PHẦN MỀM SỬ DỤNG NUSMV

KIỂM CHỨNG MÔ HÌNH PHẦN MỀM SỬ DỤNG NUSMV

... giữa kiểm chứng mô hình phần mềm và kiểm thử phần mềm Cả kiểm chứng mô hình và kiểm thử phần mềm đều thực hiện vai trò đảm bảo chất lượng phần mềm bằng việc tìm ra các lỗi nếu có của phần mềm. ... cơ bản về kiểm chứng mô hình và giới thiệu về NuSMV, một công cụ kiểm chứng phần mềm. Chương 3 giới thiệu về logic thời gian và sử dụng...

Ngày tải lên: 25/04/2013, 10:42

45 718 2
Tích hợp FileNet với IBM Content Manager, Phần 1: Phân tích, thiết kế và mô hình hóa khi sử dụng FileNet Business Process Manager và IBM Content Manager docx

Tích hợp FileNet với IBM Content Manager, Phần 1: Phân tích, thiết kế và mô hình hóa khi sử dụng FileNet Business Process Manager và IBM Content Manager docx

... như định tuyến quy trình, quản lý các quy tắc, mô phỏng và mô hình hóa quy trình và phân tích quy trình. Phần sau đây cho bạn thấy cách sử dụng các công cụ này để phân tích, mô hình hóa và thực ... Manager (BPM) có tính linh hoạt và khả năng mở rộng để xử lý các quy trình nghiệp vụ phức tạp nhất. Nó có thể xử lý hàng triệu giao dịch, hàng ngàn người sử dụn...

Ngày tải lên: 18/03/2014, 05:20

9 464 1
đặc tả và kiểm chứng phần mềm sử dụng cafeobj

đặc tả và kiểm chứng phần mềm sử dụng cafeobj

... Khái quát về OTS và bài toán QLOCK Phạm Ngọc Thắng 21 4.5 Đặc tả thuộc tính và kiểm chứng đặc tả Chúng ta sẽ tạo ra 2 mô đun INV và ISTEP (Hình 4.6) sử dụng để kiểm chứng tính chất độc ... một tư tưởng nổi bật của việc kiểm chứng phần mềm và kiểm thử phần mềm. Nhờ phương pháp quy nạp này mà việc kiểm chứng các thuộc tính của hệ thống với không gian...

Ngày tải lên: 17/02/2014, 22:52

50 394 0
nghiên cứu về kiểm chứng phần mềm sử dụng công cụ spin

nghiên cứu về kiểm chứng phần mềm sử dụng công cụ spin

... thêm vào, do vậy assertion có hạn chế trong việc biểu diễn tính chất của mô hình. Ta cần dùng đến logic thời gian tuyến tính (LTL), LTL mạnh mẽ hơn trong việc biểu diễn tính chất của mô hình ... pháp kiểm chứng tổng quát áp dụng đƣợc cho một phạm vi lớn các ứng dụng: hệ thống nhúng, kỹ nghệ phần mềm, thiết kế phần cứng…  Hỗ trợ kiểm chứng cụ bộ, các tính chất...

Ngày tải lên: 17/02/2014, 22:59

50 641 1
Kiểm tra chất lượng phần mềm

Kiểm tra chất lượng phần mềm

... nó.6.2. KIỂM TRA VÀ CÁC CHIẾN LƯỢC KIỂM TRA PHẦN MỀM6.2.1. Đặc điểm của kiểm tra phần mềmXác minh và thẩm định một hệ phần mềm là một quá trình liên tục xuyên suốt mọi giai đoạn của quá trình phần mềm. ... dự án được gọi là kiểm tra phát triển (Development test). Kiểm tra phát triển bao gồm kiểm tra đơn vị, kiểm tra hệ thống con, kiểm tra tích hợp và c...

Ngày tải lên: 16/08/2012, 10:24

22 1,1K 9
Nghiên cứu, lựa chọn giải pháp và đề xuất mô hình sản xuất, sử dụng năng lượng

Nghiên cứu, lựa chọn giải pháp và đề xuất mô hình sản xuất, sử dụng năng lượng

... đã áp dụng mô hình) sẽ đợc báo cáo cuối năm 2007, bao gồm các chơng tiếp theo nh:. Chơng VI: Đề xuất mô hình ; Chơng VII: Kết quả thử nghiệm mô hình và các đánh giá; Chơng VIII: kết luận và khuyến ... đánh giá mô hình áp dụng Chơng v Các kết kuận và khuến nghị Chơng II: Đặc điểm các vùng nông thôn và Khu vực dân c ngoài lới điện quốc gia Chơng III: Hiện trạng và n...

Ngày tải lên: 15/11/2012, 11:52

82 617 0
Tìm hiểu mô hình ngôn ngữ sử dụng phương pháp bloom filter

Tìm hiểu mô hình ngôn ngữ sử dụng phương pháp bloom filter

... đo đầu tiên để đánh giá một mô hình ngôn ngữ, và có thể được coi là hàm của cả cả ngôn ngữ và mô hình. Trên phương diện là hàm của mô hình, nó đánh giá một mô hình mô phỏng ngôn ngữ chính xác ... nghiên cứu và tìm hiểu mô hình ngôn ngữ xây dựng dựa trên cấu trúc dữ liệu Bloom Filter. Không lưu trữ toàn bộ tập n-gram giống như các mô hình truyền thống, loại mô...

Ngày tải lên: 23/11/2012, 15:04

71 1,5K 6
w