Phương pháp sinh dữ liệu kiểm thử tự động cho các ứng dụng java

Báo cáo " 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 mô hình " potx

Báo cáo " 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 mô hình " potx

... mở rộng, phát triển JPF Ngoài phần quan trọng giới thiệu thực thi tượng trưng để sinh liệu kiểm thử cho chương trình JPF Mở rộng cho phép sinh tự động liệu kiểm thử chương trình Java Chương 3: ... trình nghiên cứu kiểm chứng chương trình tác giả có tìm hiểu JavaPathFinder (JPF) JPF dự án mã nguồn mở phát triển ngôn ngữ Java Hiện có mở rộng JPF việc sinh tự động li...

Ngày tải lên: 02/04/2014, 16:20

2 553 2
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 MÔ HÌNH

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 MÔ HÌNH

... NGHỆ PHAN VĂN TIẾN 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 MÔ HÌNH NGÀNH: CÔNG NGHỆ THÔNG TIN CHUYÊN NGÀNH: CÔNG NGHỆ PHẦN MỀM MÃ SỐ: 60 48 10 LUẬN VĂN ... với liệu đầu vào thật, kỹ thuật phân tích mã nguồn tĩnh xem xét mã nguồn chương trình Kỹ thuật kiểm thử phần mềm dựa mô hình: khác với hai nhóm điểm đối tượng kiểm thử...

Ngày tải lên: 05/10/2014, 18:59

53 1,5K 7
Báo cáo " Xây dựng hệ thống kiểm thử tự động cho các giai đoạn cài đặt phần mềm " ppt

Báo cáo " Xây dựng hệ thống kiểm thử tự động cho các giai đoạn cài đặt phần mềm " ppt

... thiết để xây dựng hệ thống kiểm thử phần mềm vấn đề gặp phải Luận văn mô tả bước trình phân tích thiết kế xây dựng hệ thống kiểm thử tự động, áp dụng vào kiểm thử hệ thống thực tế, góp phần giảm ... quan kiểm thử tự động Chương trình bày khái niệm kiểm thử tự động, vai trò lợi ích ứng dụng kiểm thử tự động hoạt động kiểm thử...

Ngày tải lên: 02/04/2014, 16:20

3 613 1
Tìm hiểu công cụ kiểm thử tự động selenium và ứng dụng trong thực nghiệm

Tìm hiểu công cụ kiểm thử tự động selenium và ứng dụng trong thực nghiệm

... thủ công cách phổ biến kiểm thử chiếm nhiều thời gian Tuy nhiên có công cụ để rút ngắn thời gian cần thiết để thử nghiệm kiểm thử tự động hóa công việc thủ công Một cách để tự động hóa test Selenium ... cần cài thêm công cụ bổ trợ - Selenium bao gồm công cụ hỗ trợ kiểm tra tự động tính ứng dụng web bao gồm : Selenium IDE , Selenium Remot...

Ngày tải lên: 18/11/2015, 16:07

17 2,1K 15
Phương pháp sinh bộ kiểm thử tự động cho kiểm thử giao diện ứng dụng web

Phương pháp sinh bộ kiểm thử tự động cho kiểm thử giao diện ứng dụng web

... hướng, theo nhánh tạo trường hợp kiểm thử cho sản phẩm Mục đích luận án đề xuất phương pháp cho phép để xây dựng phương pháp kiểm thử tự động cho giao diện ứng dụng web Cấu trúc luận văn Trong phần ... động giao diện ứng dụng web dựa mô hình Nội dung nghiên cứu luận văn Luận văn tập trung vào vấn đề làm để xây dựng công cụ kiểm thử tự độn...

Ngày tải lên: 25/08/2015, 11:19

3 377 2
Phương pháp sinh bộ kiểm thử tự động cho kiểm thử giao diện ứng dụng web   luận văn ths  công nghệ thông tin   60 48 10 pdf

Phương pháp sinh bộ kiểm thử tự động cho kiểm thử giao diện ứng dụng web luận văn ths công nghệ thông tin 60 48 10 pdf

... CÔNG NGHỆ HÀ KHÁNH TOÀN PHƢƠNG PHÁP SINH BỘ KIỂM THỬ TỰ ĐỘNG CHO KIỂM THỬ GIAO DIỆN ỨNG DỤNG WEB Ngành: Công nghệ thông tin Chuyên ngành: Công nghệ phần mềm Mã số: 60 48 10 LUẬN VĂN THẠC SĨ CÔNG ... thử tự động nhằm sinh tự động ca kiểm thử cho kiểm thử tự động giao diện ứng dụng Web Để thực điều toán xây dựng công cụ kiểm t...

