TAILIEUCHUNG - Báo cáo " Phương pháp tạo giả định tối thiểu áp dụng để kiểm chứng phần mềm hướng thành phẩm "

Giới thiệu tổng quan phần mềm hướng thành phần, đưa ra các khái niệm cơ bản và cách tiếp cận để kiểm chứng phần mềm hướng thành phần. Trình bày chi tiết thuật toán học L*, giải thuật tạo giả định sử dụng thuật toán học L*. Nghiên cứu giải thuật tạo giả định tối thiểu. Đưa ra một phản ví dụ để minh hoạ rằng: giả định được tạo ra bởi giải thuật sử dụng thuật toán học L* chưa phải là giả định tối thiểu. Nêu lên một ví dụ cụ thể để minh hoạ cho thuật. | rd 1 A 7 4- 1 J Ấ -1 Ẳ r 1 4-Ẳ Phương pháp tạo giả định tôi thiêu áp dụng đê kiêm chứng phần mêm hướng thành phâm Nguyễn Văn Hiếu 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 hướng dẫn TS. Lê Anh Cường Năm bảo vệ 2009 Abstract Giới thiệu tổng quan phần mêm hướng thành phần đưa ra các khái niệm cơ bản và cách tiếp cận đê kiêm chứng phần mêm hướng thành phần. Trình bày chi tiết thuật toán học L giải thuật tạo giả định sử dụng thuật toán học L . Nghiên cứu giải thuật tạo giả định tôi thiêu. Đưa ra một phản ví dụ đê minh hoạ rằng giả định được tạo ra bởi giải thuật sử dụng thuật toán học L chưa phải là giả định tôi thiêu. Nêu lên một ví dụ cụ thê đê minh hoạ cho thuật toán tạo giả định tôi thiêu. Sử dụng bộ công cụ LTSA đê xác minh một sô hệ thông đơn giản nhằm so sánh vê thời gian cũng như bộ nhớ sử dụng của giải pháp cũ và giải pháp được đưa ra trong luận văn. Keywords Công nghệ phần mêm Công nghệ thông tin Tin học Máy tính Phần mêm hướng thành phâm Content MỞ ĐẦU Phát triên phần mêm hướng thành phần Component-Based Software Development -CBSD là một trong những công nghệ quan trọng nhất trong kỹ nghệ phần mêm. Hệ thông phần mêm hướng thành phần được xây dựng dựa trên quá trình lựa chọn và ghép nôi các thành phần riêng biệt thành một hệ thông hoàn chỉnh. Với cách tiếp cận này phát triên phần mêm hướng thành phần đã góp phần rút ngắn thời gian thực hiện dự án nâng cao chất lượng và độ tin cậy của sản phầm. Vì những ưu điêm này mà công nghệ này đã được áp dụng rộng rãi trong quá trình phát triên các dự án phần mêm hiện nay. Tuy nhiên một trong những hạn chế của CBSD là vấn đê đảm bảo tính đúng đắn của hệ thông khi ghép nôi các thành phần với nhau vì các thành phần có thê được phát triên một cách độc lập hoặc được đặt mua từ các công ty thứ 3 third parties . Hiện tại các công nghệ hỗ trợ phát triên phần mêm hướng thành phần như CORBA OMG COM DCOM or .NET Microsoft Java and JavaBeans Sun . vv chỉ hỗ trợ việc ghép nôi các thành .

• Báo cáo khoa học
• Phương pháp tạo giả địn
• công nghệ phần mềm
• quy trình kiểm thử
• nghiên cứu khoa học
• điện toán đám mây
• kiểm thử phần mềm
• Kiểm thử phần mềm Chương 2
• Nhập môn kiểm thử phần mềm
• Lỗi phần mềm
• Quy trình kiểm thử phần mềm
• Vai trò của kiểm thử phần mềm
• Nguyên lý của kiểm thử phần mềm
• Bài giảng Kiểm thử phần mềm
• Công cụ kiểm thử phần mềm
• Thiết kế phần mềm
• Kiểm soát chất lượng phần mềm
• Nguyên tắc kiểm thử phần mềm
• Sơ đồ tổ chức đội kiểm thử
• Môi trường kiểm thử
• Dữ liệu kiểm thử
• Thiết kế ca kiểm thử
• Kiểm thử chức năng phần mềm
• Kiểm thử cấu trúc phần mềm
• Kiểm thử luồng điều khiển
• Kỹ thuật kiểm thử
• Gia công phần mềm
• Quản lý kiểm thử phần mềm
• Công cụ kiểm thử tự động
• Kế hoạch kiểm thử phần mềm
• Thực hiện quy trình kiểm thử phần mềm
• Thiết kế kiểm thử
• Bài giảng Công cụ kiểm thử phần mềm
• Qui trình kiểm thử phần mềm
• Cấp độ kiểm thử
• Các loại kiểm thử
• Vòng đời phát triển phần mềm
• Cấu trúc dữ liệu phần mềm
• Tiến trình làm phần mềm
• Đánh giá chất lượng phần mềm
• Kiểm thử hiệu năng
• Thành phần kiểm thử hiệu năng
• Phân loại kiểm thử hiệu năng
• Báo cáo kiểm thử phần mềm
• Test summary report
• Vòng đời lỗi phần mềm
• Mức độ kiểm thử phần mềm
• Qui trình phát triển phần mềm
• Chiến lược kiểm thử
• Kỹ thuật thiết kế kiểm thử phần mềm
• Phương pháp kiểm thử phần mềm
• Khái niệm kiểm thử phần mềm
• Công cụ kiểm thử
• Xây dựng tài liệu kiểm thử
• Quản lý kiểm thử
• Lập kế hoạch kiểm thử
• Công cụ hỗ trợ kiểm thử
• Kiểm soát quá trình kiểm thử
• Báo cáo đề tài khoa học và công nghệ
• Kỹ thuật hệ thống
• Phần mềm kiểm thử
• Quy tình kiểm thử
• Hoạt động kiểm thử phần mềm
• Kiểm chứng Phần mềm
• Bài giảng Kiểm chứng Phần mềm
• Software Testing
• Nguyên lý kiểm thử phần mềm
• Kỹ thuật kiểm thử phần mềm
• Bài giảng Công nghệ phần mềm
• Kiểm chứng phần mềm
• Thiết kế kiểm thử phần mềm
• Phân hoạch tương đương
• Phân tích giá trị biên
• Trường hợp kiểm thử phần mềm
• Đầu vào Test case
• Cấu trúc Test case
• Cấu trúc Test result