Đang tải... (xem toàn văn)
White Box Testing Dựa vào mã nguồn cấu trúc chương trình.Đối tượng là các thành phần phần mềm (1 hàm chức năng, 1 module chức năng… ).Thường tốn rất nhiều thời gian và công sức.Có 2 hoạt động kiểm thử hộp trắng:Kiểm thử luồng điều khiển.Kiểm thử luồng dữ liệu.
Lớp:D10CNPM2 Nhóm 1 • Trần Việt Anh • Đỗ Tất Đạt • Trần Quốc Đông • Dương Thị Hoan • Phạm Đức Thắng • Dựa vào mã nguồn/ cấu trúc chương trình. • Đối tượng là các thành phần phần mềm (1 hàm chức năng, 1 module chức năng… ). • Thường tốn rất nhiều thời gian và công sức. • Có 2 hoạt động kiểm thử hộp trắng: • Kiểm thử luồng điều khiển. • Kiểm thử luồng dữ liệu. • !"# $% • &'()!*+,- • .% • ,% . . • Thực hiện bằng cách phân tích các mã nguồn, không thực thi các mã. • Phương pháp kiểm thử dòng dữ liệu tĩnh thường được sử dụng để phát hiện những khiếm khuyết tiềm ẩn trong chương trình. . Có ba loại tình huống bất thường với việc sử dụng biến. • Loại 1: Gán giá trị cho biến sau đó lại gán giá trị một lần nữa. • Loại 2: Chưa gán giá trị biến nhưng vẫn được sử dụng. • Loại 3: Đã khai báo và gán giá trị biến nhưng không sử dụng. . • Loại 1 : Gán giá trị sau đó lại gán giá trị một lần nữa. • Ví dụ : x = f1(y); x = f2(z); • Các trường hợp lý giải: • Nếu dòng lệnh thứ hai thực hiện => dòng lệnh thứ nhất không có ý nghĩa. • Dòng lệnh 1 và 2 có thể nhầm lẫn. • Thiếu câu lệnh. [...]... này thực sự không được sử dụng trong chương trình Kiểm thử luồng dữ liệu tĩnh • Sơ đồ chuyển trạng của biến • • Trạng thái: U: Undefined D: Defined but not referenced R: Defined and referenced A: Abnormal Hành động: d : Define r : Reference u : Undefine Kiểm thử luồng dữ liệu động Kiểm thử luồng dữ liệu động • Lý do cần kiểm thử dòng dữ liệu: • • Cần chắc chắn biến được gán đúng giá trị,... sai) Kiểm thử luồng dữ liệu động • Các bước thực hiện: • • • • Xây dựng đồ thị dòng dữ liệu của chương trình/đơn vị chương trình Chọn một hoặc một số tiêu chí kiểm thử dòng dữ liệu Xác định các đường dẫn chương trình phù hợp với tiêu chí kiểm thử đã chọn Lấy ra các biểu thức điều kiện từ tập các đường đi, thực hiện giải các biểu thức điều kiện để có được các giá trị đầu vào cho các ca kiểm thử tương.. .Kiểm thử luồng dữ liệu tĩnh • • Loại 2: Chưa gán giá trị cho biến nhưng vẫn được sử dụng Ví dụ : y = f(x1); int z; • x= y+z; Các trường hợp lý giải: • • Người lập trình quên chưa gán giá trị cho z Nhầm biến z với một biến đã khai báo Kiểm thử luồng dữ liệu tĩnh • • Loại 3: Đã khai báo và gán giá trị cho biến nhưng không sử dụng... dòng dữ liệu thỏa mãn c2 nhưng không thỏa mãn c1 Sinh các ca kiểm thử • Để tiến hành phương pháp kiểm thử dòng dữ liệu, trước hết chúng ta phải sinh đồ thị dòng dữ liệu của đơn vị chương trình • Xác định tất cả các đường đi đầy đủ (Complete-paths) thỏa mãn độ đo C ->Cần phải sinh được bộ đầu vào cho từng đường đi đầy đủ trên Sinh các ca kiểm thử • Ví dụ: xét Complete path 1-2-3-4-5-6-7-8-9-10-5-11-12-14... Đồ thị luồng dữ liệu • Một số khái niệm: • • • • • Def: là câu lệnh gán giá trị cho một biến Undef: khai báo biên nhưng chưa cấp giá trị cho nó Use: là câu lệnh sử dụng một biến (tính toán hoặc kiểm tra các điều kiện) C-use: là câu lệnh sử dụng biến để tính toán giá trị của một biến khác P-use: là câu lệnh sử dụng biến trong các biểu thức điều kiện (câu lệnh rẽ nhánh, lặp, ) Kiểm thử luồng dữ liệu. .. các độ đo của kiểm thử dòng dữ liệu • • Mối quan hệ bao gồm: Cho hai độ đo c1 và c2, ta nói c 1 bao gồm c2 nếu mọi đường đi đầy đủ (Complete-paths) sinh ra từ đồ thị dòng dữ liệu thỏa mãn c1 thì cũng thỏa mãn c2 Mối quan hệ bao gồm chặt: Cho hai độ đo c1và c2, ta nói c1 bao gồm chặt c2, ký hiệu là c1 −→ c2, nếu c1 bao gồm c2 và tồn tại một số đường đi đầy đủ sinh ra từ đồ thị dòng dữ liệu thỏa mãn... đi, thực hiện giải các biểu thức điều kiện để có được các giá trị đầu vào cho các ca kiểm thử tương ứng với các đường đi này và tính toán giá trị đầu ra mong đợi của mỗi ca kiểm thử Đồ thị luồng dữ liệu • Định nghĩa: Đồ thị dòng dữ liệu của một chương trình/đơn vị chương trình là một đồ thị có hướng G = , với: • • N là tập các đỉnh tương ứng với các câu lệnh def hoặc c-use của các biến được sử... • • Simple path: Một đường đi trong đồ thị dòng dữ liệu được gọi là một Simple path nếu các đỉnh chỉ xuất hiện đúng một lần trừ đỉnh đầu và đỉnh cuối • Ví dụ: 1-2-3-4-5-6, 5-6-7-10-5 Loop-free path :Một đường đi trong đồ thị dòng dữ liệu được gọi là một Loop-free path nếu các đỉnh chỉ xuất hiện đúng một lần • Ví dụ: 1-2-3-4-5-6 Thuật ngữ về luồng dữ liệu • Complete-path :Một đường đi được gọi là một... Thuật ngữ về luồng dữ liệu • Global def: Một đỉnh i được gọi là Global def của biến x nếu đỉnh này định nghĩa biến x (def ) và có một Def -clear path của x từ đỉnh i tới đỉnh chứa một Global c-use hoặc cạnh chứa một p-use của biến này • Ví dụ: 4 là Global def của biến ti vì • • 4 định nghĩa biến ti Def-clear path 4-5-6 của biến ti có 6 là Global c-use của biến ti Thuật ngữ về luồng dữ liệu • • Simple... path với biến này Ví dụ: 4-5-6 là du-path ứng với biến ti vì: • • • 4 là Global def của biến ti 6 là Global c-use của biến ti, 4-5-6 là def-clear path của biến ti 4-5-6 là simple path Tiêu chí kiểm thử luồng dữ liệu • All-defs: Mỗi một biến x ∈ V và mỗi đỉnh i ∈ N , giả sử x có một Global def tại i, chọn một Complete-path chứa một Def-clear path từ đỉnh i tới đỉnh j sao cho tại j là Global c-use của . ). • Thường tốn rất nhiều thời gian và công sức. • Có 2 hoạt động kiểm thử hộp trắng: • Kiểm thử luồng điều khiển. • Kiểm thử luồng dữ liệu. • . ,% . . • Thực hiện bằng cách phân tích các mã nguồn, không thực thi các mã. • Phương pháp kiểm thử dòng dữ liệu tĩnh thường được sử dụng để phát hiện những khiếm khuyết tiềm ẩn trong chương trình. . Có