Thư Viện Tài Liệu Tổng Hợp

TaiLieuTongHop.Com - Kho tài liệu tổng hợp hoàn toàn miễn phí dành cho mọi người

Hãy sử dụng chức năng tìm kiếm bên dưới để tìm tài liệu trước khi post yêu cầu liên diễn đàn!

Loading

VanMau.VN - Thư viện văn mẫu Việt Nam
+ Viết bài mới  + Trả lời bài viết
 
LinkBack Ðiều Chỉnh Xếp Bài
  #1  
Old 08-22-2013, 08:54 PM
Senior Member
 
Tham gia: Jun 2013
Nơi Cư Ngụ: Văn Lâm - Hưng Yên
Tổng số bài gởi: 1,606
Send a message via Yahoo to dovanluon



Đặc tả và kiểm chứng các phần mềm tương tranh : Khóa luận tốt nghiệp Đại học hệ Chính quy

Phần mềm tương tranh, một phần mềm được ứng dụng rộng rãi trong các hệ thống nhúng và các hệ thống điều khiển. Chúng có vai trò vô cùng quan trọng trong việc điều khiển các hệ thống đó. Chỉ cần một lỗi nhỏ của phần mềm có thể gây ra hậu quả vô cùng nghiêm trọng vì những hệ thống này có thể trực tiếp và gián tiếp ảnh hưởng đến cuộc sống của con người. Chính vì vậy phần mềm tương tranh phải được kiểm chứng để giảm thiểu tối đa lỗi của chương trình. Vì những lý do đó, đề tài “Đặc tả và kiểm chứng các phần mềm tương tranh” đề cập tới phương pháp hình thức, các lý thuyết về máy hữu hạn trạng thái (Finite State Process, FSP) và sử dụng máy hữu hạn trạng thái để đặc tả thiết kế và mã nguồn của phần mềm tương tranh. Từ đó sử dụng công cụ phân tích máy hữu hạn trạng thái để kiểm chứng xem thiết kế và mã nguồn của phần mềm có lỗi và chạy đúng theo yêu cầu không. Do thời gian có hạn nên phần thực nghiệm trong khóa luận này em chỉ thực hiện kiểm chứng một applet được viết bằng Java. Thiết kế của bài toàn đã được đặc tả sẵn bằng FSP. Nhiệm vụ của em là kiểm chứng xem thiết kế đó có lỗi xác hay không và chuyển mã nguồn Java của applet thành FSP để kiểm chứng xem mã nguồn có chạy đúng theo thiết kế hay không.

Trả Lời Với Trích Dẫn
TaiLieuTongHop.Com là một cộng đồng mở chia sẻ tài liệu miễn phí hoạt động phi thương mại. Chúng tôi không chịu trách nhiệm với nội dung bài viết của thành viên. van mau - dankinhte - soan bai, mod skin lol,mod skin -
Xin thông báo, bây giờ là 03:56 AM
|