Kiểm tra quản lýĐối với mã số dựa trên thử nghiệm đó là hỗ trợ cho:xUnit thử nghiệmĐiều này liên quan đến MDA chuyển đổi của các lớp học để NUnit hoặc các lớp Junit với khả năng tạo ra các xét nghiệm đơn vị từ mô hình và tự động ghi lại các kết quả đối với các lớp học thử nghiệm. [42]Thử nghiệm TestpointĐây là một mô hình dựa trên mã thử nghiệm. Đó là song song với thử nghiệm hợp đồng được xác định trong 'Thiết kế theo hợp đồng' và nó chạy bằng cách sử dụng định nghĩa gỡ lỗi. [43]Cả hai của những phương pháp hỗ trợ các định nghĩa thử nghiệm và kiểm tra kết quả đang được đăng nhập chống lại các lớp học có liên quan trong mô hình.
đang được dịch, vui lòng đợi..