Đối với các mục đích của kiểm tra cấu trúc, TurboPascal triển khai trong ba ví dụ cấp độ đơn vị được đưa ra trong chương này. Giới thiệu hệ thống cấp độ của hệ thống SATM và hệ thống Windshield Wiper Saturn, cụ thể là một E / sơ đồ R, một tập hợp các sơ đồ dataflow, và một nhà nước hữu hạn Mô tả máy, được đưa ra trong Phần IV.
đang được dịch, vui lòng đợi..
