Kiểm thử chức năng- Kiểm thử phần mềm

Kiểm thử chức năng: các test cases dẫn xuất từ các đặc tả chương trình.Chức năng đề cập đến nguồn gốc của thông tin được sử dụng để thiết kế trường hợp kiểm thử, không phải để kiểm thử như thế nào.Còn được gọi là:Kiểm thử dựa trên đặc tả (từ đặc tả).kiểm tra hộp đen (không có mã nguồn).Đặc tả chức năng mô tả hành vi chương trình dự định.Hình thức hoặc không hình thức....
Nội dung trích xuất từ tài liệu:
Kiểm thử chức năng- Kiểm thử phần mềmKiểm thử chức năngNội dung Giới thiệu kiểm thử chức năng Các kỹ thuật kiểm thử chức năng  Kiểm thử giá trị biên  Kiểm thử phân hoạch tương đương  Kỹ thuật đồ thị nhân quả - bảng quyết định 2Kiểm thử chức năng 3Kiểm thử chức năng Kiểm thử chức năng: các test cases dẫn xuất từ các đặc tả chương trình  Chức năng đề cập đến nguồn gốc của thông tin được sử dụng để thiết kế trường hợp kiểm thử, không phải để kiểm thử như thế nào Còn được gọi là:  Kiểm thử dựa trên đặc tả (từ đặc tả)  kiểm tra hộp đen (không có mã nguồn) Đặc tả chức năng mô tả hành vi chương trình dự định  Hình thức hoặc không hình thức 4Kiểm thử hệ thống và kiểm thửngẫu nhiên Ngẫu nhiên (đồng đều):  Chọn các yếu tố đầu vào có thể thống nhất  Tránh thiên vị thiết kế  Một vấn đề thực tế: Các nhà thiết kế kiểm thử cũng có thể tạo ra cùng những lỗi logic và giả thiết tồi giống nhà thiết kế chương trình (đặc biệt là nếu họ là cùng một người)  Nhưng đối xử với tất cả các đầu vào là có giá trị như nhau Có hệ thống (không đồng đều):  Cố gắng chọn đầu vào là có giá trị đặc biệt  Thông thường bằng việc lựa chọn đại diện của các lớp mà ứng dụng gặp lỗi thường xuyên hoặc không phải tất cả trường hợp  Kiểm thử chức năng là kiểm thử có hệ thống thử nghiệm 5Tại sao không ngẫu nhiên? Sự phân bố lỗi không đều Ví dụ: Lớp căn bậc hai Java áp dụng cho phương trình bậc hai  Logic thực hiện không đầy đủ: Chương trình không hợp lí trong các trường hợp trong đó b2 - 4ac = 0 và a =0  Lấy mẫu ngẫu nhiên thường không chọn a = 0,0 và b = 0,0 6 Systematic Partition Testing Thất bại là thưa thớt ... nhưng dày đặc Failure (valuable test case) trong không gian trong một số bộ phận No failure đầu vào có thể ... của không gianThe space of possible input values (the haystack) Nếu chúng ta kiểm thử một cách có hệ thống một số trường hợp trong Kiểm thử chức năng là một trong từng phần, chúng tôi sẽ có các bộ những cách vẽ đường màu hồng để phận dày đặc cô lập khu vực có khả năng thất bại 7Kiểm thử chức năng: khai tháccác đặc tả Kiểm thử chức năng sử dụng các đặc tả (hình thức hoặc không hình thức) để phân vùng không gian đầu vào Ví dụ, đặc tả của chương trình gốc gợi ý phân chia giữa các trường hợp với không, một, và hai nghiệm thực  Kiểm tra từng trường hợp, và ranh giới giữa các trường hợp Không đảm bảo, nhưng kinh nghiệm cho thấy thất bại thường nằm ở ranh giới 8Tại sao kiểm thử chức năng? kịp thời  Thường hữu ích trong việc tinh chỉnh đặc tả và đánh giá khả năng kiểm thử trước khi mã được viết hiệu quả  tìm một vài lớp lỗi (ví dụ, thiếu logic) có thể vượt quá cách tiếp cận khác áp dụng rộng rãi  cho bất kỳ mô tả hành vi của chương trình phục vụ như một đặc tả  ở bất kỳ mức độ nào từ module để kiểm thử hệ thống. Kinh tế  thường ít tốn kém để thiết kế và thực thi hơn so với các trường hợp kiểm thử cấu trúc (mã) 9Thiết kế kiểm thử chức năngsớm Mã nguồn chương trình là không cần thiết  Chỉ có một mô tả về hành vi được dự kiến là cần thiết  Thậm chí các đặc tả không đầy đủ và chính thức có thể được sử dụng  Mặc dù chính xác, đặc tả đầy đủ dẫn đến bộ thử tốt hơn Thiết kế kiểm thử chức năng sớm có những lợi ích phụ  Thường cho thấy sự mơ hồ và mâu thuẫn trong đặc tả  Hữu ích cho việc đánh giá khả năng kiểm thử  Và cải thiện tiến độ Và ngân sách kiểm thử bằng cách cải thiện đặc tả  Giải thích hữu ích của đặc tả  hoặc trong trường hợp cực đoan (như trong XP), trường hợp kiểm thử chính là đặc tả 10Chức năng và cấu trúc: Cáclớp lỗi Chiến lược kiểm thử khác nhau (chức năng, cấu trúc) là hiệu quả nhất cho các lớp lỗi khác nhau Kiểm thử chức năng là tốt nhất cho việc tìm kiếm các lỗi thiết kế Kiểm thử cấu trúc là tốt nhất cho việc tìm kiếm lỗi lập trình 11Kiểm thử chức năng và cấutrúc: các mức Kiểm thử chức năng được áp dụng tại tất cả các mức độ:  Đơn vị (từ đặc tả giao diện module)  Tích hợp (từ API hoặc đặc tả hệ thống con)  Hệ thống (từ đặc tả yêu cầu hệ thống)  Hồi quy ( từ yêu cầu hệ thống + lịch sử lỗi) Kiểm thử cấu trúc (dựa trên mã) áp dụng cho phần tương đối nhỏ của hệ thống:  Đơn vị  Tích hợp 12Các bước: Từ đặc tả đến testcases 1.Phân rã đặc tả  Nếu đặc tả lớn, chia nó thành các tính năng độc lập có thể kiểm thử được để xem xét trong kiểm thử 2. Chọn đại diện  Đại diện các giá trị của mỗi đầu vào,  hoặc Hành vi đại diện của một mô hình  Biến đổi đầu và ...