Acta Univ. Agric. Silvic. Mendelianae Brun. 2006, 54, 133-144

https://doi.org/10.11118/actaun200654060133
Published online 2014-12-01

An interactive style of the testing database production for EIS

Milan Mišovič, Ivana Rábová

Ústav informatiky, Mendelova zemědělská a lesnická univerzita v Brně, Zemědělská 1, 613 00 Brno, Česká republika

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.

References

7 live references