Model-based design and test