1. Phương pháp sinh ca kiểm thử dựa trên ontology
1.2. Phương pháp sinh ca kiểm thử cho hệ thống đa tác tử
Việc kiểm thử cho hệ thống đa tác tử (MAS – Multi Agent System) hiện nay đang gặp nhiều thách thức xuất phát từ chính những đặc điểm của hệ thống. Hệ thống đa tác tử là các hệ thống phân tán, độc lập, hoạt động trong thế giới mở, yêu cầu phải có nhận thức về ngữ cảnh xung quanh, chúng có thể giao tiếp bằng cách sử dụng các giao thức tương tác ở cấp độ cao và có thể phải đối diện với những vấn đề về khả năng tương tác ngữ nghĩa. Những đặc điểm này được xem là khó để thiết kế và lập trình nhưng vẫn có thể kiểm thử được.
Những nghiên cứu gần đây về kiểm thử trên hệ thống đa tác tử cho thấy các cách tiếp cận đều thực hiện bằng cách gửi thông điệp đến tác tử cần kiểm thử và tạo ra một giao thức tương tác. Sau đó sẽ đánh giá thông điệp phản hồi trở lại có đúng với kết quả mong đợi hay không. Tuy nhiên những vấn đề liên quan đến việc sinh ca kiểm thử, trong đó bao gồm việc làm thế nào để tạo những dữ liệu đầu vào hợp lệ và không hợp lệ một cách hiệu quả để kiểm tra triệt để các hành vi của hệ thống đa tác tử thì phần lớn vẫn chưa được khai phá.
Hành vi của tác tử thường phụ thuộc vào thông điệp nhận được. Do đó nội dung cốt lõi của việc sinh ca kiểm thử đó là xây dựng chuỗi các thông điệp để kiểm thử cũng như bao phủ hầu hết các điều kiện có thể để thực thi. Thông thường lỗi chỉ xuất hiện sau một chuỗi dài các hoạt động kiểm tra và trong điều kiện, môi trường cụ thể. Vấn đề chính của kiểm thử tác tử là khả năng thực hiện những tương tác trong thời gian dài với hệ thống cần kiểm thử. Điều này đòi hỏi phương pháp tự động sinh ca kiểm thử để có thể vượt qua được giới hạn về số lượng trường hợp cần được xem xét trong phương pháp kiểm thử thủ công.
Việc sinh ca kiểm thử tự động cần khả năng điền thông tin vào các mẫu thông điệp với dữ liệu đầu vào có nghĩa, đa dạng và đủ để kích hoạt các phản ứng của hệ tác
38
tử cần kiểm thử. Các phương pháp sinh thủ công và ngẫu nhiên chỉ bao phủ thông tin một cách giới hạn, nguyên nhân là do: dữ liệu nhập vào thủ công thường là một tập hợp nhỏ, dữ liệu nhập vào ngẫu nhiên không đảm bảo được ngữ nghĩa của thông điệp.
Để giải quyết vấn đề tạo thông tin đầu vào có ý nghĩa, phần trình bày này sẽ nói về việc sử dụng ưu điểm của ontology tương tác tử. Phương pháp dựa trên ontology tương tác tử [2] cho phép sinh tự động cả giá trị đầu vào hợp lệ và không hợp lệ, hướng dẫn việc khai thác thông tin đầu vào và xác nhận kết quả kiểm thử.