» Từ khóa: kiếm thử

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 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 274 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

Chương 5 trang bị cho người học những hiểu biết về giai đoạn kiểm chứng phần mềm (software testing). Thông qua chương này người học có thể hiểu được khái niệm kiểm thử phần mềm, hiểu được tại sao phải kiểm thử phần mềm, các nguyên lý trong kiểm thử phần mềm, biết được các mức độ kiểm thử và các kỹ thuật kiểm thử.

 115 p husc 25/12/2015 224 1 Download

Từ khóa: Công nghệ phần mềm, Bài giảng Công nghệ phần mềm, Kiểm chứng phần mềm, Kiểm thử phần mềm, Nguyên lý kiểm thử phần mềm, Mức độ kiểm thử phần mềm

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 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 208 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 192 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ề lập trình tương tranh, kiểm thử phần mềm, kiểm thử đơn vị và giới thiệu một số công cụ kiểm thử mã nguồn mở vận dụng để kiểm thử mức đơn vị. Trình bày các vấn đề trong việc tiến hành kiểm thử đơn vị cho chương trình tương tranh và giải pháp tương ứng vấn đề. Ghi chú: Tài liệu toàn văn liên hệ theo...

 5 p husc 27/03/2015 201 1 Download

Từ khóa: Tin học, Chương trình tương tranh, Lập trình tương tranh, Kiểm thử phần mềm, Kiểm thử đơn vị

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 165 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

Tìm hiểu tổng quan về kiểm thử phần mềm và kiểm thử đột biến; Kiểm thử đột biến trên môi trường Simulink; Ứng dụng và thử nghiệm. 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

 8 p husc 25/03/2015 192 1 Download

Từ khóa: Tin học, Kỹ thuật kiểm thử đột biến, Kiểm thử phần mềm