Luận văn Nghiên cứu ứng dụng công cụ satan để phân tích khả năng kiểm thử phần mềm cho các thiết kế trên môi trường simulink

Tóm tắt Luận văn Nghiên cứu ứng dụng công cụ satan để phân tích khả năng kiểm thử phần mềm cho các thiết kế trên môi trường simulink: ... lỗi khi kiểm thử với miền dữ liệu vào ngẫu nhiên. Dựa vào kết quả của hoạt động, người kiểm thử tìm phương pháp tốt nhất để cải tiến chất lượng, tăng KNKT của phần mềm. Cấu trúc và ngữ nghĩa của mã nguồn cùng với sự phân bố miền dữ liệu vào đã quyết định KNKT phần mềm. 1.2.2. Các phương p...SIMULINK 2.3.1.Thư viện Sources 2.3.2.Thư viện Sinks 2.3.3.Thư viện Math 2.3.4.Thư viện Continuous 2.3.4.Thư viện Discrete 2.3.5.Thư viện Signal & Systems 2.4. MÔ PHỎNG BẰNG SIMULINK Việc mô phỏng bằng Simulink gồm các bước sau: Bước 1: Mở cửa sổ mô phỏng Similink. 13 Bước 2: R... trong X hai đỉnh đặc biệt x1 và xn, sao cho )( 1xG−Γ ≠ ∅ (x1 được gọi là đỉnh vào) và )( nG x+Γ ≠ ∅ (xn được gọi là đỉnh ra). Mỗi cung (xi, xj) ∈ U được gán cij là khả năng thông tin của cung đó. Một đồ thị như thế được gọi là mạng truyền tin, được định nghĩa bởi bộ ba T = (X, U, C) trong đ...