Thư viện các khối 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 83)

Một khối là một mô-đun cơ bản được sử dụng để xây dựng các mô hình SCICOS. Mỗi khối là một hàm trong các ngôn ngữ lập trình, nhiều khối được cung cấp trong các thư viện chuẩn SCICOS, ngoài ra người sử dụng có thể phát triển các khối khác. Mỗi mô hình SCICOS gồm các khối được liên kết với nhau.

SCICOS cung cấp một số các thư viên chuẩn dưới đây:

− Thư viện Sources: gồm các bộ sinh tín hiệu, như bộ sinh tín hiệu sin, tín hiệu cos, tín hiệu bình phương…

− Thư viện Sinks: gồm các khối lưu trữ tín hiệu trên tệp hoặc hiển thị trên màn hình. Các khối này không có đầu ra.

73

− Thư viện Non_linear: gồm các khối thực hiện các toán tử phi tuyến tính không sử dụng bộ nhớ, như phép nhân, lô-ga-rít, các hàm lượng giác… Ngoài ra, thư viện này còn có các khối nội suy, các khối tìm kiếm trong các danh sách và khối đặc biệt

Mathematical Expression được sử dụng để biểu diễn các toán tử phi tuyến tính bằng các biểu thức SCILAB.

− Thư viện Events: gồm các khối tạo và xử lý các sự kiện (các tín hiệu kích hoạt). Thư viện này cũng gồm khối Stop, được sử dụng để dừng việc mô phỏng.

− Thư viện Threshold: gồm các khối sinh ra sự kiện khi tín hiệu vượt qua giá trị không.

− Thư viện Linear: chứa các khối thực hiện các toán tử tuyến tính, như tính tổng, các hệ thống tuyến tính động.

− Thư viện Others: gồm các khối dùng để xây dựng các khối mới, như Cblock2, Scifunc, Generic… Thư viện này cũng chứa các khối lô-gíc và các khối quan hệ.

Các thư viện trên cung cấp các khối có mục đích chung. Các thư viện chuyên biệt có thể được phát triển bởi người thiết kế, chẳng hạn như thư viện

Electrical và thư viện Thermo-Hydraulic.

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 83)