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
Link tải Free download cho anh em Ket-noi:00050000444_Noi_dung.pdf
