Tài liệu Thư viện số
- Đề tài NCKH (820)
- Luận văn thạc sĩ (3991)
- Luận án tiến sĩ (193)
- Lý luận chính trị (316)
- Lịch sử (736)
- Ngữ văn (784)
- Quản lý nhà nước (188)
- Báo chí - Truyền thông (397)
- Sinh học (711)
- Hóa học (694)
- Toán học (844)
- Vật lý (647)
- Đông phương học (105)
- Môi trường (839)
- Công nghệ thông tin (783)
- Điện tử viễn thông (548)
- Kiến trúc (285)
- Địa lý - Địa chất (829)
- Công tác xã hội - Xã hội học (679)
- Tài liệu tham khảo khác (437)
Danh mục TaiLieu.VN
- Mẫu Slide Powerpoint
- Luận Văn - Báo Cáo (346704)
- Kinh Doanh Marketing (67778)
- Kinh Tế - Quản Lý (50036)
- Tài Chính - Ngân Hàng (57809)
- Công Nghệ Thông Tin (143292)
- Tiếng Anh - Ngoại Ngữ (47261)
- Kỹ Thuật - Công Nghệ (137309)
- Khoa Học Tự Nhiên (110530)
- Khoa Học Xã Hội (85272)
- Văn Hoá - Nghệ Thuật (54491)
- Y Tế - Sức Khoẻ (177214)
- Nông - Lâm - Ngư (63475)
- Kỹ Năng Mềm (29084)
- Biểu Mẫu - Văn Bản (27862)
- Giải Trí - Thư Giãn (52535)
- Văn Bản Luật (199483)
- Tài Liệu Phổ Thông (409665)
- Trắc Nghiệm Online (213578)
- Trắc Nghiệm MBTI
- Trắc Nghiệm Holland
Thống Kê
Xây dựng công cụ sinh dữ liệu thử cho chương trình Lustre/SCADE dựa trên kiểm chứng mô hình
Bài viết Xây dựng công cụ sinh dữ liệu thử cho chương trình Lustre/SCADE dựa trên kiểm chứng mô hình tập trung nghiên cứu việc kiểm thử tự động cho các ứng dụng Lustre/SCADE, đề xuất sử dụng kỹ thuật kiểm chứng mô hình trên trên mạng lưới toán tử (operator network) để sinh ra các ca kiểm thử một cách tự động.
Từ khóa: Hệ thống phản ứng, Sinh ca kiểm thử, Chương trình Lustre/SCADE, Ngôn ngữ đồng bộ luồng dữ liệu, Mạng lưới toán tử
6 p tailieu_husc 21/11/2024 7 0
Phát triển bởi Thư viện số
