Chương Kỹ thuật kiểm thử hộp ₫en (tt) 6.1 Kỹ thuật dùng lược ₫ồ chuyển trạng thái Cũng giống bảng ₫ịnh, lược ₫ồ chuyển trạng thái cơng cụ hữu ích ₫ể ₫ặc tả yêu cầu phần mềm ₫ể ₫ặc tả bảng thiết kế hệ thống phần mềm .C om Thay miêu tả qui tắc nghiệp vụ phức tạp mà phần mềm phải thực dạng dễ ₫ọc dễ kiểm soát bảng ₫ịnh, lược ₫ồ chuyển trạng thái ghi nhận kiện xảy ra, ₫ược hệ thống xử lý ₫áp ứng hệ thống Zo ne Khi hệ thống phải nhớ trạng thái trước ₫ó mình, hay phải biết trình tự hoạt ₫ộng hợp lệ, trình tự khơng hợp lệ lược ₫ồ chuyển trạng thái thích hợp nh Vi en Lược ₫ồ chuyển trạng thái ₫ược cấu thành từ thành phần sau ₫ây : Trạng thái ₫ầu Trạng thái cuối Si Trạng thái trung gian Ta ₫ặt tên nhận dạng cho trạng thái trung gian, miêu tả ₫iều kiện chuyển trạng thái kèm theo cung chuyển trạng thái Ta miêu tả hành ₫ộng cần thực kết hợp với việc chuyển trạng thái Lược ₫ồ chuyển trạng thái TPPM ₫ặt mua vé máy bay : SinhVienZone.com https://fb.com/sinhvienzonevn om C ne Zo en Vi TPPM ₫ặt mua vé máy bay có trạng thái khác : Made : nh Si ₫iều kiện chuyển ₫ến : sau người dùng ₫ã nhập thông tin khách hàng Hành ₫ộng cần thực kèm theo : khởi ₫ộng timer T0 ₫ếm thời gian giữ trạng thái Cancelled (NonPay) : ₫iều kiện chuyển ₫ến : sau timer T0 ₫ã hết Hành ₫ộng cần thực kèm theo : null Paid : SinhVienZone.com ₫iều kiện chuyển ₫ến : sau người dùng ₫ã toán tiền https://fb.com/sinhvienzonevn Hành ₫ộng cần thực kèm theo : null Cancelled (ByCustomer) : ₫iều kiện chuyển ₫ến : sau người dùng ₫ã cancel Hành ₫ộng cần thực kèm theo : null Ticketed : ₫iều kiện chuyển ₫ến : sau in vé xong Kết kèm theo : vé máy bay om C Used : ₫iều kiện chuyển ₫ến : sau người dùng ₫ã dùng vé Hành ₫ộng cần thực kèm theo : null ne en Zo Trong lược ₫ồ chuyển trạng thái cách thức miêu tả hành vi TPPM dễ hiểu dễ ₫ọc dạng khác - bảng chuyển trạng thái — miêu tả hành vi TPPM hệ thống dễ xử lý tự ₫ộng nh Vi Bảng chuyển trạng thái gồm cột : trạng thái hành, kiện xảy ra, hành ₫ộng cần thực hiện/kết thu ₫ược, trạng thái Si Thí dụ lược ₫ồ chuyển trạng thái slide trước chuyển thành bảng chuyển trạng thái : Current State Event Action Next State null giveInfo startPayTimer Made null payMoney null null print null null giveTicket null null cancel null null PayTimerExpires null Made giveInfo Made SinhVienZone.com https://fb.com/sinhvienzonevn Current State Event Action Next State payMoney Paid Made print Made Made giveTicket Made Made cancel Can-Cust Made PayTimerExpires Can-NonPay Paid giveInfo Paid Paid payMoney Paid Paid print Ticket Ticketed Paid giveTicket Paid cancel Refund Paid PayTimerExpires Ticketed giveInfo Ticketed payMoney Ticketed print Ticketed giveTicket Ticketed cancel Ticketed PayTimerExpires ne C Paid Paid Ticketed Ticketed Ticketed Used Refund Can-Cust Zo en Can-Cust Vi nh Used om Made Ticketed giveInfo Used payMoney Used Used print Used Used giveTicket Used Used cancel Used Used PayTimerExpires Used Can-NonPay giveInfo Can-NonPay Can-NonPay payMoney Can-NonPay Can-NonPay print Can-NonPay Can-NonPay giveTicket Can-NonPay Can-NonPay cancel Can-NonPay Can-NonPay PayTimerExpires Can-NonPay Si Used SinhVienZone.com https://fb.com/sinhvienzonevn Current State Event Action Next State givelnfo Can-Cust Can-Cust payMoney Can-Cust Can-Cust print Can-Cust Can-Cust giveTicket Can-Cust Can-Cust cancel Can-Cust Can-Cust PayTimerExpires Can-Cust om Can-Cust C Dựa vào lược ₫ồ chuyển trạng thái, ta dễ dàng ₫ịnh nghĩa testcase Si nh Vi en Zo ne Phủ cấp : tạo testcase cho trạng thái ₫ều xảy lần Thí dụ tescase sau kiểm thử ₫ược TPPM ₫ạt phủ cấp : Phủ cấp : tạo testcase cho kiện ₫ều xảy lần Thí dụ tescase sau kiểm thử ₫ược TPPM ₫ạt phủ cấp : SinhVienZone.com https://fb.com/sinhvienzonevn om C ne Zo Vi en Phủ cấp : tạo testcase cho tất path chuyển ₫ều ₫ược kiểm thử path chuyển ₫ường chuyển trạng thái xác ₫ịnh, bắt ₫ầu từ trạng thái nhập kết thúc trạng thái kết thúc Si nh Đây phủ tốt ₫ã vét cạn khả hoạt ₫ộng TPPM, nhiên không khả thi path chuyển lặp vòng Phủ cấp : tạo testcase cho path chuyển tuyến tính ₫ều xảy lần Thí dụ tescase sau kiểm thử ₫ược TPPM ₫ạt phủ cấp : SinhVienZone.com https://fb.com/sinhvienzonevn om C ne Zo Dựa vào bảng chuyển trạng thái, ta dễ dàng ₫ịnh nghĩa testcase Event Action Next State null giveInfo startPayTimer Made null payMoney null null Vi en Current State print null giveTicket null cancel null PayTimerExpires null Made giveInfo Made Made payMoney Paid Made print Made Made giveTicket Made Made cancel Can-Cust Made PayTimerExpires Can-NonPay Paid giveInfo Paid nh null null Si null SinhVienZone.com https://fb.com/sinhvienzonevn Current State Event Action Next State payMoney Paid Paid print Ticket Ticketed Paid giveTicket Paid Paid cancel Refund Can-Cust Paid PayTimerExpires Paid Ticketed giveInfo Ticketed Ticketed payMoney Ticketed Ticketed print Ticketed giveTicket Ticketed cancel Refund Can-Cust Ticketed PayTimerExpires Ticketed Used giveInfo Used payMoney Used print Used Used om Paid Ticketed Zo Used Used Used giveTicket Used cancel Used PayTimerExpires Used Can-NonPay giveInfo Can-NonPay Can-NonPay payMoney Can-NonPay Can-NonPay print Can-NonPay Can-NonPay giveTicket Can-NonPay Can-NonPay cancel Can-NonPay Can-NonPay PayTimerExpires Can-NonPay Can-Cust givelnfo Can-Cust Can-Cust payMoney Can-Cust Can-Cust print Can-Cust nh Si Used SinhVienZone.com en Vi ne C Used https://fb.com/sinhvienzonevn Current State Event Action Next State Can-Cust giveTicket Can-Cust Can-Cust cancel Can-Cust Can-Cust PayTimerExpires Can-Cust 6.2 Kỹ thuật phân tích vùng (Domain Analysis) om Như ta ₫ã biết, kỹ thuật kiểm thử phân lớp tương ₫ương phân tích giá trị biên chủ yếu xử lý biến liệu ₫ộc lập, rời rạc Tuy nhiên thường biến liệu có mối quan hệ với nhau, ₫ó cách tốt nên tổ hợp chúng ₫ể kiểm thử : Nếu tạo testcase cho biến liệu ₫ộc lập số lượng testcase nhiều ƒ Các biến liệu thường tương tác nhau, giá trị biến ràng buộc giá trị biến kia, ₫ó kiểm thử chúng ₫ộc lập khơng thể phát lỗi liên quan ₫ến ràng buộc en Zo ne C ƒ nh Vi Kỹ thuật phân tích vùng thích hợp việc xác ₫ịnh testcase hiệu biến liệu có tương tác lẫn Nó ₫ược xây dựng kỹ thuật kiểm thử ₫ược ₫ề cập tổng quát hóa chúng ₫ể kiểm thử ₫ồng thời n biến liệu Si Xét trường hợp biến liệu tương tác nhau, ta thấy có loại lỗi sau : Biên ngang bị dịch lên hay xuống Đúng SinhVienZone.com Sai https://fb.com/sinhvienzonevn Biên nghiêng sai góc Sai om Đúng Thiếu biên Sai Vi en Zo ne C Đúng nh Thừa biên Sai Si Đúng Ta ₫ịnh nghĩa số thuật ngữ : Điểm on : ₫iểm nằm biên SinhVienZone.com https://fb.com/sinhvienzonevn Điểm off : ₫iểm không nằm biên Điểm in : ₫iểm thỏa ₫iều kiện biên không nằm biên Điểm out : ₫iểm không thỏa ₫iều kiện biên Việc chọn ₫iểm on off thường phức tạp nghĩ : Nếu biên ₫óng (dùng tốn tử so sánh có yếu tố =), ₫iểm on nằm biên thuộc vùng xử lý Trong trường hợp này, ta chọn ₫iểm off nằm vùng xử lý ƒ Nếu biên mở (dùng tốn tử so sánh khơng có yếu tố =), ₫iểm on nằm biên khơng thuộc vùng xử lý Trong trường hợp ta chọn ₫iểm off nằm vùng xử lý ne C om ƒ Si nh Vi en Zo Thí dụ ₫iểm on, off, in out : Kỹ thuật phân tích vùng yêu cầu chọn tescase theo cách thức sau : Ứng với ₫iều kiện , ≤, ≥, chọn ₫iểm on ₫iểm off Ứng với ₫iều kiện =, ≠, chọn ₫iểm on, ₫iểm off ₫iểm on SinhVienZone.com https://fb.com/sinhvienzonevn .C om Binder ₫ề nghị bảng hữu ích — ma trận kiểm thử vùng : ne Thí dụ, TPPM xét kết ₫ậu ₫ại học theo tiêu chuẩn sau : 10*GPA + ACT >= 71 ƒ GPA : ₫iểm trung bình tích lũy lớp phổ thông (