Đề cương kiểm thử phần mềm (ĐHCQ)

MỤC LỤC BÀI CƠ BẢN VỀ KIỂM THỬ PHẦN MỀM 1.1 Những lỗi (bug) phần mềm nghiêm trọng lịch sử 1.2 Lỗi (bug) gì? 10 1.3 Tại lỗi xuất hiện? 16 1.4 Chi phí cho việc sửa lỗi 17 1.5 Ngƣời kiểm thử phần mềm (software tester) làm gì? 19 1.6 Những tố chất tạo nên tester tốt? 20 1.7 Bảy nguyên tắc kiểm thử phần mềm 22 BÀI QUY TRÌNH PHÁT TRIỂN PHẦN MỀM 26 2.1 Quy trình phát triển phần mềm 26 2.2 Thực trạng trình kiểm thử phần mềm 35 2.3 Quá trình nghiên cứu đặc tả phần mềm 53 BÀI QUY TRÌNH KIỂM THỬ PHẦN MỀM 66 3.1 Quy trình kiểm thử phần mềm tổng quát 66 3.2 Lâ ̣p kế hoa ̣ch kiể m tra ( Test Plan) 67 3.3 Chuẩ n bi ̣môi trƣờng kiể m tra 70 3.4 Thiế t kế kiể m tra ( Test Design) 71 3.5 Thƣ̣c kiểm tra ( Test Execute) 75 3.6 Thẩ m tra và đánh giá kế t quả kiể m tra 79 3.7 Ghi nhâ ̣n và xƣ̉ lý lỗi 80 3.8 Lâ ̣p kế hoa ̣ch và triể n khai kiểm thử hồi quy 82 3.9 Thông báo phát hành sản phẩm 83 3.10 Xây dựng kế hoạch kiểm thử 84 3.11 Các thành phần kế hoạch kiểm thử 87 BÀI THẢO LUẬN - QUY TRÌNH KIỂM THỬ PHẦN MỀM 96 BÀI CÁC MỨC ĐỘ KIỂM THỬ PHẦN MỀM – TEST LEVELS 96 5.1 Unit Test – Kiểm thử mức đơn vị 96 5.2 Integration Test – Kiểm thử mức tích hợp 102 5.3 System Test - Kiểm thử mức hệ thống 107 5.4 Acceptance Test - Kiểm thử chấp nhận sản phẩm 109 5.5 Regression Test - Kiểm thử hồi quy 111 BÀI THIẾT KẾ TEST – TEST DESIGN 113 6.1 Tổng quan test design 113 Kiểm thử phần mềm – Software Testing 6.2 Cấu trúc test design .113 6.3 Ví dụ test design .117 6.4 Test Case .119 BÀI THẢO LUẬN - CÁC MỨC ĐỘ KIỂM THỬ PHẦN MỀM VÀ THIẾT KẾ KIỂM THỬ 126 BÀI KỸ THUẬT KIỂM THỬ HỘP TRẮNG (WHITE BOX TESTING) (I) 126 8.1 Tổng quan kiểm thử hộp trắng 126 8.2 Kiểm thử dựa luồng điều khiển (Control Flow) 126 BÀI 9: KỸ THUẬT KIỂM THỬ HỘP TRẮNG (II) 139 9.1 Kiểm thử luồng liệu (Data Flow) .139 9.2 Phân tích đời sống biến 140 9.3 Đồ thị dòng liệu 141 BÀI 10: THẢO LUẬN - KIỂM THỬ HỘP TRẮNG 147 BÀI 11: KỸ THUẬT KIỂM THỬ HỘP ĐEN (BLACK - BOX) 147 11.1 Giới thiệu 147 11.2 Kỹ thuật Phân chia lớp tƣơng đƣơng 148 11.3 Phân tích giá trị biên - BVA - Boundary Value Analysis 153 BÀI 12 KỸ THUẬT KIỂM THỬ HỘP ĐEN (II) 159 12.1 Kỹ thuật dùng bảng định (decision table) 159 12.2 Kỹ thuật dựa đặc tả Use Case (Use case) 162 BÀI 13 THẢO LUẬN VỀ CÁC KỸ THUẬT KIỂM THỬ HỘP ĐEN 169 BÀI 14 MỘT SỐ VẤN ĐỀ CẦN KIỂM THỬ (I) 169 14.1 Kiểm thử giao diện 169 14.2 Kiểm thử chức 177 14.3 Kiểm thử cấu hình khả tƣơng thích 184 14.4 Kiểm thử hiệu .187 BÀI 15 MỘT SỐ VẤN ĐỀ CẦN KIỂM THỬ (II) 206 15.1 Kiểm thử bảo mật 206 15.2 Kiểm thử khả tiện dụng 214 15.3 Kiểm thử ngôn ngữ 220 15.4 Kiểm thử tài liệu 228 15.5 Kiểm thử khả phục hồi 232 BÀI 16 QUẢN LÝ LỖI PHẦN MỀM - BUG MANAGEMENT 235 Bộ môn CNPM- Khoa CNTT – Trường ĐH SP KT Hưng Yên Trang Kiểm thử phần mềm – Software Testing 16.1 Các thành phần lỗi 235 16.2 Mẫu Defect log 241 16.3 Tổng quan test report 243 16.4 Quy trình test report 243 16.5 Cấu trúc test report 245 16.6 Ví dụ test report 245 BÀI 17 THẢO LUẬN - QUẢN LÝ LỖI PHẦN MỀM VÀ BÁO CÁO KIỂM THỬ248 BÀI 18 THỰC HÀNH 1: LẬP KẾ HOẠCH KIỂM THỬ - TEST PLAN 248 BÀI 19 THỰC HÀNH 2: KIỂM THỬ THEO LUỒNG ĐIỀU KHIỂN 258 BÀI 20 THỰC HÀNH 3: KIỂM THỬ THEO LUỒNG DỮ LIỆU 262 BÀI 21 THỰC HÀNH 4: KIỂM THỬ HỘP ĐEN THEO PHÂN LỚP TƢƠNG ĐƢƠNG VÀ THEO PHÂN TÍCH GIÁ TRỊ BIÊN 264 BÀI 22 THỰC HÀNH 5: KIỂM THỬ HỘP ĐEN SỬ DỤNG BẢNG QUYẾT ĐỊNH 267 BÀI 23 THỰC HÀNH 6: KIỂM THỬ GIAO DIỆN VÀ CHỨC NĂNG 274 BÀI 24 THỰC HÀNH 7: KIỂM THỬ PHI CHỨC NĂNG 276 BÀI 25 THỰC HÀNH 8: QUẢN LÝ LỖI VÀ BÁO CÁO KIỂM THỬ 276 Bộ môn CNPM- Khoa CNTT – Trường ĐH SP KT Hưng Yên Trang Kiểm thử phần mềm – Software Testing BÀI CƠ BẢN VỀ KIỂM THỬ PHẦN MỀM Năm 1947, máy tính cỡ lớn (to tòa nhà) đƣợc điểu khiển dựa relay sức nóng ống chân không Điển hình cho máy tính giai đoạn Mark II, máy tính khổng lồ đƣợc xây dựng trƣờng đại học Harvard Các kỹ thuật viên bƣớc chạy máy tính dừng làm việc Họ nhiều công sức để tính toán xem họ khám phá ra: họ bị mắc kẹt tập relay sâu bên ruột máy tính Dƣờng nhƣ, chúng bị căng phồng lên hệ thống ánh sáng sức nóng, bị hạ gục điện áp cao hoạt động relay Nhƣ vậy, trình lập trình để điều khiển hoạt động máy tính có vấn đề không ổn Vì mà đến với học môn Software testing Nội dung môn học bao gồm: - Lịch sử lỗi phần mềm, khái niệm lỗi phần mềm - Các kỹ tảng việc kiểm thử phần mềm - Những yếu tố cần kiểm thử phần mềm - Các giai đoạn kiểm thử phần mềm - Làm việc với tài liệu kiểm thử: lập kế hoạch, viết theo dõi test case, báo cáo lỗi - Chuẩn quốc tế phần mềm tốt Trong này, tìm hiểu lịch sử lỗi phần mềm kiểm thử phầm mềm Những điểm cần ý bao gồm: - Các lỗi phần mềm tác động đến sống nhƣ nào? - Lỗi chúng xuất hiện? - Các tester họ phải làm gì? 1.1 Những lỗi (bug) phần mềm nghiêm trọng lịch sử - Hãy đánh giá thử xem phần mềm thâm nhập vào sống nhƣ Bộ môn CNPM- Khoa CNTT – Trường ĐH SP KT Hưng Yên Trang Kiểm thử phần mềm – Software Testing o Sau năm 1947, máy tính Mark II yêu cầu hàng tá nhà lập trình phải bảo trì liên miên Những ngƣời bình thƣờng không tƣởng tƣợng đƣợc ngày nhà họ có máy tính họ o Bây giờ, máy tính tràn ngập khắp nơi, không đến với gia đình, mà đến với cá nhân Những đĩa CD phần mềm miễn phí với đoạn video game cho trẻ em, tặng kèm theo hộp ngũ cốc nhiều phần mềm tàu thoi - Hãy thử so sánh phát triển máy nhắn tin buồng điện thoại, dịch vụ chuyển phát nhanh… với phát triển máy tính phần mềm máy tính Dƣờng nhƣ không theo kịp bùng nổ ngành công nghiệp đầy chất xám Bây giờ, không sử dụng dịch vụ chuyển phát nhanh…, nhƣng bắt đầu ngày mà không vào mạng kiểm tra thƣ điện tử - Phần mềm khắp nơi Tuy nhiên, đƣợc viết nhiều ngƣời, mà không hoàn hảo Chúng ta tìm hiểu số ví dụ dƣới đây: 1.1.1 Disney’s Lion King, 1994 – 1995 Vào cuối năm 1994, công ty Disney tung thị trƣờng trò chơi đa phƣơng tiện cho trẻ em, The Lion King Animated StoryBook Mặc dù nhiều công ty khác quảng bá chƣơng trình cho trẻ em nhiều năm, lần Disney mạo hiểm lao vào thị trƣờng Nó đƣợc xúc tiến quảng cáo mạnh mẽ Số lƣợng bán vô đồ sộ Nó đƣợc mệnh danh “the game to buy” cho trẻ em kỳ nghỉ Tuy nhiên, chuyện xảy đến? Đó thất bại khủng khiếp Vào 26/12, sau ngày Giáng Sinh, khách hàng Disney liên tục gọi điện Ngay lập tức, kỹ thuật viên trợ giúp điện thoại bị sa lầy với gọi từ bậc cha mẹ giận đứa trẻ khóc, chúng cho phần mềm làm việc Nhiều câu chuyện xuất mặt báo tin TV Bộ môn CNPM- Khoa CNTT – Trường ĐH SP KT Hưng Yên Trang Kiểm thử phần mềm – Software Testing …Disney thất bại không kiểm tra phần mềm rộng dãi nhiều mô hình máy tính khác có sẵn thị trƣờng Phần mềm làm việc vài hệ thống mà các lập trình viên Disney dùng để tạo trò game này, nhƣng hệ thống phổ biến mà ngƣời dùng hay sử dụng 1.1.1 Lỗi chia dấu phẩy động vi xử lý Intel Pentium (Intel Pentium Floating – Point Division Bug), 1994 Hãy mở phần mềm Calculator máy tính bạn thực phép toán sau: (4195835 / 3145727) * 3145727 – 4195835 Nếu kết 0, máy tính bạn hoạt động tốt Nếu nhƣ bạn nhận đƣợc kết khác, bạn sở hữu Intel Pentium CPU với lỗi floating – point division (chia dấu phẩy động) – lỗi phần mềm làm nóng chip bạn mà đƣợc tái sản xuất liên tục Ngày 30/10/1994, Thomas R Nicely thuộc trƣờng cao đẳng Lynchburg (Virgnia) phát kết không mong muốn thực phép chia (division) máy tính ông Ông công bố kết nghiên cứu internet ông làm bùng lên lửa với số lƣợng lớn ngƣời gặp vấn đề nhƣ ông Và họ tìm thêm tình máy tính đƣa câu trả lời sai May thay trƣờng hợp thấy kết đƣa câu trả lời sai trƣờng hợp phục vụ cho Toán học chuyên sâu, Khoa học, Tính toán kỹ thuật Hầu hết ngƣời không bắt gặp chúng thực tính toán thông thƣờng chạy ứng dụng thƣơng mại họ Điều làm cho vấn đề đáng ý không đƣợc Intel coi bug, mặt khác cách mà Intel điều khiển tình hình: - Họ phát vấn đề thực thi test họ trƣớc chip đƣợc tung thị trƣờng Các nhà quản lý Intel Bộ môn CNPM- Khoa CNTT – Trường ĐH SP KT Hưng Yên Trang Kiểm thử phần mềm – Software Testing định vấn đề không đủ nghiêm trọng khả xảy để cần thiết phải fixing (sửa) chí publicizing (công khai) - Lỗi bị phát hiện, Intel cố gắng để giảm bớt tính chất nghiêm trọng vấn đề bị nhận cách công bố công khai (press release) - Khi bị gây áp lực, Intel ngỏ ý muốn thay miến phí chip bị lỗi, nhƣng với điều kiện ngƣời sử dụng phải chứng minh đƣợc bị ảnh hƣởng lỗi (bug) - Họ gặp phải phản đối kịch liệt Các diễn đàn Internet tạo sức ép với giận khách hàng khó tính, đòi Intel phải fix vấn đề Các tin vẽ lên hình ảnh Intel giống nhƣ công ty vô trách nhiệm với khách hàng Cuối cùng, Intel phải xin lỗi cách điều chỉnh bug phải bỏ 400 triệu dollar để chi trả cho trình thay chip bị lỗi Bây giờ, Intel công khai vấn đề Website họ cẩn trọng giám sát hồi đáp khách hàng diễn đàn (newsgroups) Chú ý: Vào ngày 28/08/2000, thời gian ngắn trƣớc phiên sách đƣợc sản xuất, Intel thông báo việc thu hồi tất vi xử lý Pentium III 1.13MHz, sau chip đƣợc tung thị trƣờng khoảng tháng Một vấn đề bị phát Vì họ phải thực thi cho lời khẳng định chắn ứng dụng chạy ổn định Họ phải lập kế hoạch để thu hồi máy tính tới tay khách hàng tính toán giá thành để thay cho chip bị lỗi 1.1.2 Tàu vũ trụ NASA đáp xuống địa cực Hỏa (NASA Mars Polar Lander), 1999 Ngày 3/12/1999, Tàu vũ trụ NASA đáp xuống địa cực Hỏa biến khỏi vòng kiểm soát cố gắng đáp xuống bề mặt Hỏa Ban Báo Cáo cố điều tra cố xác định nguyên nhân xảy cố việc cài đặt bit liệu đơn lẻ Điều đáng ý cố lại chƣa đƣợc xảy thí nghiệm nội Bộ môn CNPM- Khoa CNTT – Trường ĐH SP KT Hưng Yên Trang Kiểm thử phần mềm – Software Testing Theo lý thuyết, kế hoạch đáp tàu nhƣ sau: tàu đáp xuống bề mặt, sẽ mở dù nhằm làm giảm tốc độ Một vài giây sau mở dù, chân máy dò mở chết vị trí đáp Khi máy dò vị trí cách bề mặt hỏa 1.800m nhả dù đốt nóng (thruster) để giảm khoảng cách lại so với bề mặt hỏa Để tiết kiệm, NASA đơn giản máy định thời gian ngắt Thay Rada đắt tiền tàu vũ trụ, họ cài đặt công tắc tiếp xúc (Contact switch) chân máy dò Nói cách đơn giản, chân máy rò mở bật công tắc để động đốt cháy chân chạm đất Thật không may ban báo cáo cố phát trình kiểm tra họ chân đƣợc tách để chạm tới đất, rung động máy làm trƣợt công tắc đốt cháy việc thiết đặt bit gây tai họa Đây vấn đề nghiêm trọng, máy tính tắt phận đốt nóng tàu bị vỡ mảnh sau rơi từ độ cao 1.800m xuống bề mặt Hỏa Kết thật thê thảm, nhƣng lý lại đơn giản Con tàu thám hiểm đƣợc kiểm tra nhiều đội Một đội kiểm tra chức mở chân tàu đội khác kiểm tra việc đáp tàu xuống mặt đất Đội rằng: bit đƣợc thiết đặt cho việc mở chân tàu không nằm vùng kiểm tra họ Đội thứ luôn thiết lập lại máy tính, xóa bit liệu trƣớc bắt đầu đƣợc kiểm tra Cả đội làm việc độc lập hoàn thành nhiệm vụ hoàn hảo Nhƣng lại không hoàn hảo kết hợp nhiệm vụ với 1.1.3 Hệ thống phòng thủ tên lửa Patriot, 1991 Hệ thống phòng thủ tên lửa Patriot (ngƣời yêu nƣớc) Mỹ phiên scaled-back chƣơng trình khởi động chiến lƣợc phòng thủ “Star Wars” đƣợc khởi động tổng thống Ronald Reagan Nó đặt móng cho chiến tranh Vùng Vịnh (Gulf war) nhƣ hệ thống phòng thủ tên lửa Iraqi Scub Mặc dù có nhiều câu chuyện quảng bá thành công hệ thống, nhiên tồn Bộ môn CNPM- Khoa CNTT – Trường ĐH SP KT Hưng Yên Trang Kiểm thử phần mềm – Software Testing lỗi chống lại vài tên lửa Một số giết chết 28 lính Mỹ Dhahran, Saudi Arabia Quá trình phân tích cho thấy rằng, phần mềm bị lỗi nghiêm trọng Một thời gian trễ nhỏ đồng hồ hệ thống đƣợc tích lũy lại sau 14h, hệ thống theo dõi không xác Trong công Dhahran, hệ thống điều hành 100h 1.1.4 Sự cố Y2K (năm 2000), khoảng 1974 Vào đầu năm 1970, lập trình viên, tên Dave, làm việc cho hệ thống trả tiền công ty Máy tính mà sử dụng có nhớ lƣu trữ nhỏ, buộc phải giữ gìn byte cuối mà có Dave tự hào đóng gói chƣơng trình cách chặt chẽ (tightly) so với vài đồng nghiệp Một phƣơng thức mà sử dụng chuyển định dạng ngày tháng từ chữ số, ví dụ 1973 thành định dạng chữ số, ví dụ 73 Bởi vì, hệ thống trả tiền (Payroll) phụ thuộc nặng vào xử lý ngày tháng, nhờ Dave giữ lại không gian nhớ có giá trị Trong thời gian ngắn, xem xét vấn đề xuất đến thời điểm năm 2000 hệ thống bắt đầu thực công việc tính toán với năm đƣợc đại diện 00, 01… Anh ta nhận thấy rằng, có vài vấn đề xảy đến, nhƣng nghĩ chƣơng trình đƣợc thay cập nhật vòng 25 năm, nhiệm vụ quan trọng kế hoạch tƣơng lai xa nhƣ Và thời hạn đến Năm 1995, chƣơng trình Dave đƣợc sử dụng, Dave nghỉ hƣu Và không biết làm để vào đƣợc hệ thống kiểm tra xem đến năm 2000 chuyện xảy Chỉ Dave biết cách để fix Ngƣời ta ƣớc tính rằng, phải đến vài trăm tỷ dollar để cập nhật fix lỗi tiềm tàng vào năm 2000, cho chƣơng trình máy tính toàn giới có sử dụng hệ thống Dave 1.1.5 Mối hiểm nguy Virus, năm 2004 01/04/1994, thông điệp đƣợc gửi tới vài nhóm ngƣời sử dụng internet sau đƣợc truyền bá nhƣ email có chứa loại virus ẩn Bộ môn CNPM- Khoa CNTT – Trường ĐH SP KT Hưng Yên Trang Kiểm thử phần mềm – Software Testing ảnh có định dạng JPEG internet Ngƣời ta cảnh báo cần thao tác mở xem tranh bị nhiễm dẫn đến việc cài đặt virus PC bạn Sự thay đổi lời cảnh báo nói rõ virus làm hỏng hình máy tính bạn hình Sony Trinitron “đặc biệt nhạy cảm” Nhiều ngƣời ý tới lời cảnh báo làm file ảnh JPEG hệ thống họ Thậm chí, số ngƣời quản trị hệ thống tìm hiểu sâu bên khối ảnh JPEG đƣợc nhận từ email hệ thống họ Cuối cùng, ngƣời nhận thấy rằng, thông điệp ban đầu đƣợc gửi vào ngày cá tháng (“April Fools Day”) thật chuyện cả, nhƣng câu chuyện đùa xa Các chuyên gia rung hồi chuông cảnh báo rằng: cách khả thi để ảnh JPEG có khả làm máy tính bạn bị nhiễm virus Sau tất cả, ngƣời ta khẳng định tranh liệu, thực thi mã chƣơng trình Mƣời năm sau, vào mùa thu năm 2004, virus proof-of-concept đƣợc tạo ra, chứng minh ảnh JPEG đƣợc tải với virus Nó gây ảnh hƣởng tới hệ thống đƣợc sử dụng để xem Những mẩu tin (software patches) đƣợc tạo cách nhanh chóng đƣợc thông báo rộng khắp để ngăn chặn virus lan tràn Tuy nhiên, vấn đề thời gian họ khống chế đƣợc vấn đề internet cách làm ảnh đƣờng truyền 1.2 Lỗi (bug) gì? Bạn vừa đƣợc tìm hiểu số vấn đề xảy phần mềm bị lỗi Nó dẫn đến phiền phức, giống nhƣ máy chơi game làm việc cách hợp lý, dẫn đến thảm họa khủng khiếp Số tiền để giải vấn đề sửa lỗi lên tới hàng triệu dollar Trong ví dụ trên, rõ ràng phần mềm không hoạt động nhƣ dự tính ban đầu Nếu tester, bạn phải tìm thấy hầu hết lỗi phần mềm Hầu hết lỗi Bộ môn CNPM- Khoa CNTT – Trường ĐH SP KT Hưng Yên Trang 10 Kiểm thử phần mềm – Software Testing 2.1 2.2 2.3 3.1 3.2 Mẫu 04: List of test case List of Test cases TC ID TC Name Priority Test type Note TC001 TC002 TC003 TC004 TC005 TC006 TC007 TC008 TC009 TC010 TC011 Bộ môn CNPM- Khoa CNTT – Trường ĐH SP KT Hưng Yên Trang 279 Kiểm thử phần mềm – Software Testing TC012 12 Mẫu 05: Test suit List of Test cases Test Suite ID TS_001 Test Suite Description TC Name TC001 TC003 TC004 Note Precondition: … Bộ môn CNPM- Khoa CNTT – Trường ĐH SP KT Hưng Yên Trang 280 Kiểm thử phần mềm – Software Testing Bộ môn CNPM- Khoa CNTT – Trường ĐH SP KT Hưng Yên Trang 281 Kiểm thử phần mềm – Software Testing Mẫu tài liệu Test Case Mẫu 01: Cover TEST CASE Project Name Project Code Author Reviewer/Approver Issue Date Version Document Name Record of change: Effective Date Version Change Item *A,D,M Change description Reference Bộ môn CNPM- Khoa CNTT – Trường ĐH SP KT Hưng Yên Trang 282 Kiểm thử phần mềm – Software Testing Mẫu 02: GUI Graphic User Interface TOC Total: Passed: Failed: Not yet tested: Cancelled: Screen Name 0 0 Field Name Expected result Type Madatory Editable Default value Test Status Test Date Note Max Range/ Length Value Module Name Precondition/Context: [Module Name] [Screen Name] Common case Note: Common cases apply for all new/edit/display pages of all modules Audit trail Bộ môn CNPM- Khoa CNTT – Trường ĐH SP KT Hưng Yên Trang 283 Kiểm thử phần mềm – Software Testing Mẫu 03: Modules TEST CASE Module Code Test requirement Tester Pass Fail Pass Fail Untested N/A 0 ID Test Case Description Test Case Procedure [Module Name] Function Name [Function Name1］ Number of Test cases Expected Output Untesed N/A Inter-test Actual case Output Dependence Result Note abc [Function Name2］ def [Function Name3］ dd Bộ môn CNPM- Khoa CNTT – Trường ĐH SP KT Hưng Yên Trang 284 Kiểm thử phần mềm – Software Testing TEST CASE Module Code Test requirement Tester Subject Management Pass Fail Untested N/A 0 ID Test Case Description Test Case Procedure Pass Fail Number of Test cases Expected Output Untesed N/A Inter-test Actual case Output Dependence Result Note Subject Management [Subject Aaa Management-1］ [Subject Bbb Management-2］ [Subject Ccc Management-3］ [Subject Ddd Management-4］ Bộ môn CNPM- Khoa CNTT – Trường ĐH SP KT Hưng Yên Trang 285 Kiểm thử phần mềm – Software Testing [Subject Eee Management-5］ [Subject Fff Management-6］ [Subject Ggg Management-7］ Mẫu 04: Picture Chụp form giao diện chức dự án cần test Bộ môn CNPM- Khoa CNTT – Trường ĐH SP KT Hưng Yên Trang 286 Kiểm thử phần mềm – Software Testing Mẫu Bug Managermenr Defect Module Description ID Title Ex: Default value of Status field = blank is incorrect Expected result: when create new document, default value of [Status] field must be "Oppened" Type Ex: User Interface Created Date Cosmetic High Assigned Ex: 21-Sep2008 Severity Priority Status Bộ môn CNPM- Khoa CNTT – Trường ĐH SP KT Hưng Yên Assigned to Ex: TungNT Corrective Action Ex: change code to update correct status Trang 287 Kiểm thử phần mềm – Software Testing Mẫu 01: Test report TEST REPORT Project Name Project Code Document Name Notes No Student Management SM-2009 SM-2009_Test Report_vx.x Module code Account Management Subject Management GUI Sub total Test coverage Test successful coverage Creator Reviewer/Approver Issue Date Ha Thi Thu Huong Van Kim Ngan Pass 0 Fail 0 Untested N/A 0 Number of test cases 0 0 16 0 16 0.00 % 0.00 % Bộ môn CNPM- Khoa CNTT – Trường ĐH SP KT Hưng Yên Trang 288 Kiểm thử phần mềm – Software Testing Ví dụ mẫu test report: TEST REPORT Project Name Project Code Document Code Notes No Creator Review/Appove Issue Date Module Code Login Student Management Subject Management Tổng Pass 12 Fail Untested N/A Number of Test case 19 33 38 12 57 10 11 0 21 78 Test coverage Test successful coverage 100 % 73.1 % Bộ môn CNPM- Khoa CNTT – Trường ĐH SP KT Hưng Yên Trang 289 Kiểm thử phần mềm – Software Testing Ví dụ mẫu: Defect report Serverity Fatal Serious Medium Cosmetic Total Status Total W.def Error 570 Opended Defect Assigned Fixing Corrected Confirmed 136 177 1 No 139 749 Fixed Defect To Delivered Validated Approved Accepted Cancelled Closed No Serv 12 15 1 15 75 97 22 181 204 575 325 903 2 40 270 319 1745 1286 3038 87 486 600 Bộ môn CNPM- Khoa CNTT – Trường ĐH SP KT Hưng Yên Trang 290 Kiểm thử phần mềm – Software Testing Ví dụ mẫu Defect distribute: QC Activity Requirement F S M C W Acceptance test After Release review After Release test Beaseline Audit Code Review Document Review Final inspection Integration test Other test Prototype review System test Design F S M C W Coding M C F S Test F S M C W 3 1 10 1 4 2 Other F S M C W W 1 1 36 51 26 20 6 1 138 74 10 13 20 26 1 W.de f 28 28 1 1 35 2 2307 11 22 114 212 1 Bộ môn CNPM- Khoa CNTT – Trường ĐH SP KT Hưng Yên 54 10 2427 10 Trang 291 Kiểm thử phần mềm – Software Testing Unit test Total 1 1 43 58 28 36 160 13 13 76 3 737 3112 26 1 15 196 Bộ môn CNPM- Khoa CNTT – Trường ĐH SP KT Hưng Yên 3 757 25 3551 Trang 292 Kiểm thử phần mềm – Software Testing Bộ môn CNPM- Khoa CNTT – Trường ĐH SP KT Hưng Yên Trang 293 ... tắc – Kiểm thử đƣa lỗi Bộ môn CNPM- Khoa CNTT – Trường ĐH SP KT Hưng Yên Trang 22 Kiểm thử phần mềm – Software Testing Kiểm thử cho thấy phần mềm có lỗi, nhƣng chứng minh phần mềm lỗi Kiểm thử. .. đƣợc tìm thấy phần mềm lĩnh vực 1.7 Bảy nguyên tắc kiểm thử phần mềm Một số nguyên tắc kiểm thử đƣợc đề nghị từ 40 năm trƣớc đƣa số phƣơng châm chung phổ biến cho kiểm thử phần mềm, bao gồm nguyên... vấn đề không ổn Vì mà đến với học môn Software testing Nội dung môn học bao gồm: - Lịch sử lỗi phần mềm, khái niệm lỗi phần mềm - Các kỹ tảng việc kiểm thử phần mềm - Những yếu tố cần kiểm thử phần