RT Journal Article SR Electronic A1 Mišovič, Milan A1 Rábová, Ivana T1 An interactive style of the testing database production for EIS JF Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis YR 2014 VO 54 IS 6 SP 133 OP 144 DO 10.11118/actaun200654060133 UL https://acta.mendelu.cz/artkey/acu-200606-0015.php AB Using a progressive Information Technology for development of Software Modules for Enterprise Information Systems brings a lot of practical and theoretical problems. One of them is a verification of results achieved in Life Cycle Stages, especially in the analysis stage. Instead of a very deep theoretical approach we can use quite practical testing by means of a testing database. Such testing database has to be constructed gradually from the Data Flow Diagram by a special algorithm.This article introduces a formal description of the entity population and entity states. There is suggested to deal with fragments of the DFD that are produced with respect to the event set. This DFD event fragment is refined to transactions and their elementary functions. There is defined a transaction path in every transaction. By means of a special state equation system is generally defined conception of a correct functional processing of entities going along a selected transaction path. Solutions of such state equation systems are platform for getting a testing database.