Xây dựng test case kiểm thử hộp trắng cho chương trình Eiffel ứng dụng nguyên lý design by contract

➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạm

Loại tài liệu: PDF

Số trang: 67 Trang

Tài liệu: ✅ ĐÃ ĐƯỢC PHÊ DUYỆT

TẢI VỀ

Nội dung chi tiết: Xây dựng test case kiểm thử hộp trắng cho chương trình Eiffel ứng dụng nguyên lý design by contract

Xây dựng test case kiểm thử hộp trắng cho chương trình Eiffel ứng dụng nguyên lý design by contract

Bộ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘINGUYỀN HÙNG CƯỜNGXÂY DựNG TEST CASE KIẺM THỬ Hộp TRÁNG CHO ( HƯỜNG TRÌNH EIFFEL ƯNG DỤNG NGUYÊN

Xây dựng test case kiểm thử hộp trắng cho chương trình Eiffel ứng dụng nguyên lý design by contract LÝ DESIGN BY CONTRACTChuyên ngành: Công nghệ phẩn niềmLUẬN VÀN THẠC sì KHOA HỌC CÒNG NGHẸ THÒNG TINNGƯỜI HƯỚNG DẦN KHOA HỌC: PGS.TS Huỳnh Quyết Thắng

Hà Nội - Năm 2010Xây dựng test case kiêm thứ hộp trắng cho chương trình Eiffel ứng dụng nguyên lý jL/vsiKii Uv V.-untiiiv VMỤC LỤCMỤC LỤC............. Xây dựng test case kiểm thử hộp trắng cho chương trình Eiffel ứng dụng nguyên lý design by contract

...................................................2LỜI CAM ĐOAN...........................................................5LÒI CẢM ƠN................

Xây dựng test case kiểm thử hộp trắng cho chương trình Eiffel ứng dụng nguyên lý design by contract

.............................................6NHẬN XÉT CỦA NGƯỜIHƯỞNG DÀN KHOA HỌC..................................7DANH MỤC CẤC HÌNH VẺ.............

Bộ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘINGUYỀN HÙNG CƯỜNGXÂY DựNG TEST CASE KIẺM THỬ Hộp TRÁNG CHO ( HƯỜNG TRÌNH EIFFEL ƯNG DỤNG NGUYÊN

Xây dựng test case kiểm thử hộp trắng cho chương trình Eiffel ứng dụng nguyên lý design by contract GUYÊN LÝ DESIGN BYCONTRACT..............................................................111.1.Ngón ngữ lập trinh Eiffel và môi trướng làm việc EiffelS

tudio...111.1.1.Lịch sử....................................................111.1.2.Các phiên bân EiftelStudio.................................141.1.3. Xây dựng test case kiểm thử hộp trắng cho chương trình Eiffel ứng dụng nguyên lý design by contract

Các đặc điểm cơ ban của ngôn ngừ lộp trình Eiffel..........151.1.3.1.Cấu trúc một lóp của ngôn ngữ lập trinh Eiffel.........171.1.3.2.Các kiều dừ liêu

Xây dựng test case kiểm thử hộp trắng cho chương trình Eiffel ứng dụng nguyên lý design by contract

cơ bàn................................191.2.Nguyên lý Design by Contract...................................221.2.1.Một so cơ ché mang lại tính tin cậ

Bộ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘINGUYỀN HÙNG CƯỜNGXÂY DựNG TEST CASE KIẺM THỬ Hộp TRÁNG CHO ( HƯỜNG TRÌNH EIFFEL ƯNG DỤNG NGUYÊN

Xây dựng test case kiểm thử hộp trắng cho chương trình Eiffel ứng dụng nguyên lý design by contract .........251.2.4.Nội dung nguyên lý Design by Contract......................26Tóm tắt chương 1....................................................292X

ây dựng test case kiêm thử hộp trăng cho chương trinh Eiffel ứng dụng nguyên lýCHƯƠNG 2 KIỀM THỬ PHẤN MÈM - KIỀM THỪ HỘP TRẢNG........................ Xây dựng test case kiểm thử hộp trắng cho chương trình Eiffel ứng dụng nguyên lý design by contract

.....302.1Kiêm thư phần mềm và xây dựng test case từ use case...................302.1.1.Giới thiệu về kiếm thư........................................

Xây dựng test case kiểm thử hộp trắng cho chương trình Eiffel ứng dụng nguyên lý design by contract

...302.1.1.1.Các nguyên lý trong kiêm thứ phân mèm........................302.1.1.2.Các cấp dộ kiêm thư phần mềm.................................32

Bộ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘINGUYỀN HÙNG CƯỜNGXÂY DựNG TEST CASE KIẺM THỬ Hộp TRÁNG CHO ( HƯỜNG TRÌNH EIFFEL ƯNG DỤNG NGUYÊN