Bản slide dành cho môn Đảm bảo chất lượng phần mềm (SQA) của giảng viên Đỗ Thị Bích Ngọc giảng viên của PTIT, bài giảng chi tiết về các kĩ thuật testing với các ví dụ giúp cho bạn đọc dễ hiểu, dễ hình dung và giải quyết vấn đề
!"#$%&'()*%+, (/00*&%12'(( 34(567(8926 (:;<2( =5>5?@>5?!A( 1;"2B-CDEF-G'B*GH1( I( Software Testing J( Ví dụ về lỗi phần mềm Vụ thất bại tên lửa Patriot: xảy ra tại Dharan, Saudi Arabia, vào 25 tháng 2, 1991 làm 28 người chết nguyên nhân: vì lỗi rounding error (làm tròn) American army Iraqi American Army barracks 0.5km missile http://www.ima.umn.edu/~arnold/disasters/patriot.html K( Ví dụ về lỗi phần mềm (tiếp) Vụ phát nổ Ariane 5: xảy ra tại tại Kourou, French Guiana , vào ngày 4 tháng sáu 1996 thiệt hại 500 triệu $ nguyên nhân: vì lỗi tràn số (Overflow error) (vì biểu diễn số phẩy động (floating point) 64-bit bởi số phẩy tĩnh (fixed point) 16-bit) http://www.ima.umn.edu/~arnold/disasters/ariane.html The rocket exploded just 40 seconds after its lift- off Đặc tả và lỗi phần mềm Đặc tả “if you can’t say it, you can’t do it” • Ta cần biết sản phẩm như thế nào trước khi ta có thể nói nó có lỗi. • Đặc tả định nghĩa sản phẩm và: • Yêu cầu chức năng mô tả các tính năng của sản phẩm. Ví dụ, calculator: • Save, +, -, *, /, … • Yêu cầu phi chức năng là các ràng buộc về sản phẩm. Ví dụ , • thân thiện với người dùng, hiệu năng, … 12/31/13 Đặc tả và lỗi phần mềm Lỗi phần mềm • Phần mềm KHÔNG làm nhiệm vụ được đưa ra ở đặc tả (ví dụ, thiếu phép trừ) • Phần mềm làm công việc mà đặc tả KHÔNG cho phép • Phần mềm làm công việc mà đặc tả không đề cập tới (ví dụ, tính căn bậc hai của số nguyên) • Phần mềm không làm công việc mà đặc tả không đề cập tới nhưng nên làm (ví dụ, kiểm tra divided by 0) • Phần mềm khó hiểu, khó dùng, chậm … 12/31/13 Chi phí sửa lỗi Chi phí sửa lỗi tăng theo cấp số nhân (10x) theo thời gian Ví dụ, một lỗi phát hiện trong pha đặc tả tốn $1 để sửa. … nếu phát hiện trong pha thiết kế, tốn $10 … nếu phát hiện trong pha cài đặt, tốn $100 … nếu phát hiện sau khi phát hành, tốn $1000 12/31/13 Kiểm thử - Testing 12/31/13 Kiểm thử phần mềm - KTPM • KTPM là quá trình khảo sát một hệ thống hay thành phần dưới những điều kiện xác định, quan sát và ghi lại các kết quả, và đánh giá một khía cạnh (IEEE Standard Glossary of Software Engineering Terminology). • KTPM là quá trình thực thi một chương trình với mục đích tìm lỗi. ( “The Art of Software Testing”). • Một cách dễ hiểu: KTPM là quá trình thực thi một hệ thống phần mềm để xác định xem phần mềm có đúng với đặc tả không và môi trường hoạt động có đúng yêu cầu không. 12/31/13 Software testing objectives • Các mục tiêu trực tiếp • Xác định và phát hiện nhiều lỗi nhất có thể trong phần mềm được kiểm thử • Sau khi sửa chữa các lỗi đã xác định và kiểm tra lại, làm cho phần mềm đã được kiểm thử đến một mức độ chấp nhận được về chất lượng. • Thực hiện các yêu cầu kiểm thử cần thiết một cách hiệu quả và có hiệu quả, trong phạm vi ngân sách và thời gian cho phép. • Các mục tiêu gián tiếp • Biên dịch một bản ghi về các lỗi phần mềm để sử dụng trong công tác phòng chống lỗi (bằng các hành động khắc phục và ngăn ngừa). [...]... thử để tăng khả năng của developers trong việc phát triển các phần mềm chất lượng cao • Testers có thể đào tạo developers 12 / 31/ 13 12 / 31/ 13 Các kỹ thuật kiểm thử 1 Kiểm thử hộp đen – black box testing 2 Kiểm thử hộp trắng – white box testing 12 / 31/ 13 1 Kiểm thử hộp đen • Black-box testing là phương pháp kiểm thử mà không cần biết cài đặt của chương trình • Cần có một bản chương trình chạy được và đặc... Ví dụ 1 chức năng nhỏ của công ty bảo hiểm : khuyến mãi cho những chủ xe nếu họ thỏa ít nhất 1 trong 2 điều kiện: đã lập gia đình / là sinh viên giỏi Mỗi dữ liệu nhập là 1 giá trị luận lý, nên bảng quyết định chỉ cần có 4 cột, miêu tả 4 luật khác nhau : • 12 / 31/ 13 c Kỹ thuật dùng bảng quyết định (decision table) Rule 1 Rule 2 Rule 3 Rule 4 Married? Yes Yes No No Good Student? Yes No Yes No 60 25... miêu tả 1 luật được chuyển thành 1 đến n cột miêu tả các testcase tương ứng với luật đó : -nếu điều kiện • cột testcase nhập là trị luận lý thì mỗi cột luật được chuyển thành 1 nếu điều kiện nhập là 1 lớp tương đương (nhiều giá trị liên • mỗi cột luật được chuyển thành nhiều testcase dựa trên kỹ tục) thì thuật lớp tương đương hay kỹ thuật giá trị biên 12 / 31/ 13 d Kiểm thử theo cặp – pairwise testing. .. thử 12 / 31/ 13 a Phân lớp tương đương (tiếp) • Xác định các lớp tương đương • lấy mỗi trạng thái đầu vào (thường là một câu hay một cụm từ trong đặc tả) và phân chia nó thành 2 hay nhiều nhóm • Các trường hợp: 1. Điều kiện đầu vào là một vùng giá trị Ví dụ: “Giá trị x chỉ có thể dao động từ 0 đến 10 0” lớp tương đương hợp lệ là: 0 . kế, tốn $10 … nếu phát hiện trong pha cài đặt, tốn $10 0 … nếu phát hiện sau khi phát hành, tốn $10 00 12 / 31/ 13 Kiểm thử - Testing 12 / 31/ 13 Kiểm thử phần mềm - KTPM • KTPM là quá trình. 12 / 31/ 13 Chi phí sửa lỗi Chi phí sửa lỗi tăng theo cấp số nhân (10 x) theo thời gian Ví dụ, một lỗi phát hiện trong pha đặc tả tốn $1 để sửa. … nếu phát hiện trong pha thiết kế, tốn $10 . !"#$%&'()*%+, (/00*& %12 '(( 34( 567 (89 26 (:;<2( =5>5?@>5?!A( 1; "2B-CDEF-G'B*GH1( I( Software Testing J( Ví dụ về lỗi phần mềm Vụ thất