Acta Univ. Agric. Silvic. Mendelianae Brun. 2006, 54(6), 133-144 | DOI: 10.11118/actaun200654060133
INTERAKTIVNÍ STYL PRODUKCE TESTOVACÍ BÁZE DAT PRO PODNIKOVÝ IS
- Ústav informatiky, Mendelova zemědělská a lesnická univerzita v Brně, Zemědělská 1, 613 00 Brno, Česká republika
V příspěvku je uvedena původní formalizace pojetí interaktivního stylu tvorby testovací báze dat pro podnikový IS. Definici zmíněného stylu předchází zavedení stavu datové struktury entita a rozbor elementárních funkcí, kterými je entita zpracována. Transakce, na které jsou procesy rozloženy, jsou potom sestaveny z elementárních funkcí, které ovlivňují stav zpracovávané entity. Na základě charakteristiky vlivu funkcí na stav entit, zpracovávaných vybranou cestou v transakci, jsou formulovány stavové rovnice, které zachycují stav před a po zpracování entit elementárními funkcemi na vybrané cestě. Neznámými jsou stavy (vícerozměrné veličiny) zpracovávaných entit, které se musí najít. Systém stavových rovnic má obecně nekonečně mnoho řešení. Proto je zaveden algoritmus pro interaktivní styl nalezení řešení za přispění analytika.
testovací báze dat, událost, transakce, stavové rovnice, graf řízení události, cesta v grafu řízení události, funkční korektnost
An interactive style of the testing database production for EIS
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.
Keywords: database for IS testing, event, transaction, state equations, control event graph, path in control event graph, function correctness
Received: June 15, 2006; Published: December 1, 2014 Show citation
References
- MANNA, Z.: Mathematical Theory of Computation. London, Mc-Graw Hill, 1974.
- MARTIN, J.: Information Engineering. New Jersey, Prentice Hall International, 1982. ISBN 0-13-464462-X.
- YOURDON, E.: Modern Structured Analysis. New Jersey, Prentice Hall International, Inc., 1989.
- MOLNÁR, Z.: Moderní metody řízení informačních systémů. Praha, GRADA a. s., 1992. ISBN 80-85623-07-2.
- MIŠOVIČ, M.: New construction of Data Testing Set. Praha, Mezin. konference RUFIS'97, 1997. s. 107-112. ISBN 80-01-01710-9.
- RÁBOVÁ, I.: Formalizace transakcí v podnikových procesech. Brno, Mezinárodní konference Firma a konkurenční prostředí, MZLU v Brně, Provozně ekonomická fakulta, 2005. s. 50-55. ISBN 80-7302-097-1.
- MIŠOVIČ, M. - RÁBOVÁ, I.: Konzistence podnikových procesů vyjádřená formálním aparátem transakcí. Brno, Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis, 2005. sv. 13, č. 3, s. 117-125. ISSN 1211-8516. DOI: 10.11118/actaun200553030117
Go to original source...
This is an open access article distributed under the terms of the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (CC BY NC ND 4.0), which permits non-comercial use, distribution, and reproduction in any medium, provided the original publication is properly cited. No use, distribution or reproduction is permitted which does not comply with these terms.