Phần mềm-Ứng dụng

Cách tiếp cận ICO [23] được mở rộng để kiểm thử các ứng dụng tương tác đa phương thức [60]. Phương pháp này sử dụng một hình thức là các đối tượng hợp tác tương tác (Interactive Cooperative Objects), dựa trên phương pháp hướng đối tượng và mạng Petri. Để đặc tả ứng dụng tương tác đa phương thức với ICO, các tác giả đã mở rộng thêm các thành phần:

- Thời gian được thêm vào các chuyển tiếp, các trạng thái và các thẻ để thao tác các ràng buộc thời gian.

- Một cơ chế truyền thông để phát sinh và hủy bỏ các sự kiện.

- Một cơ chế sử dụng cấu trúc, bộ chuyển đổi để xử lý nhiều sự kiện hơn.

- Một cơ chế mô tả hành vi đầu ra phụ thuộc vào trạng thái của mô hình.