Tìm thấy 16+ kết quả cho từ khóa "Kiểm thử tự động"
repository.vnu.edu.vn Xem trực tuyến Tải xuống
Tổng chi phí kiểm thử được xác định bằng tổng chi phí kiểm thử thủ công và tự động:. 3.6 Một số hạn chế trong tự động hóa kiểm thử Không thể thay thế kiểm thử thủ công. Kiểm thử thủ công có khả năng phát hiện lỗi tốt hơn kiểm thử tự động Tự động hóa kiểm thử không cải thiện nhiều về tính hiệu quả. Tự động hóa kiểm thử có thể làm hạn chế sự phát triển phần mềm Các công cụ không có trí tưởng tượng.
repository.vnu.edu.vn Xem trực tuyến Tải xuống
Chương 1: Tổng quan về kiểm thử và kiểm thử tự động Trình bày tổng quan về kiểm thử, kiểm thử tự động.. Chương 2: Phương pháp sinh Test Case tự động. Trình bày các khái niệm cơ bản về Test Case và các Phương pháp sinh Test Case tự động hiện hay.. Chương 3: Phương pháp sinh Test Case từ giao diện. Trình bày phương pháp sinh Test Case từ giao diện và áp dụng phương pháp sinh Test Case từ giao diện với ví dụ cụ thể..
repository.vnu.edu.vn Xem trực tuyến Tải xuống
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. ngành: Công nghệ phần mềm. Trình bày khái niệm về kiểm thử tự động, vai trò và lợi ích khi ứng dụng kiểm thử tự động trong hoạt động kiểm thử phần mềm cũng như trình bày các bước để phát triển một công cụ kiểm thử tự động và các vấn đề có thể gặp phải trong quá trình phát triển. Giới thiệu sơ lược về hệ thống thông tin có tên là SEC. Lý do cần thiết phải xây dựng hệ thống kiểm thử tự động để kiểm thử cho hệ thống SEC.
repository.vnu.edu.vn Xem trực tuyến Tải xuống
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,"
repository.vnu.edu.vn Xem trực tuyến Tải xuống
Tổng quan về kiểm thử hộp trắng. Kỹ thuật kiểm thử dòng điều khiển. Kiểm thử hộp trắng dòng điều khiển theo hướng động. Kiểm thử hộp trắng dòng điều khiển theo hướng tĩnh. Quy trình kiểm thử hộp trắng dòng điều khiển theo hướng tĩnh. Đồ thị dòng điều khiển. Các tiêu chí phủ kiểm thử. Đường kiểm thử. So sánh kĩ thuật kiểm thử hộp trắng dòng điều khiển theo hướng tĩnh và động. Tầm quan trọng của tự động hóa quy trình kiểm thử hộp trắng dòng điều khiểnError! Bookmark not defined.
311559.pdf
dlib.hust.edu.vn Xem trực tuyến Tải xuống
Ni dung lu m u tng quan v kim th t ng và công c t ng T ng hóa kch bn kim th s dng Selenium Trin khai và kim th h thng t qu 12 PHẦN NỘI DUNG CHƯƠNG I : TÌM HIỂU TỔNG QUAN VỀ KIỂM THỬ TỰ ĐỘNG VÀ CÔNG CỤ TỰ ĐỘNG 1. Kiểm thử tự động phần mềm là gì Kim th t ng. Mô hình chung của kiểm thử tự động phần mềm Kim th t ng phn. t ng hóa quy trình kim th trong mô hình kim th thc hin các ch.
repository.vnu.edu.vn Xem trực tuyến Tải xuống
Cuối cùng, sử dụng công cụ SMT solver để giải hệ các ràng buộc nhằm tìm kiếm nghiệm và từ đó sinh ca kiểm thử.. Một công cụ hỗ trợ phƣơng pháp này đã đƣợc cài đặt và thử nghiệm với một số ví dụ đơn giản nhằm minh chứng cho tính đúng đắn và hiệu quả của phƣơng pháp trên. Kết quả thực nghiệm cho thấy tiềm năng ứng dụng của công cụ này trong việc kiểm thử tự động ở các công ty.. Từ khóa: Kiểm thử dựa trên mô hình, kiểm thử tự động, biểu đồ tuần tự, đồ thị dòng điều khiển, ca kiểm thử, độ bao phủ..
tainguyenso.vnu.edu.vn Xem trực tuyến Tải xuống
Do đó, khoá luận này tập trung trình bày về việc nghiên cứu kiểm thử dựa trên mô hình và ứng dụng công cụ Spin vào việc tự động sinh các ca kiểm thử: Xây dựng mô hình hệ thống và thực nghiệm.. Bài toán thực hiện trong khóa luận này là bài toán kiểm thử dựa trên mô hình để sinh ra các ca kiểm thử một cách tự động. Thiết kế hệ thống bằng ngôn ngữ Promela và nhúng mã C vào thiết kế Promela là hai nội dung quan trong nhất của quá trình sinh ca kiểm thử tự động.
000000297032-tt.pdf
dlib.hust.edu.vn Xem trực tuyến Tải xuống
Đưa ra được quy trình thực hiện kiểm thử hướng mô hình bao gồm 6 bước, trong đó tập trung vào 3 bước: xây dựng mô hình, cấu hình kiểm thử, sinh các ca kiểm thử tự động. Đây là ba bước có thể áp dụng ngay kiểm thử hướng mô hình vào phát triển ứng dụng cho điện thoại di động thông minh.
repository.vnu.edu.vn Xem trực tuyến Tải xuống
Hình 3.3: Kiểm thử chức năng tạo bài viết. 3.2.3 Giải pháp ghi lại kết quả đầu ra a) Chụp hình lại kết quả kiểm thử. Cài đặt môi trƣờng kiểm thử. Xây dựng chƣơng trình kiểm thử tự động đăng nhập ứng dụng Web Giao diện trang chủ:. Tạo bảng trạng thái cũng chính là đầu vào của công cụ kiểm thử tự động cho đăng nhập:. Các bƣớc thực hiện kiểm thử tự động. Từ việc phân tích các trường hợp kiểm thử ở trên, xây dựng chương trình thực hiện việc kiểm thử tự động..
repository.vnu.edu.vn Xem trực tuyến Tải xuống
Một trong những giải pháp để hoàn thành tốt công việc này đó là thực hiện kiểm thử phần mềm. Kiểm thử là một công việc tốn nhiều thời gian và chi phí, thông thường thời gian dành cho việc kiểm thử chiếm đa số thời gian phát triển ứng dụng phần mềm. Tuy nhiên, để thực hiện kiểm thử đòi hỏi kiểm thử viên phải kiên nhẫn và tỉ mỉ, chính những điều này dẫn tới sự cần thiết của kiểm thử tự động. Kiểm thử tự động sẽ thực hiện tự động các ca kiểm thử theo một kịch bản cho sẵn hoặc tự nó sinh ra.
310256-tt.pdf
dlib.hust.edu.vn Xem trực tuyến Tải xuống
Do đó ngoài việc thực hiện các hoạt động kiểm thử chất lượng các phần mềm và hệ thống, việc nghiên cứu tìm hiểu đưa ra quy trình kiểm thử dịch vụ web cũng là một đòi hỏi cấp thiết cho đơn vị trong quá trình trưởng thành và phát triển về chuyên môn kiểm thử. b) Mục đích nghiên cứu của luận văn, đối tượng, phạm vi nghiên cứu Mục đích nghiên cứu: Nghiên cứu, đề xuất quy trình kiểm thử webservice và dùng công cụ kiểm thử tự động (KTTĐ) để kiểm thử webservice theo quy trình, nền tảng, từ đó góp phần phát
repository.vnu.edu.vn Xem trực tuyến Tải xuống
Để áp dụng các phương pháp kiểm chứng mô hình và các phương pháp kiểm thử tự động, chúng ta phải xây dựng mô hình mô tả chính xác hành vi của hệ thống . nghiên cứu hiện nay về kiểm chứng mô hình và kiểm thử tự động đều giả thiết rằng mô hình của hệ thống là sẵn có và đúng đắn. Trên thực tế, việc xây dựng mô hình của hệ thống là công việc khó khăn và tiềm ẩn nhiều lỗi.
repository.vnu.edu.vn Xem trực tuyến Tải xuống
Nguyên tắc chung khi kiểm thử giao diện phần mềm 3.3. Danh mục kiểm thử giao diện. Kiểm thử sự tuân thủ chuẩn Windows 3.3.1.1. Kiểm thử giao diện tự động. Tạo kế hoạch kiểm thử giao diện cho công cụ kiểm thử giao diện tự động 3.4.2. Sử dụng công cụ kiểm thử giao diện tự động. Mƣời điều cần nhớ khi kiểm thử giao diện tự động 3.4.4. Các thủ thuật khi kiểm thử giao diện tự động 3.4.5. Một số vấn đề thƣờng gặp với kiểm thử tự động 3.5. KIỂM THỬ GIAO DIỆNTHEO PHÂN LOẠI PHẦN MỀM 4.1.
311498-tt.pdf
dlib.hust.edu.vn Xem trực tuyến Tải xuống
Tác giả đã thực hiện cài đặt, kiểm thử các công cụ kiểm thử tự động (Robotium, Selendroid, Appium, Selenium) với một số ứng dụng trên điện thoại thông minh, từ đó đưa ra chọn lựa sự kết hợp của 2 công cụ kiểm thử tự động là Appium và Selenium, vì Selenium mạnh về kiểm thử tự động ứng dụng web, Selenium cần kết hợp với Appium để có thể kiểm thử ứng dụng di động đa nền tảng.
repository.vnu.edu.vn Xem trực tuyến Tải xuống
Hƣớng phát triển tiếp theo của luận văn là tìm cách cải tiến phƣơng pháp sinh ca kiểm thử sao cho số ca kiểm thử là ít nhất nhƣng độ bao phủ là lớn nhất có thể. Đồng thời, tác giả sẽ xây dựng một chƣơng trình sinh ca kiểm thử tự động dựa trên phƣơng pháp đã đƣợc cải tiến.
000000273388.pdf
dlib.hust.edu.vn Xem trực tuyến Tải xuống
Chương 2 Phân tích và thiết kế chi tiết của hệ thống chấm thi tự động, đề xuất giải pháp ứng dụng kỹ thuật kiểm thử vào việc chấm điểm tự động các bài thi lập trình. Chương 3 cài đặt hệ thống và kết quả kiểm thử Chương 4 kết luận Một số hệ thống chấm điểm tự động Online Judge là hệ thống chấm bài trực tuyến trên mạng Internet. Các thành viên chỉ cần nộp Source File lên và hệ thống sẽ chấm bài 1 cách tự động.
000000273388-tt.pdf
dlib.hust.edu.vn Xem trực tuyến Tải xuống
Mục tiêu của luận văn là xây dựng một hệ thống quản lý bài tập môn học và chấm điểm tự động trực tuyến trên công nghệ phổ biến như Joomla, Liferay,… cho phép tự động hóa quy trình nộp bài và đánh giá kết quả bài tập. Kiểm thử hộp đen và cơ chế tự động hóa quá trình. Ứng dụng kiểm thử hộp đen xây dựng hệ thống quản lý và chấm điểm tự động mã nguồn chương trình.
repository.vnu.edu.vn Xem trực tuyến Tải xuống
Kiểm thử tự động là một giải pháp hữu hiệu nhằm nâng cao tính chính xác và hiệu quả, cũng như giảm kinh phí và rút ngắn thời gian trong quá trình kiểm thử các sản phẩm phần mềm nói chung và các ứng dụng Web nói riêng [1]. Kiểm thử dựa trên mô hình đang được xem như là một phương pháp kiểm thử có khả năng tự động hóa cao.. Kiểm thử dựa trên mô hình là một phương pháp kiểm thử, trong đó các ca kiểm thử được sinh ra từ mô hình đặc tả hành vi của hệ thống đang được kiểm thử [1].
000000297032.pdf
dlib.hust.edu.vn Xem trực tuyến Tải xuống
Chỉ có một số ít các phương pháp sử dụng kiểm thử hướng mô hình cho việc kiểm thử phi chức năng. Trong kiểm thử hướng mô hình, các bộ kiểm thử được đưa ra một cách tự động (hoặc bán tự động) từ các mô hình kiểm thử. Kiểm thử hướng mô hình có thể được áp dụng tại tất cả các cấp độ kiểm thử từ kiểm thử đơn vị đến kiểm thử hệ thống. Kiểm thử hướng mô hình được coi là một phương pháp hình thức gọn nhẹ để kiểm chứng các hệ thống phần mềm.