Um modelo de predição de amplitude da propagação de modificações contratuais em software orientado por objetos

=== This work presents a novel model to assess and predict software maintainability quantitatively. The model, named K3B, measures the propagation of contractual modifications in object-oriented software systems. We define contractual modification as a modification in a module of the software syste...

Full description

Bibliographic Details
Main Author: Kecia Aline Marques Ferreira
Other Authors: Mariza Andrade da Silva Bigonha
Format: Others
Language:English
Published: Universidade Federal de Minas Gerais 2011
Online Access:http://hdl.handle.net/1843/SLSS-8GYFSX
id ndltd-IBICT-oai-bibliotecadigital.ufmg.br-MTD2BR-SLSS-8GYFSX
record_format oai_dc
collection NDLTD
language English
format Others
sources NDLTD
description === This work presents a novel model to assess and predict software maintainability quantitatively. The model, named K3B, measures the propagation of contractual modifications in object-oriented software systems. We define contractual modification as a modification in a module of the software system which changes the contract of the module. The contract of a class corresponds to its public services, and the precondictions and the postcondictions of these services. Precondiction is a condiction to be guaranteed in order to the service be executed successfully. A postcondiction corresponds to the expected status of the system after the service execution. K3B predicts the number of modification steps which will be taken until the modification process ends. The model is defined in terms of the number of modules within the program, the number of modules which will be initially modified, and software metrics such as coupling, cohesion and connectivity. For the purposes of defining and using K3B, we also defined a new class cohesion metric called Cohesion of Responsibility, we carried out an experimental study to identify thresholds for the software metrics applied with K3B, and we performed a study whose results show the macroscopic structure of software systems and reveal important properties of the evolutive nature of software systems. K3B was evaluated on a sample of open-source software systems. The evaluation of K3B was carried out by comparing the values generated by K3B and the values observed in simulation of modification in Java software. The results of this evaluation showed that the values reported by K3B are quite close to the data from simulation. === Este trabalho apresenta um novo modelo de avaliação e predição de manutenibilidade de software. O modelo, denominado K3B, realiza predição de amplitude da propagação de modificações contratuais em software orientado por objetos. Modificação contratual é aquela ocorrida em uma classe de forma a alterar o seu contrato, que corresponde aos serviços da classe, e às pré e pós-condições desses serviços. Pré-condição é uma condição que deve ser satisfeita para que o serviço seja realizado com sucesso. As pós-condições de um serviço correspondem ao estado do sistema após a realização do serviço. K3B fornece o número esperado de passos de modificações no software dado que um número inicial de módulos sofrerá modificações. O modelo é definido em termos do número total de módulos do software, do número de módulos que serão inicialmente modificados e de métricas do software, tais como coesão, acoplamento e conectividade. Para dar suporte ao uso de K3B e à sua concepção, este trabalho também propõe uma métrica para avaliação de coesão de classes denominada Coesão de Responsabilidade, e apresenta os resultados de um estudo que identifica valores referência para um conjunto de métricas de software orientado por objetos, em particular aquelas que podem ser associadas à K3B. Além disso, relata os resultados de um estudo sobre os grafos de dependência entre módulos que revela importantes propriedades da natureza evolutiva de softwares e identifica a estrutura macroscópica desses grafos. O modelo K3B foi avaliado empiricamente a partir de dados de um conjunto de softwares abertos. Os valores de K3B foram comparados aos obtidos por meio de simulação de propagação de modificações contratuais em software Java. A avaliação mostra que os valores gerados por K3B aproximam-se fortemente dos valores observados na simulação.
author2 Mariza Andrade da Silva Bigonha
author_facet Mariza Andrade da Silva Bigonha
Kecia Aline Marques Ferreira
author Kecia Aline Marques Ferreira
spellingShingle Kecia Aline Marques Ferreira
Um modelo de predição de amplitude da propagação de modificações contratuais em software orientado por objetos
author_sort Kecia Aline Marques Ferreira
title Um modelo de predição de amplitude da propagação de modificações contratuais em software orientado por objetos
title_short Um modelo de predição de amplitude da propagação de modificações contratuais em software orientado por objetos
title_full Um modelo de predição de amplitude da propagação de modificações contratuais em software orientado por objetos
title_fullStr Um modelo de predição de amplitude da propagação de modificações contratuais em software orientado por objetos
title_full_unstemmed Um modelo de predição de amplitude da propagação de modificações contratuais em software orientado por objetos
title_sort um modelo de predição de amplitude da propagação de modificações contratuais em software orientado por objetos
publisher Universidade Federal de Minas Gerais
publishDate 2011
url http://hdl.handle.net/1843/SLSS-8GYFSX
work_keys_str_mv AT keciaalinemarquesferreira ummodelodepredicaodeamplitudedapropagacaodemodificacoescontratuaisemsoftwareorientadoporobjetos
_version_ 1718844628108574720
spelling ndltd-IBICT-oai-bibliotecadigital.ufmg.br-MTD2BR-SLSS-8GYFSX2019-01-21T17:55:50Z Um modelo de predição de amplitude da propagação de modificações contratuais em software orientado por objetos Kecia Aline Marques Ferreira Mariza Andrade da Silva Bigonha Roberto da Silva Bigonha Roberto da Silva Bigonha Antônio Francisco do Prado Bernardo Nunes Borges de Lima This work presents a novel model to assess and predict software maintainability quantitatively. The model, named K3B, measures the propagation of contractual modifications in object-oriented software systems. We define contractual modification as a modification in a module of the software system which changes the contract of the module. The contract of a class corresponds to its public services, and the precondictions and the postcondictions of these services. Precondiction is a condiction to be guaranteed in order to the service be executed successfully. A postcondiction corresponds to the expected status of the system after the service execution. K3B predicts the number of modification steps which will be taken until the modification process ends. The model is defined in terms of the number of modules within the program, the number of modules which will be initially modified, and software metrics such as coupling, cohesion and connectivity. For the purposes of defining and using K3B, we also defined a new class cohesion metric called Cohesion of Responsibility, we carried out an experimental study to identify thresholds for the software metrics applied with K3B, and we performed a study whose results show the macroscopic structure of software systems and reveal important properties of the evolutive nature of software systems. K3B was evaluated on a sample of open-source software systems. The evaluation of K3B was carried out by comparing the values generated by K3B and the values observed in simulation of modification in Java software. The results of this evaluation showed that the values reported by K3B are quite close to the data from simulation. Este trabalho apresenta um novo modelo de avaliação e predição de manutenibilidade de software. O modelo, denominado K3B, realiza predição de amplitude da propagação de modificações contratuais em software orientado por objetos. Modificação contratual é aquela ocorrida em uma classe de forma a alterar o seu contrato, que corresponde aos serviços da classe, e às pré e pós-condições desses serviços. Pré-condição é uma condição que deve ser satisfeita para que o serviço seja realizado com sucesso. As pós-condições de um serviço correspondem ao estado do sistema após a realização do serviço. K3B fornece o número esperado de passos de modificações no software dado que um número inicial de módulos sofrerá modificações. O modelo é definido em termos do número total de módulos do software, do número de módulos que serão inicialmente modificados e de métricas do software, tais como coesão, acoplamento e conectividade. Para dar suporte ao uso de K3B e à sua concepção, este trabalho também propõe uma métrica para avaliação de coesão de classes denominada Coesão de Responsabilidade, e apresenta os resultados de um estudo que identifica valores referência para um conjunto de métricas de software orientado por objetos, em particular aquelas que podem ser associadas à K3B. Além disso, relata os resultados de um estudo sobre os grafos de dependência entre módulos que revela importantes propriedades da natureza evolutiva de softwares e identifica a estrutura macroscópica desses grafos. O modelo K3B foi avaliado empiricamente a partir de dados de um conjunto de softwares abertos. Os valores de K3B foram comparados aos obtidos por meio de simulação de propagação de modificações contratuais em software Java. A avaliação mostra que os valores gerados por K3B aproximam-se fortemente dos valores observados na simulação. 2011-02-22 info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/doctoralThesis http://hdl.handle.net/1843/SLSS-8GYFSX eng info:eu-repo/semantics/openAccess text/html Universidade Federal de Minas Gerais 32001010004P6 - CIÊNCIA DA COMPUTAÇÃO UFMG BR reponame:Biblioteca Digital de Teses e Dissertações da UFMG instname:Universidade Federal de Minas Gerais instacron:UFMG