. . "133;143" . . "Interaktivn\u00ED styl produkce testovac\u00ED b\u00E1ze dat pro podnikov\u00FD IS"@cs . . . "An Interactive Style of the Testing Database Production for EIS"@en . "480049" . . "Interaktivn\u00ED styl produkce testovac\u00ED b\u00E1ze dat pro podnikov\u00FD IS" . . "Using a progressive Information Technology for development of Software Modules for En-terprise 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 se-lected transaction path. Solutions of such state equ"@en . "Z(MSM6215648904)" . "Database for IS testing; event, transaction, state equations; path in control event graph, function correctness."@en . . . "LIV" . "CZ - \u010Cesk\u00E1 republika" . . "Ov\u011B\u0159ov\u00E1n\u00ED v\u00FDsledk\u016F funk\u010Dn\u00ED a datov\u00E9 anal\u00FDzy zaj\u00EDm\u00E1 informatiky ji\u017E \u0159adu let. Snaha odhalit z\u00E1vady na \u00FArovni esenci\u00E1ln\u00EDho modelu klade jist\u011B verifikaci do velmi u\u017Eite\u010Dn\u00E9 roviny. Kardin\u00E1ln\u00ED ot\u00E1zkou takto situovan\u00E9 verifikace je %22co%22 porovnat s %22\u010D\u00EDm%22. Je to situace pon\u011Bkud slo\u017Eit\u011Bj\u0161\u00ED ne\u017E obdobn\u00E1 problematika pro jednoduch\u00E9 programy. Naformulovat v\u0161ak to, co bylo p\u016Fvodn\u011B zam\u00FD\u0161leno pro funkci st\u00E1vaj\u00EDc\u00EDho a po\u017Eadovan\u00E9ho podnikov\u00E9ho informa\u010Dn\u00EDho syst\u00E9mu (PIS) zpracov\u00E1n\u00ED informace je nejen obt\u00ED\u017En\u00E9, ale i t\u011B\u017Eko porovnateln\u00E9 se z\u00EDskan\u00FDmi v\u00FDsledky funk\u010Dn\u00ED a datov\u00E9 anal\u00FDzy. Jeliko\u017E podstatu takov\u00E9to verifikace tvo\u0159\u00ED s\u00E9mantika, je obt\u00ED\u017En\u00E9 naj\u00EDt vhodn\u00FD form\u00E1ln\u011B-s\u00E9mantick\u00FD syst\u00E9m, kter\u00FD by podstat\u011B kardin\u00E1ln\u00ED ot\u00E1zky vyhov\u011Bl. Kardin\u00E1ln\u00ED ot\u00E1zku verifikace nelze obej\u00EDt, m\u016F\u017Eeme jen naj\u00EDt pro n\u00E1s jej\u00ED vhodnou interpretaci. Jednou z nich m\u016F\u017Ee b\u00FDt zaveden\u00ED role analytika-projektanta a z\u00E1stupce(-\u016F) u\u017Eivatele jako kompar\u00E1tor\u016F mezi t\u00EDm co bylo zam\u00FD\u0161leno, a t\u00EDm \u010Deho bylo anal\u00FDzou dosa\u017Eeno. Takov\u00FD kompar\u00E1tor ale nen\u00ED schope" . . . "RIV/62156489:43110/06:00098838!RIV07-MSM-43110___" . "Ov\u011B\u0159ov\u00E1n\u00ED v\u00FDsledk\u016F funk\u010Dn\u00ED a datov\u00E9 anal\u00FDzy zaj\u00EDm\u00E1 informatiky ji\u017E \u0159adu let. Snaha odhalit z\u00E1vady na \u00FArovni esenci\u00E1ln\u00EDho modelu klade jist\u011B verifikaci do velmi u\u017Eite\u010Dn\u00E9 roviny. Kardin\u00E1ln\u00ED ot\u00E1zkou takto situovan\u00E9 verifikace je %22co%22 porovnat s %22\u010D\u00EDm%22. Je to situace pon\u011Bkud slo\u017Eit\u011Bj\u0161\u00ED ne\u017E obdobn\u00E1 problematika pro jednoduch\u00E9 programy. Naformulovat v\u0161ak to, co bylo p\u016Fvodn\u011B zam\u00FD\u0161leno pro funkci st\u00E1vaj\u00EDc\u00EDho a po\u017Eadovan\u00E9ho podnikov\u00E9ho informa\u010Dn\u00EDho syst\u00E9mu (PIS) zpracov\u00E1n\u00ED informace je nejen obt\u00ED\u017En\u00E9, ale i t\u011B\u017Eko porovnateln\u00E9 se z\u00EDskan\u00FDmi v\u00FDsledky funk\u010Dn\u00ED a datov\u00E9 anal\u00FDzy. Jeliko\u017E podstatu takov\u00E9to verifikace tvo\u0159\u00ED s\u00E9mantika, je obt\u00ED\u017En\u00E9 naj\u00EDt vhodn\u00FD form\u00E1ln\u011B-s\u00E9mantick\u00FD syst\u00E9m, kter\u00FD by podstat\u011B kardin\u00E1ln\u00ED ot\u00E1zky vyhov\u011Bl. Kardin\u00E1ln\u00ED ot\u00E1zku verifikace nelze obej\u00EDt, m\u016F\u017Eeme jen naj\u00EDt pro n\u00E1s jej\u00ED vhodnou interpretaci. Jednou z nich m\u016F\u017Ee b\u00FDt zaveden\u00ED role analytika-projektanta a z\u00E1stupce(-\u016F) u\u017Eivatele jako kompar\u00E1tor\u016F mezi t\u00EDm co bylo zam\u00FD\u0161leno, a t\u00EDm \u010Deho bylo anal\u00FDzou dosa\u017Eeno. Takov\u00FD kompar\u00E1tor ale nen\u00ED schope"@cs . "6" . "[F93BC70AD35F]" . "1211-8516" . "Mi\u0161ovi\u010D, Milan" . "Interaktivn\u00ED styl produkce testovac\u00ED b\u00E1ze dat pro podnikov\u00FD IS"@cs . . "2"^^ . . . "Interaktivn\u00ED styl produkce testovac\u00ED b\u00E1ze dat pro podnikov\u00FD IS" . "Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis" . "RIV/62156489:43110/06:00098838" . . "43110" . . . "11"^^ . "An Interactive Style of the Testing Database Production for EIS"@en . "R\u00E1bov\u00E1, Ivana" . . "2"^^ .