Môi trường 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 80)

3.2.1.Giới thiệu

SCILAB [41] là một gói phần mềm mã nguồn mở phục vụ công việc tính toán trong các lĩnh vực khoa học. SCICOS [42] được phát triển trên SCILAB nhằm cung cấp môi trường biên tập đồ họa, hỗ trợ xây dựng và mô phỏng các hệ thống động. SCILAB/SCICOS là một sản phẩm mã nguồn mở, nhằm mục đích thay thế cho các sản phẩm thương mại có chức năng tương tự như MATLAB/SIMULINK hay MATRIX/SystemBuild. SCILAB/SCICOS được sử dụng rộng rãi ở các trường đại học và các trường kỹ thuật và ngày càng mở rộng sựảnh hưởng trong môi trường công nghiệp.

70

SCICOS hỗ trợ rất tốt trong việc mô hình hóa các hệ thống chứa các thành phần thời gian liên tục và rời rạc. Những mô hình này có thể được lập trình trực tiếp trong SCILAB bằng cách sử dụng các hàm odedass1 nhưng cần phải kết hợp lập trình thời gian rời rạc, việc này thường rất phức tạp và khó gỡ rối khi có lỗi. Trong khi, SCICOS cung cấp phương pháp mô-đun hóa giúp cho việc xây dựng các hệ thống động phức tạp bằng cách sử dụng trình soạn thảo sơ đồ SCICOS. Sơ đồ SCICOS được biên dịch và mô phỏng chỉ bằng một lần nhấn chuột. Thông thường, SCICOS quản lý các sự kiện thời gian liên tục động, sự kiện của hệ thống, bao gồm cả các sự kiện kết hợp với việc tính toán thời gian rời rạc.

Trong môi trường SCICOS, người phát triển có thể tự xây dựng được thư viện bằng cách tái sử dụng các mô-đun có sẵn. Các thư viện do người dùng xây dựng có thể được sử dụng trong nhiều mô hình và nhiều hệ thống khác nhau. Việc này có ý nghĩa đặc biệt quan trọng khi xây dựng một mô hình lớn chứa các mô hình con nhỏ hơn, được phát triển bởi nhiều nhóm phát triển khác nhau. Cơ chế quản lý của SCICOS đảm bảo các mô-đun được xây dựng tách biệt hay gắn kết, có thể hoạt động một cách hài hòa với nhau.

Một số lượng lớn các khối/mô-đun (blocks) được xây dựng sẵn trong thư viện SCICOS. Chúng cung cấp nhiều tính năng giúp người thiết kế dễ dàng tối ưu, kiểm tra các mô hình và có thể sinh ra ngôn ngữ C tự động.

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