Mô hình hóa UML và OCL

Luận văn thạc sĩ vnu uet phương pháp sinh dữ liệu kiểm thử tự động từ biểu đồ tuần tự uml biểu đồ lớp và ràng buộc ocl

Luận văn thạc sĩ VNU UET trình bày phương pháp sinh dữ liệu kiểm thử tự động từ biểu đồ tuần tự UML, biểu đồ lớp và ràng buộc OCL.