- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện số
Danh mục TaiLieu.VN
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.
6 p husc 21/11/2024 1 0
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ử
Đánh giá chất lượng nước thải đô thị ở tỉnh Quảng Trị
Thu thập mẫu nước thải, phân tích và xác định nồng độ, lưu lượng các chất ô nhiễm từ nước thải đô thị ở tỉnh Quảng Trị. Tạo tiền đề cho việc thiết lập cơ sở dữ liệu về nguồn nước thải, hỗ trợ đắc lực cho công tác kiểm soát ô nhiễm môi trường ở địa phương. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email:...
5 p husc 23/06/2016 243 1
Từ khóa: Hóa học, Hóa phân tích, Ô nhiễm nước, Hệ thống thu gom, Nước thải đô thị, Chất lượng nước, Kiểm soát ô nhiễm nước
Nghiên cứu về kiểm thử phần mềm theo cách tiếp cận mô hình
Nghiên cứu quy trình phát triển kiến trúc phần mềm hướng mô hình và kỹ thuật kiểm thử dựa trên mô hình. Ứng dụng bài toán kiểm thử theo cách tiếp cận mô hình với các hệ thống phân tích và thiết kế hướng đối tượng trên ngôn ngữ Mô hình hóa (UML). Các ứng dụng của Hồ sơ kiểm thử ngôn ngữ mô hình hóa trong kiểm thử phần mềm và các công...
6 p husc 16/03/2016 274 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Quy trình phần mềm, Kiểm thử phần mềm, Kiểm thử tích hợp, Kiểm thử hệ thống, Kiểm thử giao diện
Bài giảng Tìm kiếm và trình diễn thông tin: Bài 13 - TS.Nguyễn Bá Ngọc
Với bài học "Phân lớp và ứng dụng trong tìm kiếm thuộc bài 13" của bộ bài giảng Tìm kiếm và trình diễn thông tin hướng đến trình bày ứng dụng phân lớp trong tìm kiếm; các khái niệm cơ bản; ứng dụng trong công cụ tìm kiếm; phương pháp phân lớp thủ công;...
24 p husc 23/11/2015 219 1
Từ khóa: Tìm kiếm và trình diễn thông tin, Hệ thống thông tin, Trình diễn thông tin, Ứng dụng phân lớp trong tìm kiếm, Ứng dụng trong công cụ tìm kiếm, Phương pháp phân lớp thủ công
Bài giảng Tìm kiếm và trình diễn thông tin: Bài 20 - TS.Nguyễn Bá Ngọc
Bài giảng Tìm kiếm và trình diễn thông tin: Bài 20 - Thu thập dữ liệu do TS.Nguyễn Bá Ngọc biên soạn với các vấn đề chính như: Bộ thu thập đơn giản; thao tác thu thập thông tin cơ bản; hạn chế của bộ thu thập đơn giản; quy mô của bài toán thu thập; bộ thu thập trong thực tế;...
30 p husc 23/11/2015 207 1
Từ khóa: Tìm kiếm và trình diễn thông tin, Hệ thống thông tin, Trình diễn thông tin, Bộ thu thập đơn giản, Thao tác thu thập thông tin cơ bản, Hạn chế của bộ thu thập đơn giản
Nghiên cứu tạo ca kiểm thử cho các hệ thống phản ứng sử dụng kiểm chứng mô hình
Trình bày tổng quan về hệ thống phản ứng và các cơ sở lý thuyết đặc tả logic thời gian CLT và LTL. Kiểm chứng mô hình và công cụ NuSMV. Ứng dụng kiểm chứng mô hình tạo ca kiểm thử. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447
6 p husc 02/04/2015 191 1
Từ khóa: Tin học, hệ thống phản ứng, Kiểm chứng mô hình, Kiểm thử
Kiểm thử tự động cho các hệ thống đa phương thức tương tác
Tìm hiểu những kiến thức về kiểm thử, kiểm thử tự động và các hệ thống đa phương thức tương tác. Đưa ra những cái nhìn khách quan hơn về các phương thức kiểm thử, so sánh chúng để tìm ra những ưu điểm - nhược điểm của các phương pháp kiểm thử từ trước đến nay. Ghi chú: Tài liệu toàn văn liên hệ theo...
6 p husc 26/03/2015 164 1
Từ khóa: Tin học, Kiểm thử, Kiểm thử tự động, Hệ thống đa phương thức tương tác
Đăng nhập
Bộ sưu tập nổi bật
17 13661
Tuyển tập tác phẩm văn học hay
15 7884
Bộ sưu tập tài liệu Toán học hay
24 7849
Tin nhanh
Công bố quyết định bổ nhiệm Phó Hiệu trưởng nhiệm kỳ 2009 – 2014.
Hội Cựu giáo chức Trường Đại học Khoa học Huế: Gặp mặt đầu năm Xuân Nhâm Thìn 2012.
Lễ kỷ niệm 82 năm thành lập Đảng Cộng Sản Việt Nam (3/2/1930 – 3/2/2012)
Gặp mặt chúc Tết cán bộ của Trường nghỉ hưu tại Huế nhân dịp Tết Nhâm Thìn 2012.