Software Components Compatibility Verification Based on Static Byte-Code Analysis

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23520%2F13%3A43919466" target="_blank" >RIV/49777513:23520/13:43919466 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1109/SEAA.2013.58" target="_blank" >http://dx.doi.org/10.1109/SEAA.2013.58</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1109/SEAA.2013.58" target="_blank" >10.1109/SEAA.2013.58</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Software Components Compatibility Verification Based on Static Byte-Code Analysis

Popis výsledku v původním jazyce

Current enterprise systems are widely implemented using statically typed languages such as Java. One of the reasons are strong type checks at compile time that help prevent runtime errors. The static type checks are also well integrated into current development tools. One of the less explored area are, however, static type checks of binary software components. Since current software usually contains a large amount of third-party components, the compilers can no longer cover the static type checks of thefinal product, especially the inter-dependencies of the components are out of their reach. In this work, we propose an approach that analyses the byte-code of Java classes to reconstruct the mutual dependencies of respective components first. Then, thedependencies are examined to find any type inconsistencies. As a result, this approach detects dependency problems early in the development phase and prevents undesirable run time product failures caused by them.

Název v anglickém jazyce

Software Components Compatibility Verification Based on Static Byte-Code Analysis

Popis výsledku anglicky

Current enterprise systems are widely implemented using statically typed languages such as Java. One of the reasons are strong type checks at compile time that help prevent runtime errors. The static type checks are also well integrated into current development tools. One of the less explored area are, however, static type checks of binary software components. Since current software usually contains a large amount of third-party components, the compilers can no longer cover the static type checks of thefinal product, especially the inter-dependencies of the components are out of their reach. In this work, we propose an approach that analyses the byte-code of Java classes to reconstruct the mutual dependencies of respective components first. Then, thedependencies are examined to find any type inconsistencies. As a result, this approach detects dependency problems early in the development phase and prevents undesirable run time product failures caused by them.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/ED1.1.00%2F02.0090" target="_blank" >ED1.1.00/02.0090: NTIS - Nové technologie pro informační společnost</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2013

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 statě ve sborníku

SEAA 2013

ISBN

978-0-7695-5091-6

ISSN

—

e-ISSN

—

Počet stran výsledku

8

Strana od-do

145-152

Název nakladatele

IEEE - CPS

Místo vydání

Piscataway

Místo konání akce

Santander

Datum konání akce

4. 9. 2013

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—