Phương pháp B

Phương pháp B [63] đã được sử dụng để mô hình hóa và sinh ca kiểm thử cho các ứng dụng tương tác và chúng được mở rộng để mô hình hóa và sinh ca kiểm thử cho các ứng dụng tương tác đa phương thức. Kiểm thử ứng dụng đa phương thức với ngôn ngữ Event B theo phương pháp thiết kế lại mô hình ứng dụng dựa trên sự tinh chỉnh mô hình. Các sự kiện được tinh chỉnh từ sự kiện của mô hình trừu tượng gốc. Các nhiệm vụ của ứng dụng tương tác đa phương thức được biểu diễn bởi cây nhiệm vụ tương tranh (Concur Task Tree- CTT) và các thuộc tính CARE đều được mô hình hóa bằng Event B.