Tìm thấy 10+ kết quả cho từ khóa "kiểm thử chương trình"
repository.vnu.edu.vn Xem trực tuyến Tải xuống
Kiểm thử đột biến bao gồm việc tạo ra các phiên bản lỗi của chương trình gốc được kiểm thử nhờ vào các toán tử đột biến. Các đột biến tương đương (equivalent mutant) là các đột biến của chương trình gốc nhưng hoạt động hoàn toàn giống với chương trình gốc và cho ra kết quả giống với chương trình gốc trong mọi trường hợp kiểm thử.. Các toán tử đột biến được xác định bởi ngôn ngữ của chương trình được kiểm thử và hệ thống đột biến được dùng để kiểm thử.. Cơ sở của kiểm thử đột biến.
tainguyenso.vnu.edu.vn Xem trực tuyến Tải xuống
Sử dụng MuJava để phân tích và tạo đột biến, và JUnit dùng để kiểm thử chương trình Java.. Đề xuất quy trình ứng dụng kỹ thuật kiểm thử đột biến để kiểm thử các chương trình Java.. Thiết kế các ca kiểm thử cho chương trình sắp xếp dãy số tăng dần theo thuật toán QuickSort (SXQSort.java) bằng cách sử dụng kỹ thuật kiểm thử hộp trắng và kỹ thuật kiểm thử hộp đen.. Sử dụng JUnit dùng để kiểm thử chương trình SXQSort.java với 22 ca kiểm thử.
tailieu.vn Xem trực tuyến Tải xuống
Chương 5 Kiểm thử. Kiểm thử phần mềm. Mặc dù được tự động hoá một phần bởi các công cụ, rất nhiều công đoạn trong quá trình sản xuất phần mềm vẫn được thực hiện bởi con người. Do đó phải kiểm thử chương trình trước khi chính thức sử dụng. Kiểm thử phần mềm là hoạt động thực thi chương trình với mục đích tìm ra lỗi. Kiêm thử phần mềm – tổng quan. Có 2 loại kiểm thử:. Kiểm thử phát triển (development test. Kiểm thử hộp đen (black-box).
repository.vnu.edu.vn Xem trực tuyến Tải xuống
Test Manager: quản lý việc thực hiện các kiểm thử của chương trình, theo dõi dữ liệu kiểm thử, kết quả mong đợi và các chức năng, tiện ích của chương trình được kiểm thử.. Test data generator: sinh dữ liệu kiểm thử cho chương trình. File comparator: Đối chiếu kết quả kiểm thử chương trình với kết quả kiểm thử trước đó và ghi lại sự khác nhau vào tài liệu.
tailieu.vn Xem trực tuyến Tải xuống
Với độ đo kiểm thử C,. Hình 7.7: Mối quan hệ giữa các độ đo cho kiểm thử dòng dữ liệu.. 7.2 Kiểm thử dựa trên lát cắt. 7.2.1 Ý tưởng về kiểm thử dựa trên lát cắt. 7.2.3 Một số lưu ý với kiểm thử dựa trên lát cắt. Khi đó, chúng ta có thể kiểm thử chương trình con ứng với lát cắt này. Chúng ta nên sử dụng kiểm thử dòng dữ liệu khi chương trình có nhiều tính toán. Kiểm thử dựa trên mô hình. 8.1 Khái niệm về kiểm thử dựa trên mô hình. Mô hình này được sử dụng để sinh đầu vào cho các ca kiểm thử.
www.scribd.com Xem trực tuyến Tải xuống
Kiểm thử người dùngNguyễn Thị Minh Tuyền 2 Nhập môn CNPMKiểm thử chương trình v Mục tiêu của kiểm thử là để chỉ ra rằng một chương trình thực hiện đúng như mong đợi và tìm ra được lỗi của chương trình trước khi đưa vào sử dụng. v Khi kiểm thử phần mềm, ta chạy phần mềm đó với dữ liệu nhân tạo. v Kiểm tra kết quả của việc kiểm thử để tìm ra lỗi, những bất thường hoặc thông tin về các thuộc tính phi chức năng của chương trình. v Kiểm thử là một phần của quy trình thẩm định và kiểm định 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.
tailieu.vn Xem trực tuyến Tải xuống
1.2 Khái niệm kiểm thử. phán xét kiểm thử (test oracle). Trong kiểm thử. Chương trình được kiểm thử Chương trình tính tổng. Phán xét kiểm thử. Kiểm thử viên Đúng. Các bước kiểm thử. kĩ thuật kiểm thử. nguồn tài nguyên, lịch kiểm thử. Khái niệm hoạt động kiểm thử. Các nguyên tắc kiểm thử. Kiểm thử hồi quy. Kiểm thử đơn vị. Kiểm thử tích hợp. Kiểm thử hệ thống. Kiểm thử chấp nhận. Các khó khăn của kiểm thử. 2.Kiểm thử nhằm mục đích gì. 5.Phán xét kiểm thử là gì?. Các kĩ thuật kiểm thử.
tailieu.vn Xem trực tuyến Tải xuống
Người kiểm thử hoàn toàn không quan tâm cấu trúc và hành vi bên trong của phần mềm.. Như vậy, cách tiếp cận kiểm thử hộp đen tập trung vào các yêu cầu chức năng của phần mềm. Kiểm thử hộp đen cố gắng tìm các loại lỗi sau:. kiểm thử. Như đã trình bày, việc kiểm thử tất cả các đầu vào của chương trình là không thể. Vì thế, khi kiểm thử chương trình nên giới hạn một tập con tất cả các trường hợp đầu vào có thể có..
tailieu.vn Xem trực tuyến Tải xuống
Nắm được các nguyên lý về kiểm thử. Hiểu khái niệm ca kiểm thử (test case). Làm thế nào để kiểm thử chương trình. Làm thế nào để kiểm thử hệ thống. Các nguyên lý về kiểm thử. Ca kiểm thử (test case). Các kỹ thuật kiểm thử chương trình. Kiểm thử chức năng. Kiểm thử cấu trúc. Các giai đoạn và chiến lược kiểm thử. Verification –Kiểm chứng:. Thứ tự thực hiện: Verification ->. không thực hiện chương trình. thực hiện chương trình. Thiết kế hệ thống. kiểm thử mô đun.
000000295713-tt.pdf
dlib.hust.edu.vn Xem trực tuyến Tải xuống
Chương 3: Thử nghiệm áp dụng các thuật toán kiểm thử dựa tìm kiếm trong kiểm thử cấu trúc. Chương này trình bày các thực nghiệm của kỹ thuật kiểm thử dựa tìm kiếm vào bài toán kiểm thử cho chương trình phân loại tam giác. Từ đó so sánh và đánh giá ưu điểm và cải tiến so với các kỹ thuật kiểm thử đơn giản. d) Phương pháp nghiên cứu. Tìm hiểu các thuật toán kiểm thử dựa tìm kiếm và viết chương trình.
tainguyenso.vnu.edu.vn Xem trực tuyến Tải xuống
Trạng thái chương trình thực thi trong Symbolic JPF. 48Hình 16: Bùng nổ việc thực thi tượng trưng trong Symbolic JPF. Phát hiện và thực thi tự động các UT. Khi thực thi phương thức kiểm thử Test1 thì ngoại lệ ArgumentNullException được ném ra. Khi thực thi phương thức kiểm thử Test2 thì ArgumentException được ném ra. Việc viết các ca kiểm thử đơn vị để thực thi tất cả các đường đi của một chương trình là một công việc nặng nhọc.
www.scribd.com Xem trực tuyến Tải xuống
Do kiểm thử là chạy thử chương trình với tập dữ liệu giả nên không thể khẳng địnhtính đúng đắn của chương trình do bản chất quy nạp không hoàn toàn của nó. Trong nhiều trường hợp, việc kiểm thử thường được thực hiện từ những giai đoạn đầucủa quá trình cài đặt sản phẩm • Các chương trình nên được kiểm chứng theo 2 kỹ thuật: kiểm thử và chứng minh.
000000295713.pdf
dlib.hust.edu.vn Xem trực tuyến Tải xuống
Bố cục của luận văn Chương 1: Giới thiệu tổng quan về kiểm thử phần mềm và các kỹ thuật kiểm thử cấu trúc chƣơng trình. Chƣơng này trình bày về các quy trình, các khái niệm, kỹ thuật kiểm thử phần mềm và việc lựa chọn kiểu kiểm thử cho hệ thống phần mềm Chương 2: Phƣơng pháp kiểm thử dựa tìm kiếm. Chƣơng này trình bày về khái niệm và mô hình chung của kiểm thử dựa tìm kiếm, lợi ích và các thuật toán áp dụng kỹ thuật này.
www.scribd.com Xem trực tuyến Tải xuống
Thật không may làdanh sách này còn rất là dài.Có một phương pháp kiểm thử có hệ thống để xây dựng cấu trúc chương trìnhtrong khi đó tiến hành các bài kiểm thử để phát hiện ra lỗi liên quan đến lập giao diện.Mục tiêu là để kiểm thử các bộ phận và xây dựng một cấu trúc chương trình đã đượckiểm thử chính tả khi thiết kế.Thường có xu hướng cố gắng thực hiện tích hợp không theo trình tự từng bước.
tailieu.vn Xem trực tuyến Tải xuống
Bảng 5.14: Các ca kiểm thử đôi một cho hàm g TT x 1 x 2 x 3. Chuyển các hàng của ma trận thành các ca kiểm thử.. Áp dụng kiểm thử giá trị biên cho các chương trình ví dụ ở Chương 2.
www.academia.edu Xem trực tuyến Tải xuống
IEEE: Kiểm thử là tiến trình vận hành hệ thống hoặc thành phần dưới những ựiều kiện xác ựịnh, quan sát hoặc ghi nhận kết quả và ựưa ra ựánh giá về hệ thống hoặc thành phần ựó Myers: Kiểm thử là tiến trình thực thi chương trình với mục ựắch tìm thấy lỗi (The art of software testing) 3 Kiểm thử là gì ?
repository.vnu.edu.vn Xem trực tuyến Tải xuống
Chương 2: Kỹ thuật làm tăng tính khả kiểm thử. Chương này trình bày một số khái niệm về tính khả kiểm thử thông qua các độ đo cấu trúc thiết kế và chương trình. Chương này cũng trình bày một số kỹ thuật điển hình nhằm tăng tính khả kiểm thử của một hệ thống phần mềm nói chung.. Chương 3: Tính khả kiểm thử của ứng dụng trên nền web. Chương này phân tích đặc điểm của ứng dụng web và đề xuất một số điểm quan trọng cần chú ý để tăng tính khả kiểm thử của các ứng dụng web nói chung.
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.
repository.vnu.edu.vn Xem trực tuyến Tải xuống
Người kiểm thử truy cập vào mã nguồn chương trình để kiểm tra và lấy nó làm cơ sở cho việc kiểm thử. Và việc kiểm thử này dựa trên quá trình thực hiện xây dựng chương trình ứng dụng.. Kiểm thử hộp trắng còn là phương pháp kiểm thử dựa vào cấu trúc/mã lệnh của chương trình..