Integrating contract-based testing into model-driven software development