...
Công nghệ phần mềm
Xác minh và thẩm định phần
mềm
Kiểm thử phần mềm
Quản lý và đảm bảo chất lượng
Đảm bảo chất lượng phần mềm
Xác minh và thẩm định phần
mềm
Kiểm thử phần mềm
Số hóa ... lỗi phần mềm xuất hiện? 6
1.1.4. Chi phí cho việc sữa lỗi 7
1.1.5. Kiểm thử phần mềm là gì? 8
1.2. Chất lƣợng phần mềm 8
1.3. Qui trình kiểm...
... phương pháp kiểm thử: Kiểm thử trên bàn hay kiểm
thử tĩnh và Kiểm thử trên máy hay kiểm thử động. Kiểm thử tĩnh thường được
tiến hành trước nhằm tạo ra kịch bản cho kiểm thử động.
1.5 Các kỹ thuật ... trường hợp kiểm thử
Thiết kế trường
hợp
kiểm thử
Chuẩn bị dữ
liệu
kiểm thử
Chạy trương
trình với dữ
kiệu kiểm thử
Trường hợp
kiểm thử
dữ...
... đơn vị của chương trình Java. Đồng thời, đề 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 sử dụng hai công cụ trên. Cụ thể, kiểm thử
chương trình sắp xếp ... thiệu các
phương pháp cải tiến kỹ thuật kiểm thử đột biến nhằm giảm chi phí tính toán và tăng
tự động hóa. Chương 4: Tập trung vào...
... 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 ... việc sinh tự động dữ 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 JP...
... spec).
II.6. Sơ lượt các kỹ thuật và công đoạn kiểm nghiệm:
Các kỹ thuật và công đoạn kiểm nghiệm có thể chia như sau:
Kiểm nghiệm tầm hẹp: kiểm nghiệm các bộ phận riêng rẽ.
– Kiểm nghiệm hộp trắng ... của các tiêu chí chất lượng phần mềm ,
“mức độ chi tiết đơn vị” và “phương pháp kiểm nghiệm”
II.5. Sự tương quan giữa các công đoạn xây dụng phần...
... nào hoạt động cả
Kỹ Thuật Kiểm Thử Phần Mềm Cơ Sở Kiểm Thử Phần Mềm CH14
Phiên Bản 1.0 8 Hướng Dẫn : GT.TSHK. Hoàng Kiếm
6. Cơ Sở Kiểm Thử Phần Mềm
6.1. Bài Toán Kiểm Thử Phần Mềm
Quá trình phát ... những kỹ thuật hiệu quả để tạo được các trường hợp kiểm thử
tốt.
Kỹ Thuật Kiểm Thử Phần Mềm Kỹ Thuật Thiết Kế CH14
Phiên Bản 1.0 22 Hư...
... HỌC CÔNG 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
LUẬN VĂN THẠC SĨ
Hà Nội - 2011
47
Hình 4.3: Sơ đồ lớp tổng quát
4.5 Kết ... như kỹ thuật kiểm thử dữ liệu động đòi hỏi phải
chạy chương trình với dữ liệu đầu vào thật, kỹ thuật phân tích mã nguồn tĩnh chỉ xem xét
mã nguồn của chương trình.
Kỹ thu...
... đề xuất mô
hình kết hợp kiểm chứng mô hình và các kỹ thuật kiểm thử phần mềm. Việc ứng dụng
công cụ kiểm chứng SPIN và các kỹ thuật kiểm thử để tăng tính tin cậy của hệ thống
phần mềm sẽ được ...
KẾT HỢP PHƯƠNG PHÁP KIỂM CHỨNG MÔ HÌNH VÀ
CÁC KỸ THUẬT KIỂM THỬ PHẦN MỀM LÀM TĂNG ĐỘ
TIN CẬY CỦA HỆ THỐNG PHẦN MỀM
Ngành: Côn...
... mục tiêu nghiên cứu khảo sát sơ bộ các kỹ thuật kiểm
thử phần mềm, với giải pháp áp dụng các mô hình UML vào kiểm thử phần
mềm trên cơ sở cấu phần. Từ đó, áp dụng các kết quả nghiên cứu lý thuyết ... phần, tiếp cận UML,
và vai trò của UML đặc tả thiết kế, ứng dụng vào kiểm thử.
2) Nghiên cứu phương pháp luận kiểm thử phần mềm trên...
... 3: NGHIÊN CỨU XÂY DỰNG CÔNG CỤ KIỂM THỬ PHẦN MỀM TỰ
ĐỘNG TRÊN MÔI TRƢỜNG .NET 48
3.1 Đặt vấn đề 48
3.2 Đặc điểm của môi trƣờng DOT NET và kiểm thử tự động 49
3.2.1 Sử dụng C# trong kiểm thử ... nêu trên:
- Chƣơng 1: Khái quát về kiểm thử phần mềm.
- Chƣơng 2: Phƣơng pháp và các thể loại kiểm thử phần mềm.
- Chƣơng 3: Nghiên cứu xây dựng công cụ...