Ngày tải lên: 18/12/2015, 23:35

63 456 2
Nghiên cứu phương pháp biến đổi bề mặt thanh dao động hướng đến ứng dụng làm cảm biến phát hiện chỉ thị ung thư gan AFP và DKK1

Nghiên cứu phương pháp biến đổi bề mặt thanh dao động hướng đến ứng dụng làm cảm biến phát hiện chỉ thị ung thư gan AFP và DKK1

... MINH PTN CÔNG NGHỆ NANO NGUYỄN TRUNG THÀNH NGHIÊN CỨU PHƯƠNG PHÁP BIẾN ĐỔI BỀ MẶT THANH DAO ĐỘNG HƯỚNG ỨNG DỤNG LÀM CẢM BIẾN PHÁT HIỆN CHỈ THỊ UNG THƯ GAN AFP VÀ DKK1 Chuyên ngành: Vật liệu Linh ... thể lên bề mặt dao động hướng đến ứng dụng làm cảm biến phát thị ung thư gan AFP DKK1 Mục tiêu ý nghĩa đề tài 2.1 Mục tiêu Mục tiêu đề tài nghiên...

Ngày tải lên: 28/08/2015, 23:14

96 392 1
Tài liệu Vô hiệu hoá UAC cho các ứng dụng trong Windows Vista docx

Tài liệu Vô hiệu hoá UAC cho các ứng dụng trong Windows Vista docx

... Trong cửa sổ Properties vào tab Compatibility Kích vào ô chọn Run this program as an administrator kích OK Vậy từ lần sau bạn mở ứng dụng này, cửa sổ UAC yêu cầu xác nhận hợp lệ Tạo fix UAC ... sở liệu vừa tạo chọn Create New -> Application Fix Quá trình Create new Application Fix chạy khởi chạy Nhập vào tên ứng dụng, tên hãng (không bắt buộc) duyệt tới vị trí file thực thi ứ...

Ngày tải lên: 17/12/2013, 07:15

13 447 0
Mở rộng javapathfinder với z3 để sinh tự động dữ liệu kiếm thử chương trình java

Mở rộng javapathfinder với z3 để sinh tự động dữ liệu kiếm thử chương trình java

... công JPF với Z3 để sinh tự động liệu kiểm thử chương trình Java Việc mở rộng giúp JPF sinh tự động liệu cho nhiều chương trình Java hơn, việc hỗ trợ đại số phi tuyến Kết luận văn mang tính thử nghiệm ... cứu nắm bắt rõ Z3 JPF Sau bước đầu tích hợp thành công Z3 vào JPF (mở rộng JPF với Z3) để sinh tự động liệu kiểm thử chương...

Ngày tải lên: 08/07/2015, 19:56

55 587 0
Nghiên cứu định lượng metronidazol bằng phương pháp đo quang phổ hấp thụ tử ngoại trong môi trường kiềm

Nghiên cứu định lượng metronidazol bằng phương pháp đo quang phổ hấp thụ tử ngoại trong môi trường kiềm

... acid: r n Trong phõn t Metronidazol cú cha d vũng imidzol, d vũng ny hp th mnh bc x t ngoi Ngi ta ng dng tớnh cht ny nh lng Metronidazol bng phng phỏp o ph t ngoi Trong mụi trng acid HCl, Metronidazol ... lng Metronidazol cỏc c s Song gúp phn lm phong phỳ thờm cỏc phng phỏp nh lng Metronidazol, da vo cu trỳc hoỏ hc ca Metronidazol chỳng tụi nghiờn cu nh lng Metronidazol bng p...

Ngày tải lên: 25/09/2015, 10:42

31 2,1K 3
Xử lý nước thải dệt nhuộm theo phương pháp sinh học kết hợp keo tụ tạo bông

Xử lý nước thải dệt nhuộm theo phương pháp sinh học kết hợp keo tụ tạo bông

... c a vo x lý sinh hc hiu khớ Theo nhng nghiờn cu trc õy v cụng ngh x lý nc thi dt nhum, chỳng tụi tin hnh x lý sinh hc hiu khớ trc x lý húa lý Trong quỏ trỡnh sinh trng v phỏt trin, vi sinh vt ... phõn hy sinh hc v x lý mt phn cỏc hp cht hu c khú phõn hy sinh hc di tỏc dng ca quỏ trỡnh sinh trng v phỏt trin ca cỏc vi sinh vt, giỳp gim bt ti lng hot ng ca quỏ trỡnh...

Ngày tải lên: 23/09/2012, 16:04

6 2,2K 23
w