In this paper, we present a set of software tools fo developing and validating object oriented conceptual models specified in \sc Troll. \sc Troll is a formal object-oriented language for modelling information systems on a high level of abstraction. The tools include editors, syntax and consistency checkers as well as an animator which generates executable prototypes from the models on the same level of abstraction. In this way, the model behaviour can be observed and checked against the informal user requirements. After a short introduction in some validation techniques and research questions, we describe briefly the \sc Troll language as well as its graphical version \sc OmTroll. We then explain the system architecture and show its functionalities by a simplified example of an industrial application which is called CATC (Computer Aided Testing and Certifying).