Tìm thấy 11+ kết quả cho từ khóa "Dữ liệu kiểm thử"
repository.vnu.edu.vn Xem trực tuyến Tải xuống
Xây dựng tập đường kiểm thử. Xây dựng đường kiểm thử vòng lặp. Sinh tập dữ liệu kiểm thử dựa trên giải nghiệm hệ ràng buộc. Kiến trúc công cụ. Cài đặt công cụ. Đầu vào công cụ JavaUnitCFT. Đầu ra công cụ. Sinh bộ dữ liệu kiểm thử cho hàm đầu vào chứa biến số nguyên. Sinh bộ dữ liệu kiểm thử cho hàm đầu vào chứa biến số thực. Sinh bộ dữ liệu kiểm thử cho hàm đầu vào chứa vòng lặp. Kiểm thử đơn vị là bước đầu tiên trong quy trình kiểm thử phần mềm.
repository.vnu.edu.vn Xem trực tuyến Tải xuống
Nghiên cứu phương pháp sinh dữ liệu kiểm thử phần mềm dựa trên kỹ thuật kiểm chứng. ngành: Công nghệ phần mềm. Trình bày cơ sở lý luận về kiểm định phần mềm và các nhóm kiểm định phần mềm. Giới thiêu về JPF, kiến trúc của JPF, cách mở rộng, phát triển trên JPF.. Ngoài ra giới thiệu về thực thi tượng trưng để sinh dữ liệu kiểm thử cho chương trình trong JPF cũng như cho phép sinh tự động dữ liệu kiểm thử chương trình Java.. Công nghệ phần mềm. Dữ liệu. Kiểm chứng mô hình. Phần mềm.
LV_NguyenThiMinhLy_K16.pdf
repository.vnu.edu.vn Xem trực tuyến Tải xuống
Màn hình ODM - chọn chức năng xây dựng mô hình khai phá dữ liệu - Chọn chức n ng và giải thuật khai phá. Màn hình ODM - chọn bảng dữ liệu học cho khai phá dữ liệu - Chọn đích (Target). Màn hình ODM - nhập tên cho mô hình khai phá dữ liệu - Nhấn Run Activity. Bước 4: Kiểm thử mô hình trên tập dữ liệu kiểm thử:. Màn hình ODM – chọn chức năng kiểm thử mô hình khai phá dữ liệu - Chọn mô hình cần kiểm thử. Chọn bảng dữ liệu kiểm thử. Bước 5: Áp dụng mô hình khai phá vào khai phá dữ liệu:.
repository.vnu.edu.vn Xem trực tuyến Tải xuống
Bước 4: Thực hiện từng dữ liệu kiểm thử với từng đột biến còn sống.. Hoàn thành kiểm thử.. Hoặc có thể diệt các đột biến được nhưng các dữ liệu kiểm thử không đủ mạnh để diệt đột biến. Do đó phải tạo ra các dữ liệu kiểm thử khác và lặp lại bước 1.. Hạn chế của kiểm thử đột biến. Kiểm thử đột biến được giới thiệu để cung cấp một phương tiện để đánh giá và cải tiến chất lượng các bộ dữ liệu thử. Do đó, kiểm thử đột biến chỉ tập trung vào các lỗi đơn giản của chương trình (ví dụ:.
000000208312.pdf
dlib.hust.edu.vn Xem trực tuyến Tải xuống
Các thuật toán khác, như Naive Bayes (dự báo xác suất), dùng ma trận chi phắ trong khi tìm kết quả trên dữ liệu thật ựể ựưa ra giải pháp chi phắ ắt nhất. Sử dụng mô hình (Phân lớp) Áp dụng mô hình cho tập dữ liệu kiểm thử với các lớp ựã xác ựịnh ựể kiểm tra và ựánh giá ựộ chắnh xác của mô hình. Nếu ựộ chắnh xác là chấp nhận ựược, mô hình sẽ ựược sử dụng ựể phân lớp cho các dữ liệu mới.
repository.vnu.edu.vn Xem trực tuyến Tải xuống
Chương 2: Trình bày kiến thức về kiểm thử phần mềm, chiến lược kiểm thử đơn vị với kỹ thuật cụ thể là kiểm thử luồng điều khiển trong kiểm thử hộp trắng.. Chương 3: Giới thiệu về công cụ kiểm chứng JavaPathfinder, các kiến trúc chung về JPF, thành phần mở rộng của JPF và cách kiểm tra độ phủ của bộ dữ liệu kiểm thử thông qua tính năng trong lớp CoverageAnalyzer.. Chương 4: Đề xuất phương pháp kiểm tra độ phủ của bộ dữ liệu kiểm thử dựa trên công cụ Java Pathfinder.
repository.vnu.edu.vn Xem trực tuyến Tải xuống
Chương này sẽ nêu lên các khái niệm về kiểm thử chấp nhận, kiểm thử chấp nhận tự động. Chương sẽ trình bày các phương pháp kiểm thử chấp nhận hiện nay. Đồng thời, cũng giới thiệu một số các công cụ hỗ trợ kiểm thử tự động.. Chương này cũng hướng dẫn cách tạo dữ liệu kiểm thử: cú pháp, kiểu định dạng tệp hỗ trợ, bảng dữ liệu kiểm thử, quy tắc phân tích dữ liệu, sinh các ca kiểm thử và các lưu ý để tạo được ca kiểm thử tốt..
000000273437.pdf
dlib.hust.edu.vn Xem trực tuyến Tải xuống
Khái niệm kỹ thuật kiểm thử. Quan hệ giữa dữ liệu kiểm thử và tài liệu tham chiếu. Quan hệ giữa dữ liệu trích xuất với thông tin đặc tả ca kiểm thử. Quan hệ giữa một số thông tin cơ bản. Quan hệ giữa thông tin đầu vào, đầu ra, mục đích test. Các khái niệm cơ bản về kiểm thử. Các khái niệm về dữ liệu. Các khái niệm về kỹ thuật kiểm thử. Minh hoạ trên Protege – Thông tin của Flow.
dlib.hust.edu.vn Xem trực tuyến Tải xuống
Kết quả thử nghiệm với bộ dữ liệu huấn luyện và bộ dữ liệu kiểm thử 85 Hình 4.14. Mô hình nhúng cho kết quả thử nghiệm. 86 Hình 4.15. 87 8MỞ ĐẦU Mô hình hóa hệ thống mờ là một trong những công cụ mô hình hóa hệ thống nổi bật nhất được sử dụng trong việc phân tích các dữ liệu theo dạng không chắc chắn, không rõ ràng.
000000273437-tt.pdf
dlib.hust.edu.vn Xem trực tuyến Tải xuống
Ontology đã được bổ sung những khái niệm mới về kỹ thuật kiểm thử và dữ liệu kiểm thử nhằm mục đích biểu diễn được những thông tin cơ bản của ca kiểm thử thực tế (phù hợp với công việc ở nơi người làm luân văn đang công tác. Đã minh hoạ tìm kiếm thông tin cho ca kiểm thử bằng truy vấn SPARQL trên Protege. 3 So với các nghiên cứu ứng dụng ontology trong việc sinh ca kiểm thử thì kết quả thực nghiệm khá đơn giản và chưa mở rộng hay cải thiện được những nghiên cứu đã có.
000000273388.pdf
dlib.hust.edu.vn Xem trực tuyến Tải xuống
Để thực hiện được việc chấm điểm tự động này, trước tiên giáo viên cần biên soạn bài tập lập trình cùng với các đầu vào và đầu ra chuẩn của các bài kiểm thử. Kỹ thuật kiểm thử hộp đen thực chất là việc tự động biên dịch và chạy các chương trình do sinh viên thực hiện với các dữ liệu kiểm thử đầu vào, sau đó tự động đối sánh với các dữ liệu đầu ra chuẩn và dựa trên đó đánh giá mức độ hoàn thiện của chương trình theo tỷ lệ các bài kiểm thử thành công.
311541-tt.pdf
dlib.hust.edu.vn Xem trực tuyến Tải xuống
Kết luận: Kiểm thử hiệu năng nhằm xác định tốc độ, khả năng phân tải và mức độ tin tưởng của ứng dụng trong môi trường nhiều người dùng, có nhiều hoạt động khác nhau. Kết quả kiểm thử, theo dõi hiệu năng nhằm đánh giá khả năng của hệ thống để có sự điều chỉnh hợp lý về hệ thống phần cứng hay các phần mềm, cơ sở dữ liệu.
000000295713.pdf
dlib.hust.edu.vn Xem trực tuyến Tải xuống
Hai kỹ thuật đƣợc sử dụng trong kiểm thử hộp trắng là kiểm thử dòng điều khiển (Control Flow Testing) và kiểm thử dòng dữ liệu (Data Flow Testing). Phƣơng pháp kiểm thử dòng điều khiển tập trung kiểm thử tính đúng đắn của các giải thuật sử dụng trong các chƣơng trình, đơn vị phần mềm. Phƣơng pháp kiểm thử dòng dữ liệu tập trung kiểm thử tính đúng đắn của việc sử dụng các biến dữ liệu sử dụng trong chƣơng trình, đơn vị phần mềm. Kỹ thuật kiểm thử hộp đen (Black-Box Testing) Hình 1.3.
repository.vnu.edu.vn Xem trực tuyến Tải xuống
Bởi vì các kiểm thử khác bạn có thể tận dụng giao diện của trình khách. d) Kiểm thử Cơ sở dữ liệu. Tất cả các ứng dụng Web truy cập cơ sở dữ liệu đều yêu cầu trình chủ cơ sở dữ liệu, để có thể thiết kế các trường hợp kiểm thử cơ sở dữ liệu và phân tích các lỗi liên quan đến cơ sở dữ liệu, các kiểm thử viên cần hiểu được các khái niệm liên quan đến cơ sở dữ liệu, cách các thành phần của trình chủ Web giao tiếp với các thành phần cơ sở dữ liệu.. e) Kiểm thử bảo mật. f) Kiểm thử hiệu năng.
000000295713-tt.pdf
dlib.hust.edu.vn Xem trực tuyến Tải xuống
Nó góp một phần rất lớn trong việc đánh giá chất lượng của một phần mềm và là quy trình bắt buộc trong các dự án phát triển phần mềm trên thế giới cũng như trong nước. b) Mục đích nghiên cứu của luận văn, đối tượng, phạm vi nghiên cứu: Với mục đích phát hiện lỗi, kiểm thử phần mềm thường phải trải qua các bước: tạo dữ liệu thử, thực thi phần mềm trên dữ liệu thử và quan sát kết quả nhận được.
tainguyenso.vnu.edu.vn Xem trực tuyến Tải xuống
Khả năng ứng dụng trong thực tiễn: Kỹ thuật kiểm thử đột biến cung cấp một phương tiện để đánh giá và cải tiến chất lượng của dữ liệu thử. Nó góp phần làm tăng lòng tin của kiểm thử viên vào tính đúng đắn của chương trình và của dữ liệu thử..
repository.vnu.edu.vn Xem trực tuyến Tải xuống
Chu trình tạo dữ liệu đầu vào kiểm thử cho kiểm thử luồng điều khiển được mô tả trong lưu đồ dưới đây – Hình 1.6.. Hình 1.6 – Chu trình sinh dữ liệu đầu vào kiểm thử cho kiểm thử luồng điều khiển. Kiểm thử luồng dữ liệu. Kiểm thử tự động. Kiến trúc kiểm thử tự động. Ƣu và nhƣợc điểm của kiểm thử tự động 1.5.2. Lựa chọn công cụ kiểm thử tự động... Tiêu chí 1: Mục tiêu nhóm kiểm thử 1.5.1.2. Tiêu chí 3: Các kiểu kiểm thử. Tiêu chí 3: Các kiểu kiểm thử 1.6.1.4.
repository.vnu.edu.vn Xem trực tuyến Tải xuống
Kiểm thử khối lƣợng (volume test). Kiểm thử khối lượng là kiểm thử hiệu năng cho hệ thống khi nó phải thao tác với một lượng dữ liệu nhất định. 1.7 Công cụ kiểm thử hiệu năng 1.7.1 Công cụ kiểm thử hiệu năng. Có rất nhiều phần mềm kiểm thử hiệu năng trên thị trường. 1.7.2 Tiêu chuẩn để chọn một công cụ kiểm thử hiệu năng. Kết luận của kiểm thử viên về hiệu năng của hệ thống mới là công cụ tốt nhất phân tích, đánh giá hiệu năng của hệ thống [5]..
tainguyenso.vnu.edu.vn Xem trực tuyến Tải xuống
Quá trình sinh các ca kiểm thử tự động dựa trên mô hình gồm các công đoạn chính: Xây dựng mô hình, nhúng mã C, áp dụng công cụ Spin để sinh các ca kiểm thử. Trong đó xây dựng mô hình là công đoạn đầu tiên, nhiệm vụ chính ở đây là từ mô tả các yêu cầu của hệ thống và chức năng xác định cùng với dữ liệu đầu vào và ra phải xây dựng được mô hình của hệ thống.
repository.vnu.edu.vn Xem trực tuyến Tải xuống
Hiện nay, hai kỹ thuật chính đang được áp dụng rộng rãi trong kiểm thử phần mềm là kiểm thử hộp trắng và kiểm thử hộp đen [1]. Tuy nhiên, trong thực tế hiện nay, các công ty phần mềm thường tập trung nguồn lực vào kiểm thử hộp đen do kỹ thuật kiểm thử hộp trắng rất tốn kém vì liên quan đến phân tích mã nguồn và yêu cầu người kiểm thử phải có hiểu biết sâu sắc về hệ thống, có khả năng phân tích cấu trúc dữ liệu cũng như am hiểu nhất định các vấn đề kỹ thuật của chương trình..