» Từ khóa: kiem thu he thong

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 6 0 Download

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ử

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 248 1 Download

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 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 276 1 Download

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

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 220 1 Download

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 - 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 210 1 Download

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

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 194 1 Download

Từ khóa: Tin học, hệ thống phản ứng, Kiểm chứng mô hình, Kiểm thử

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 167 1 Download

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