Finding Optimal Compatible Set of Software Components Using Integer Linear Programming

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23520%2F16%3A43927773" target="_blank" >RIV/49777513:23520/16:43927773 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-662-49192-8_37" target="_blank" >http://dx.doi.org/10.1007/978-3-662-49192-8_37</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-662-49192-8_37" target="_blank" >10.1007/978-3-662-49192-8_37</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Finding Optimal Compatible Set of Software Components Using Integer Linear Programming

Popis výsledku v původním jazyce

Reusable components and libraries reduce costs in software development but also bring challenges like ensuring that application's components form a consistent and working set. While dependency management and build tools provide assistance in creating the set, they can't guarantee its correctness in terms of interoperability. On the other hand, the methods which detect component interoperability issues do not provide guidance in finding the proper set of components to fix any uncovered inconsistencies. In this work we present a method for finding such set of components which provides the required functionality, is free from type-level inconsistencies, and at the same time is optimal according to a given criterion. The method is based on pre-computed compatibility data and integer linear programming and allows to optimize the found solution set with respect to an arbitrary cost function.

Název v anglickém jazyce

Finding Optimal Compatible Set of Software Components Using Integer Linear Programming

Popis výsledku anglicky

Reusable components and libraries reduce costs in software development but also bring challenges like ensuring that application's components form a consistent and working set. While dependency management and build tools provide assistance in creating the set, they can't guarantee its correctness in terms of interoperability. On the other hand, the methods which detect component interoperability issues do not provide guidance in finding the proper set of components to fix any uncovered inconsistencies. In this work we present a method for finding such set of components which provides the required functionality, is free from type-level inconsistencies, and at the same time is optimal according to a given criterion. The method is based on pre-computed compatibility data and integer linear programming and allows to optimize the found solution set with respect to an arbitrary cost function.

Druh

D - Stať ve sborníku

CEP obor

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

OECD FORD obor

—

Projekt

<a href="/cs/project/LO1506" target="_blank" >LO1506: Podpora udržitelnosti centra 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)

Rok uplatnění

2016

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

SOFSEM 2016: Theory and Practice of Computer Science

ISBN

978-3-662-49191-1

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

12

Strana od-do

457-468

Název nakladatele

Springer

Místo vydání

Heidelberg

Místo konání akce

Harrachov

Datum konání akce

23. 1. 2016

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

WRD - Celosvětová akce

Kód UT WoS článku

—