摘要：Due to the raising level of abstraction in information systems development many activities of this process are migrating to its early phases. The same is true for testing – modern CASE tools are undertaking validation of software models. In this paper the methodology for checking of conceptual models is proposed as the step-wise pro-cess during which model elements including integrity constraints are progressively checked for their adequacy to values of objects, their relationships and constraints of the corresponding problem domain. The checking process is associated with the particular methodology for development of ordered and precise conceptual models (OPCM), which brings improvements to their quality: conformity to normal forms and ontological foundations, and to the observed reality. The rules for checking of integrity constraints are proposed on the base of taxonomy created in the result of analysis of the most promising methods for conceptual modelling.
