Kiểm thử phần mềm dựa trên Ontology
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
... triển trên JPF. Ngoài ra còn một phần rất quan trọng đó là 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. Mở rộng này sẽ cho phép sinh tự động dữ liệu kiểm ... liệu đầu vào để kiểm thử chương trình. Tuy nhiên còn rất nhiều hạn chế, vì vậy tác giả đã nghĩ đến việc làm sao để tích hợp được Z3 với JPF để có thể sinh tự động dữ liệu kiểm...
Ngày tải lên: 02/04/2014, 16:20
Xây dựng công cụ ước lượng chi phí phát triển phần mềm dựa trên CBR và thử nghiệm ở Công ty Honda Việt Nam
... lượng chi phí phát triển phần mềm dựa trên CBR và thử nghiệm ở Công ty Honda Việt Nam Lương Minh Hải Trường Đại học Công nghệ Luận văn Thạc sĩ ngành: Công nghệ phần mềm; Mã số: 60 48 10 Người ... phần mềm Nội dung chương: Mô tả chi tiết các bước của quy trình ước lượng chi phí phát triển phần mềm và một số phương pháp ước lượng thường sử dụng. - Chương 3: Phươ...
Ngày tải lên: 19/09/2013, 11:47
Nghiên cứu ứng dụng công cụ satan để phân tích khả năng kiểm thử phần mềm cho các thiết kế trên môi trường simulink
... ví dụ thử nghiệm trên công cụ SATAN Chương 1 TỔNG QUAN VỀ PHÂN TÍCH KHẢ NĂNG KIỂM THỬ PHẦN MỀM 1.1. KIỂM THỬ PHẦN MỀM 1.1.1. Khái niệm IEEE: Kiểm thử là tiến trình kiểm tra phần mềm hoặc ... động kiểm thử 1.1.3. Các khó khăn khi thực hiện kiểm thử phần mềm. 1.2. PHÂN TÍCH KHẢ NĂNG KIỂM THỬ PHẦN MỀM 1.2.1. Khái niệm Tổ chức IEEE khái niệm PTKNKT phần mềm...
Ngày tải lên: 30/12/2013, 22:21
Báo cáo " Xây dựng công cụ ước lượng chi phí phát triển phần mềm dựa trên CBR và thử nghiệm ở Công ty Honda Việt Nam " docx
... lượng chi phí phát triển phần mềm dựa trên CBR và thử nghiệm ở Công ty Honda Việt Nam Lương Minh Hải Trường Đại học Công nghệ Luận văn Thạc sĩ ngành: Công nghệ phần mềm; Mã số: 60 48 10 Người ... phát triển phần mềm: Mô tả chi tiết các bước của quy trình ước lượng chi phí phát triển phần mềm và một số phương pháp ước lượng thường sử dụng. Chương 3: Phương pháp lập...
Ngày tải lên: 25/03/2014, 00:21
Luận văn:NGHIÊN CỨU ỨNG DỤNG CÔNG CỤ SATAN ĐỂ PHÂN TÍCH KHẢ NĂNG KIỂM THỬ PHẦN MỀM CHO CÁC THIẾT KẾ TRÊN MÔI TRƯỜNG SIMULINK pot
... ví dụ thử nghiệm trên công cụ SATAN Chương 1 TỔNG QUAN VỀ PHÂN TÍCH KHẢ NĂNG KIỂM THỬ PHẦN MỀM 1.1. KIỂM THỬ PHẦN MỀM 1.1.1. Khái niệm IEEE: Kiểm thử là tiến trình kiểm tra phần mềm hoặc ... hiện kiểm thử phần mềm. 1.2. PHÂN TÍCH KHẢ NĂNG KIỂM THỬ PHẦN MỀM 1.2.1. Khái niệm Tổ chức IEEE khái niệm PTKNKT phần mềm là xác định mức độ phần mềm phù hợp với c...
Ngày tải lên: 25/03/2014, 13:20
Một số kỹ thuật kiểm thử phần mềm
... LƢỢNG PHẦN MỀM VÀ KIỂM THỬ PHẦN MỀM……………………………………….…………………… ….4 1.1. Sản phẩm phần mềm và vấn đề kiểm thử phần mềm ……….…… 4 1.1.1. Sản phẩm phần mềm là gì? 4 1.1.2. Thế nào là lỗi phần mềm? ... hóa KIỂM THỬ Bàn giao SP Kế hoạch kiểm thử Các trường hợp kiểm thử Dữ liệu kiểm thử Các báo cáo kiểm thử Công nghệ hệ thống Công nghệ phần mềm Xá...
Ngày tải lên: 07/11/2012, 09:38
Nghiên cứu công cụ kiểm thử phần mềm IBM Rational funtional tester 7.0
... cho kiểm thử hồi quy phải được xác định trong kế hoạch kiểm thử. Leader kiểm thử phải xác định khi nào đội dự án kiểm soát kiểm thử hồi quy và phạm vi kiểm thử hồi quy. Lập biểu của kiểm thử ... phần mềm tại trung tâm phát triển phần mềm Đại Học Duy Tân CHƯƠNG I. CƠ SỞ LÝ THUYẾT I. TỔNG QUAN VỀ QUÁ TRÌNH KIỂM THỬ I.1 Một số định nghĩa về quá trình kiểm thử...
Ngày tải lên: 22/11/2012, 14:43
Thiết kế test case trong kiểm thử phần mềm
... các ca kiểm thử. Các ca kiểm thử thu được như sau: STT Các điều kiện Ca kiểm thử Hành động 48 1.2 Nguyên tắc kiểm thử phần mềm Để kiểm thử đạt hiệu quả thì khi tiến hành kiểm thử phần mềm cần ... R5 49 1.1.2 Các phương pháp kiểm thử Có 2 phương pháp kiểm thử chính là: Kiểm thử tĩnh và Kiểm thử động. 1.1.2.1 Kiểm thử tĩnh – Static testing Là...
Ngày tải lên: 23/11/2012, 11:42
Kiến trúc phần mềm dựa trên agent
... thức với người phát triển phần mềm khi phải đối đầu với những yêu cầu về hệ phần mềm phức tạp, mở và phân tán. Chúng ta đã được biết các cách phát triển phần mềm dựa trên cách cách tiếp cận hướng ... cách sử dụng Proxy động được xây dựng dựa trên lý thuyết, các kiến thức về kiến trúc xây dựng phần mềm dựa trên Agent – một hướng nghiên cứu phát triển phần mề...
Ngày tải lên: 23/11/2012, 15:03
Công nghệ phần mềm Kiểm thử phần mềm
... case • Ví dụ: kiểm tra màn hình đăng nhập Tại sao kiểm thử lại cần thiết? • Kiểm thử phần mềm chất lượng phần mềm được nâng cao. • Chúng ta có thể đánh giá chất lượng phần mềm dựa vào số lượng ... từ các hệ thống con khác Nội dung Khái niệm kiểm thử phần mềm Một số đặc điểm của kiểm thử phần mềm Tại sao kiểm thử lại cần thiết? Qui trình kiểm...
Ngày tải lên: 18/01/2013, 16:14