Xây dựng và mô phỏng các mô hình SCICOS

Một phần của tài liệu Nghiên cứu kỹ thuật phân tích khả năng kiểm thử phần mềm và mở rộng tính năng của công cụ SATAN, thử nghiệm ứng dụng trong môi trường Scicos và Simulink (Trang 81)

SCICOS cung cấp thư viện chứa rất nhiều khối/mô-đun có sẵn. Khi thiết kế các mô hình SCICOS, chúng ta có thể kéo-thả các khối vào cửa sổ chính của SCICOS. Thư viện Sources chứa các khối có thể tự sinh ra các tín hiệu mà không cần bất kỳ đầu vào nào, trong khi đó thư viện Sinks chứa các khối không có bất kỳđầu ra nào.

71

Hình 3.1. minh họa một mô hình SCICOS gồm ba khối: sinusoid signal generator, scopeevent clock (khối sinh sự kiện). Khối sinusoid signal generator sinh đầu ra là một hàm sin. Khối tính tích phân nhận đầu vào là đầu ra của khối sinusoid signal generator. Khối scope được sử dụng để biểu diễn tín hiệu kết quả của khối sinusoid signal generator và khối tính tích phân. Khối event clock được dùng để kích hoạt khối scope định kỳ với tần số được chỉ định trước. Mỗi lần khối scope được kích hoạt, nó đọc giá trị của tín hiệu từ cổng đầu vào của nó. Giá trị này sau đó được sử dụng để vẽ ra các đường cong, hiển thị trong cửa sổ sinh ra bởi khối scope. Để thiết lập khối scope

được kích hoạt bằng khối event clock, đầu ra của khối này cần được nối với đầu vào của khối scope.

Hình 3.1. Minh họa mô hình SCICOS

Trong mô hình SCICOS, có hai loại liên kết: liên kết thông thường và liên kết kích hoạt. Liên kết thông thường truyền dẫn tín hiệu, trong khi liên kết kích hoạt truyền dẫn thông tin về thời gian kích hoạt.

SCICOS cho phép mô phỏng hoạt động của một thiết kế. Chẳng hạn, Hình 3.2 biểu diễn kết quả của mô hình trong Hình 3.1.

72

Hình 3.2. Mô phỏng hoạt động mô hình trong Hình 3.1

Một phần của tài liệu Nghiên cứu kỹ thuật phân tích khả năng kiểm thử phần mềm và mở rộng tính năng của công cụ SATAN, thử nghiệm ứng dụng trong môi trường Scicos và Simulink (Trang 81)