Software Components Compatibility Verification Based on Static Byte-Code Analysis
The result's identifiers
Result code in 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>
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
Software Components Compatibility Verification Based on Static Byte-Code Analysis
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/ED1.1.00%2F02.0090" target="_blank" >ED1.1.00/02.0090: NTIS - New Technologies for Information Society</a><br>
Continuities
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
Others
Publication year
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
SEAA 2013
ISBN
978-0-7695-5091-6
ISSN
—
e-ISSN
—
Number of pages
8
Pages from-to
145-152
Publisher name
IEEE - CPS
Place of publication
Piscataway
Event location
Santander
Event date
Sep 4, 2013
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—