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
Nội dung trích xuất từ tài liệu:
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 1 2 B GIÁO D C VÀ ĐÀO T O Công trình ñư c hoàn thành t i Đ I H C ĐÀ N NG Đ I H C ĐÀ N NG TR N TH DI U LINH 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ôiNGHIÊN C U PHƯƠNG PHÁP KI M TH D A TRÊN BI U Đ TR NG THÁI Ph n bi n 2: PGS. TS. Đoàn Văn Ban Chuyên nghành: Khoa h c Máy tính Lu n văn s ñư c b o v trư c H i ñ ng ch m Lu n văn t t Mã s : 60.48.01 nghi p th c sĩ k thu t h p t i Đ i h c Đà N ng vào ngày 15 tháng 10 năm 2011 TÓM T T LU N VĂN TH C SĨ K THU T 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 Đà N ng Đà N ng - Năm 2011 - Trung tâm H c li u, Đ i h c Đà N ng. 1 2 M Đ U ki m th d a trên bi u ñ tr ng thái tiêu bi u; và trình bày vi c ng d ng c a m t trong các phương pháp ñã ñư c gi i thi u. 1. Lý do ch n ñ tài 3. Đ i tư ng và ph m vi nghiên c u Trong ti n trình phát tri n ph n m m, giai ño n ki m th D a trên các k thu t ki m th ph n m m: ki m th d a trênñóng m t vai trò r t quan tr ng. M t s n ph m ph n m m chưa th mô hình, ki m th d a trên ñ c t , ki m th d a trên bi u ñ tr ngg i là hoàn thi n n u chưa th c hi n nghiêm túc giai ño n ki m th . thái… D a trên các ñ nh nghĩa và tính ch t liên quan ñ n bi u ñ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 tr ng thái.v ñ m b o ch t lư ng ph n m m, ki m th ñã tr thành m t ph n Đ tài thu c lo i hình nghiên c u.c a ti n trình chung trong vi c ñ m b o ch t lư ng ph n m m. 4. Phương pháp nghiên c u K t khi bi u ñ tr ng thái ñư c gi i thi u, nó ñã tr thành Thu th p, phân tích tài li u và thông tin liên quan ñ n ñ tài.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 L a ch n phương hư ng gi i quy t v n ñ , nghiên c u v lý thuy tnay bi u ñ tr ng thái là m t chu n trong ngành công nghi p ñ i liên quan. Trình bày và ñánh giá các phương pháp th c hi n; ngv i hành vi mô hình hóa h th ng vì v y nó có th th c hi n ñư c d ng qui trình ki m th .yêu c u cho vi c thi t k ki m th . 5. K t qu lu n văn Ki m th d a trên bi u ñ tr ng thái là m t hình th c ki m Nghiên c u, trình bày và ñánh giá m t s phương pháp ki mth ñư c th c hi n trong ñó s d ng các mô hình ngh nghĩa như th d a trên bi u ñ tr ng thái. Di n gi i vi c tri n khai ng d ngmá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 a m t phương pháp.các ñ c t và ñư c s d ng ñ ch ng minh hành vi c a h th ng ho c 6. B c c lu n vănc a các ñ i tư ng. Lu n văn g m 3 chương chính: V i mong mu n tìm hi u và ng d ng k thu t ki m th này Chương 1: Bi u ñ tr ng thái và môi trư ng thi t k s d ng bi uvào trong th c t ñó là lý do vì sao tôi ch n ñ tài “Nghiên c u ñ tr ng tháiphương pháp ki m th d a trên b ...