Các phương pháp kiểm thử cho hệ thống tương tác có thể thực hiện bằng cáchsử dụng thông tin phản hồi từ giao diện người dùng thông qua các cuộc phỏng vấn, khảo sát, giám sát hoặc có thể sử dụng các phương pháp hình thức để kiểm thử tự động bằng cách sử dụng một mô hình để tạo ra các ca kiểm thử. Các phương pháp kiểm thử hình thức có thể liệt kê như sau: kiểm thử dựa vào máy trạng thái, kiểm thử dựa vào văn phạm phi ngữ cảnh, kiểm thử dựa trên ngôn ngữ mô hình hóa, kiểm thử dựa trên đặc tả các thuộc tính, kiểm thử dựa trên đặc tả các hành vi và kiểm tử dựa trên cách tiếp cận đồng bộ. Các phương pháp kiểm thử ứng dụng tương tác đã sử dụng nhiều ký hiệu khác nhau để xây dựng các mô hình kiểm thử: hành vi của ứng dụng được biểu diễn qua mô hình cây nhiệm vụ tương tranh, các nhiệm vụ tương tác được biểu diễn qua mô hình máy trạng thái, các hoạt động của người dùng được biểu diễn trong hồ sơ hoạt động đã được chú thích trên cây nhiệm vụ.