Luận văn Nghiên cứu kiểm thử hệ thống hướng đối tượng dựa trên biểu đồ lớp

Tóm tắt Luận văn Nghiên cứu kiểm thử hệ thống hướng đối tượng dựa trên biểu đồ lớp: ...c thi thành phần tiêu biểu (Symbolic Execution) - Tinh giảm tự động (Automated deduction)  Kiểm thử lớp tương đương (Equivalence Classes Testing) Việc đầu tiên của kỹ thuật kiểm thử này là phân hoạch không gian trạng thái, từ đó xác định tập ca kiểm thử [4], [5]. Định nghĩa 1: Một phân ho...si}; for i := 1 to m do begin if ti.g true then Ng = Ng {ti.g}; Nt = Nt {ti}; end; Esg := Est := Egt := Ets:= ; for 1:= 1 to m do begin if ti.g = true then Est := Est {(ti.s , ti)} else Begin Esg := Esg {(ti.s , ti.g)}; Egt := Egt {(ti.g , ti)} ; End; Ets := Ets {(ti ... Để xây dựng đồ thị tương tác (IG), chúng ta dựa vào bảng biến và đồ thị luồng điều khiển của mỗi phương thức. Trong đồ thị tương tác chúng ta cần quan tâm hai vấn đề sau: Một là: sự tương tác không có tham số thì được thực hiện một cách tự động. Hai là: có thể có những mối quan hệ phụ t...