tailieunhanh - Luận văn:Nghiên cứu phương pháp kiểm thử dựa trên biểu đồ trạng thái

Kiểm thử big bang Kiểm thử big bang (big bang testing) là một chiến lược kiểm thử hệ thống tiến hành một lần duy nhất khi đã phát triển toàn bộ các mô đun và tích hợp thành một phần mềm hoàn chỉnh Phương pháp này vẫn thường được tiến hành khi phát triển các phần mềm có kích thước nhỏ 28 | 1 Bộ GIÁO DỤC VÀ ĐÀO TẠO ĐAI HOC ĐÀ NÃNG TRẦN THỊ DIỆU LINH NGHIÊN CỨU PHƯƠNG PHÁP KIỂM THỬ DựA TRÊN BIỂU ĐỒ TRẠNG THÁI Chuyên nghành Khoa học Máy tính Mã số TÓM TẤT LUẬN VĂN THẠC sĩ KỸ THUẬT Đà Nằng - Năm 2011 2 Công trình được hoàn thành tại ĐẠI HỌC ĐÀ NẴNG Người hướng dẫn khoa học TS. Nguyễn Thanh Bình Phản biện 1 TS. Nguyễn Tấn Khôi Phản biện 2 PGS. TS. Đoàn Văn Ban Luận văn sẽ được bảo vệ trước Hội đồng chấm Luận văn tốt nghiệp thạc sĩ kỹ thuật họp tại Đại học Đà Nang vào ngày 15 tháng 10 năm 2011 Có thể tìm hiểu luận văn tại - Trung tâm Thông tin - Học liệu Đại học Đà Nang - Trung tâm Học liệu Đại học Đà Nang. 1 MỞ ĐẦU 1. Lý do chọn đề tài Trong tiến trình phát triển phần mềm giai đoạn kiểm thử đóng một vai trò rất quan trọng. Một sản phẩm phần mềm chưa thể gọi là hoàn thiện nếu chưa thực hiện nghiêm túc giai đoạn kiểm thử. Do tính phức tạp gia tăng của các hệ thống phần mềm và nhu cầu về đảm bảo chất lượng phần mềm kiểm thử đã trở thành một phần của tiến trình chung trong việc đảm bảo chất lượng phần mềm. Kể từ khi biểu đồ trạng thái được giới thiệu nó đã trở thành một công cụ phổ biến cho các hệ thống mô hình hóa phần mềm. Hiện nay biểu đồ trạng thái là một chuẩn trong ngành công nghiệp đối với hành vi mô hình hóa hệ thống vì vậy nó có thể thực hiện được yêu cầu cho việc thiết kế kiểm thử. Kiểm thử dựa trên biểu đồ trạng thái là một hình thức kiểm thử được thực hiện trong đó sử dụng các mô hình nghữ nghĩa như máy trạng thái biểu đồ chuyển trạng thái. Các mô hình này biểu diễn các đặc tả và được sử dụng để chứng minh hành vi của hệ thống hoặc của các đối tượng. Với mong muốn tìm hiểu và ứng dụng kỹ thuật kiểm thử này vào trong thực tế đó là lý do vì sao tôi chọn đề tài Nghiên cứu phương pháp kiểm thử dựa trên biểu đồ trạng thái dưới sự hướng dẫn của TS. Nguyễn Thanh Bình. 2. Mục tiêu và nhiệm vụ nghiên cứu Luận văn gồm có hai mục tiêu chính Thứ nhất là nghiên cứu các phuơng pháp kiểm thử dựa trên biểu đồ trạng thái đồng thời đưa ra những nhận xét .