An interactive style of the testing database production for EIS
Milan Mišovič, Ivana Rábová · Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis · 2014
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.