love_rinny016
New Member
Luận văn: | Đặc tả và kiểm chứng thiết kế của hệ thống tương tranh : Luận văn ThS. Công nghệ thông tin: 60 48 10 |
Nhà xuất bản: | ĐHCN |
Ngày: | 2011 |
Chủ đề: | Công nghệ phần mềm Kiểm thử phần mềm Hệ thống tương tranh |
Miêu tả: | 42 tr. + CD-ROM Luận văn ThS. Công nghệ phần mềm -- Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội, 2011 Trình bày các kiến thức cơ bản liên quan đến đặc tả và kiểm chứng thiết kế của Hệ thống tương tranh gồm: Máy hữu hạn trạng thái, máy dịch chuyển trạng thái có gán nhãn và công cụ hỗ trợ kiểm chứng Điều khiển các hành động trong mô hình (LTSA). Nghiên cứu một kỹ thuật phát hiện lỗi của chương trình tương tranh bằng cách sử dụng khả năng mô phỏng của công cụ LTSA, từ đó phát hiện ra các sai sót của hệ thống. Trình bày chi tiết phương pháp đặc tả và kiểm chứng hệ thống tương tranh và việc sử dụng công cụ LTSA để hỗ trợ mục đích này, và đưa ra một ví dụ minh họa về hệ thống quan sát số người trong siêu thị để minh họa cho các nghiên cứu của luận văn Electronic Resources |
Kiểu: | text |
Định dạng: | text/pdf |
You must be registered for see links