Interaktivní styl produkce testovací báze dat pro podnikový IS

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F62156489%3A43110%2F06%3A00098838" target="_blank" >RIV/62156489:43110/06:00098838 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Interaktivní styl produkce testovací báze dat pro podnikový IS

Popis výsledku v původním jazyce

Ověřování výsledků funkční a datové analýzy zajímá informatiky již řadu let. Snaha odhalit závady na úrovni esenciálního modelu klade jistě verifikaci do velmi užitečné roviny. Kardinální otázkou takto situované verifikace je "co" porovnat s "čím". Je tosituace poněkud složitější než obdobná problematika pro jednoduché programy. Naformulovat však to, co bylo původně zamýšleno pro funkci stávajícího a požadovaného podnikového informačního systému (PIS) zpracování informace je nejen obtížné, ale i těžkoporovnatelné se získanými výsledky funkční a datové analýzy. Jelikož podstatu takovéto verifikace tvoří sémantika, je obtížné najít vhodný formálně-sémantický systém, který by podstatě kardinální otázky vyhověl. Kardinální otázku verifikace nelze obejít,můžeme jen najít pro nás její vhodnou interpretaci. Jednou z nich může být zavedení role analytika-projektanta a zástupce(-ů) uživatele jako komparátorů mezi tím co bylo zamýšleno, a tím čeho bylo analýzou dosaženo. Takový komparátor ale

Název v anglickém jazyce

An Interactive Style of the Testing Database Production for EIS

Popis výsledku anglicky

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 s

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2006

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis

ISSN

1211-8516

e-ISSN

—

Svazek periodika

LIV

Číslo periodika v rámci svazku

6

Stát vydavatele periodika

CZ - Česká republika

Počet stran výsledku

11

Strana od-do

133-143

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—