Verification, analysis and design of application system platform processes
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Ověřování, analýza a návrh aplikací systémové platformy procesů
Original language description
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.
Czech name
Ověřování, analýza a návrh aplikací systémové platformy procesů
Czech description
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.
Classification
Type
V<sub>souhrn</sub> - Summary research report
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
N - Vyzkumna aktivita podporovana z neverejnych zdroju
Others
Publication year
2014
Confidentiality
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é.
Data specific for result type
Number of pages
3
Place of publication
—
Publisher/client name
Openmatics s.r.o.
Version
—