Khảo sát và áp dụng lập trình hướng khía cạnh thực hiện kiểm chứng ngôn ngữ ràng buộc đối tượng

Abstract

Đồng hành với tính tiến hóa và những yêu cầu nội tại không ngừng của thế giới tự nhiên, các hệ thống phần mềm hiện đại ngày càng phức tạp, gia tăng áp lực về chi phí phát triển, hạn định và chất lượng phần mềm. Một mặt bên cạnh lập trình hướng đối tượng, các phương pháp phát triển phần mềm như: Software Product-Line, Aspect-oriented, Agent-based, Reflection, .v.v. được mô tả ở các tài liệu, giáo trình mới nhất về công nghệ phần mềm [1], [2]. Mặt khác, trong quá trình phát triển, các ứng dụng thường được chia thành các đơn vị nhỏ (unit), quá trình thực thi mỗi unit có thể có những vi phạm OCL (Object-Constraint Language, ngôn ngữ ràng buộc đối tượng) chỉ xảy ra trong những khoảng thời gian rất ngắn và hầu như không ảnh hưởng đến giá trị trả về của một unit, nên quá trình kiểm thử đơn vị (unit test), ca thử nghiệm (test case) không phát hiện được những vi phạm này. Các nghiên cứu trước đây về ràng buộc OCL sử dụng aspect [5], [6] không mô tả rõ phương pháp xây dựng aspect kiểm chứng. Bài viết đặt mục đích trình bày về kỹ thuật lập trình hướng khía cạnh (Aspect-Oriented Programming, AOP) - một kỹ thuật tiên tiến của công nghệ phần mềm, áp dụng hướng khía cạnh để kiểm chứng ràng buộc OCL các chương trình hướng đối tượng. Đồng thời mở rộng aspect kiểm chứng bất biến kết hợp, bất biến liên quan đến nhiều thuộc tính trong lớp, bất biến trong tập đối tượng.