Ověřování, analýza a návrh aplikací systémové platformy procesů

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23520%2F14%3A43924290" target="_blank" >RIV/49777513:23520/14:43924290 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Ověřování, analýza a návrh aplikací systémové platformy procesů

Popis výsledku v původním jazyce

Cílem spolupráce bylo poskytnout sadu nástrojů pro lepší zajištění funkčnosti, kvality a spolehlivosti software vyvíjeného firmou Openmatics, se sídlem v Plzni. Tato firma vytváří modulární software, který je využíván aplikacemi třetích stran. Toto prostředí klade zvýšené nároky na verifikaci správné kompozice samotné platformy vyvíjené firmou Openmatics, tak i správnost použití aplikací třetích stran v tomto prostředí. Doposud byl tento náš partner odkázán na náročné integrační testy, které byly častoprováděny lidskou silou a chybové. Jako řešení jsme poskytli plně automatizovaný nástroj, který dokáže odhalovat chyby nevhodné kompozice modulů. To umožnilo firmě zvýšit spolehlivost, neboť se snížil počet běhových chyb a zároveň se urychlil vývoj.

Název v anglickém jazyce

Verification, analysis and design of application system platform processes

Popis výsledku anglicky

The goal of this project is to provide a better verification of a platform developed by our partner, Openmatics. They produce a modular system available to third parties. This environment increases the need to assess correctness of modules and third party applications. So far, our partner must use expensive and inaccurate integration testing. In contrast, we were able to offer a fully automatized verification tool to detect modules' incompatibilities. It allows them to increase reliability of testing and decrease amount of runtime failures.

Druh

V_souhrn - Souhrnná výzkumná zpráva

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

N - Vyzkumna aktivita podporovana z neverejnych zdroju

Rok uplatnění

2014

Kód důvěrnosti údajů

C - Předmět řešení projektu podléhá obchodnímu tajemství (§ 504 Občanského zákoníku), ale název projektu, cíle projektu a u ukončeného nebo zastaveného projektu zhodnocení výsledku řešení projektu (údaje P03, P04, P15, P19, P29, PN8) dodané do CEP, jsou upraveny tak, aby byly zveřejnitelné.

Počet stran výsledku

3

Místo vydání

—

Název nakladatele resp. objednatele

Openmatics s.r.o.

Verze

—