1. A method for model-based testing of an industrial system, comprising the steps of: modeling functionality of an industrial system using a modeling computer language; enhancing said model by adding functionality or refining existing functionality; generating test suites from said system model; and executing said test suites.