Yakindu Statechart Tools – [Windows]

[ad_1]

Bộ công cụ mã nguồn mở YAKINDU (SCT) miễn phí để sử dụng, cung cấp một môi trường mô hình tích hợp để xác định và phát triển các hệ thống theo hướng sự kiện dựa trên khái niệm statecharts.

Chỉnh sửa
Yakindu Statechart Tools (SCT) có sự kết hợp trực quan giữa ký hiệu đồ họa và văn bản. Trong khi các trạng thái, chuyển tiếp và phân cấp trạng thái là các thành phần đồ họa, tất cả các khai báo và hành động được chỉ định bằng cách sử dụng ký hiệu văn bản. Khả năng sử dụng của trình soạn thảo statechart được tối ưu hóa để làm việc với các statecharts này.

Thẩm định
Việc xác nhận statecharts bao gồm kiểm tra cú pháp và ngữ nghĩa của biểu đồ trạng thái hoàn chỉnh. Ví dụ về xác nhận là phát hiện các trạng thái không thể truy cập, ngõ cụt và tham chiếu đến các sự kiện chưa biết. Những ràng buộc xác nhận được kiểm tra trực tiếp trong quá trình chỉnh sửa.

Mô phỏng
Ngoài việc xác nhận cấu trúc, kiểm tra ngữ nghĩa động là rất quan trọng. Không thể xác định tính chính xác của statechart chỉ bằng cách kiểm tra trực quan. Do đó, người dùng phải có khả năng thực hiện các statecharts mà anh ta đang làm việc. Các công cụ mô phỏng statechart tích hợp giải quyết những nhu cầu này. Người dùng có thể thực hiện statecharts trực tiếp trong môi trường mô hình. Các trạng thái hoạt động được tô sáng trực tiếp trong trình chỉnh sửa statechart và phối cảnh mô phỏng chuyên dụng có quyền truy cập vào các điều khiển thực thi (bắt đầu, dừng, tạm dừng, tiếp tục), kiểm tra và thiết lập các biến, cũng như nâng cao các sự kiện.

Tạo mã
Yakindu Statechart Tools (SCT) bao gồm các trình tạo mã cho Java, C và C ++. Các trình tạo mã tuân theo cách tiếp cận ‘chỉ mã’ và không dựa vào bất kỳ thư viện thời gian chạy bổ sung nào. Mã được tạo cung cấp một giao diện được xác định rõ và có thể được tích hợp dễ dàng với bất kỳ mã máy khách nào. Mã được tạo ra cũng có thể đọc và được cấu trúc theo cách cho phép rất hiệu quả

[ad_2] Dịch vụ gia công phần mềm windows: 0849.247.247