Minh họa giao diện thành phần phần mềm

Một phần của tài liệu (LUẬN án TIẾN sĩ) một số phương pháp mô hình hoá và kiểm chứng hình thức cho các hệ thống thời gian thực hướng thành phần luận án TS máy tính 94801 (Trang 28 - 29)

Chương 6 Kết luận

2.1 Minh họa giao diện thành phần phần mềm

c. Làm mịn: Là kỹ thuật làm chi tiết hóa việc thiết kế của những thành phần phần mềm đã có bằng những thành phần phần mềm khác có chất lượng tốt hơn. Kỹ thuật làm mịn có thể áp dụng vào trong trường hợp tìm kiếm những thành phần phần mềm hoặc các chi tiết bên trong thành phần đó để thay bằng

những thành phần mới hoặc chi tiết mới tương ứng sao cho những bộ phận mới này đáp ứng tốt hơn những bộ phận cũ.

d. Hợp đồng: Khi nói đến thành phần phần mềm, người ta sẽ nghĩ đến thành phần này có chức năng gì. Tuy nhiên, trong lĩnh vực kỹ nghệ phần mềm dựa trên thành phần, người ta quan tâm hơn đến việc các thành phần phần mềm được sử dụng như thế nào cho hiệu quả. Kỹ thuật đặc tả thành phần phần mềm bằng hợp đồng đã đáp ứng được các yêu cầu khắt khe đó. Một hợp đồng là một thỏa thuận của thành phần phần mềm với các “khách hàng” của chúng. Chỉ khi các ràng buộc trong hợp đồng thỏa được thì thành phần phần mềm đó sẽ thực thi đúng theo yêu cầu.

e. Ghép các thành phần phần mềm: Các hệ thống ngày càng phức tạp và có quy mơ tăng dần. Kỹ thuật ghép các thành phần phần mềm đáp ứng được mục tiêu đó. Tuy nhiên, khi ghép các thành phần phần mềm với nhau luôn phải bảo tồn các tính chất của hệ thống. Các phương pháp ghép có thể là ghép song song, ghép nối tiếp và quan trọng nhất là phép cắm môi trường vào thành phần phần mềm. Phép cắm cho biết thành phần phần mềm có thỏa yêu cầu của hệ thống hay không và cho biết thành phần phần mềm được sử dụng như thế nào. ℂ 1 ℂ 2 ℂ 1 ℂ 2 D e la y (a) (b) X1 X2 X1 X2 Y1 Y2 Y1 Y2

Một phần của tài liệu (LUẬN án TIẾN sĩ) một số phương pháp mô hình hoá và kiểm chứng hình thức cho các hệ thống thời gian thực hướng thành phần luận án TS máy tính 94801 (Trang 28 - 29)

Tải bản đầy đủ (PDF)

(166 trang)