Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/13316
Título: | Safe integration of annotated components in open source projects |
Autor(es): | Areias, Sérgio Cruz, Daniela da Henriques, Pedro Rangel Pinto, Jorge Sousa |
Palavras-chave: | Caller-based slicing Annotated system dependency graph |
Data: | 2010 |
Editora: | Universitätsbibliothek TU Berlin |
Revista: | Electronic Communications of the EASST |
Resumo(s): | The decision of using existing software components versus building from scratch custom software is one of the most complex and important choices of the entire development/integration process. However, the reuse of software components raises a spectrum of issues, from requirements negotiation to product selection and integration. The correct tradeoff is reached after having analyzed advantages and issues correlated to the reuse. Despite the reuse failures in real cases, many efforts have been made to make this idea successful. In this context of software reuse in open source projects, we address the problem of reusing annotated components proposing a rigorous approach to assure the quality of the application under construction. We introduce the concept of caller-based slicing as a way of certifying that the integration of a component annotated with a contract into a system will preserve the correct behavior of the former, avoiding malfunctioning after integration. To complement the efforts done and the benefits of slicing techniques, there is also a need to find an efficient way to visualize the main program with the annotated components and the slices. To take full profit of visualization, it is crucial to combine the visualization of the control/data flow with the textual representation of source code. To attain this objective, we extend the notions of System Dependence Graph and Slicing Criterion to cope with annotations. |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/13316 |
DOI: | 10.14279/tuj.eceasst.33.460.448 |
ISSN: | 1863-2122 |
Versão da editora: | http://journal.ub.tu-berlin.de/index.php/eceasst/article/view/460 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
OpenCert2010gamapolar_PostProceedings.pdf | Documento principal | 947,22 kB | Adobe PDF | Ver/Abrir |