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

Một phương pháp khác để kiểm thử ứng dụng tương tác dựa trên cách tiếp cận đồng bộ gần đây đã được đề xuất trong [19, 4]. Cách tiếp cận đồng bộ đã được sử dụng thành công cho việc xây dựng mô hình và cài đặt các hệ thống phản ứng. Nhờ vào các giả thuyết đồng bộ cơ bản (synchronism hypothesis), các đặc tả và xác minh của chương trình trở nên đơn giản và dễ dàng hơn. Phương pháp kiểm thử này sử dụng môi trường kiểm thử Lutess [8]vàmột phần đặc tả hành vi người dùngđược cung cấp như là một tập hợp các biểu thức Lustre [5]. Đặc tả này có thể được mở rộng với các hồ sơ hoạt động (Operational profile). Nhiều chiến lược sinh dữ liệu thử có thể được áp dụng cho các mô hình kiểm thử để tự động phát sinh dữ liệu đầu vào. Sau đó dữ liệu đầu vào thử nghiệm được đưa vào ứng dụng tương tác và ứng dụng tương tác phát sinh kết quả đầu ra. Kết quả đầu ra này lại là đầu vào cho bộ phát sinh kiểm thử.