Kiểm tra ràng buộc thời gian sử dụng AOP

Abstract

Lĩnh vực kiểm chứng cụ thể trong phạm vi bài toán là kiểm tra tự động tính tuần tự của các phương thức, kiểm tra ràng buộc thời gian của các phương thức trong giao thức có tuân theo thiết kế đặc tả hay không Nhiệm vụ chính của bài toán là xây dựng phương pháp tạo ra các đoạn mã aspect để kiểm chứng, xây dựng công cụ tự động sinh mã aspect kiểm chứng từ đặc tả giao thức bằng biểu đồ ràng buộc thời gian. Mã aspect chính là đầu ra cuối cùng của công cụ. Đánh giá hiệu quả của phương pháp kiểm tra ràng buộc thời gian thông qua chương trình mô phỏng.