Return to search

Modelos de confiabilidade de software baseados em cobertura de criterios estruturais de teste

Orientadores: Mario Jino, Jose Carlos Maldonado / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-23T05:34:08Z (GMT). No. of bitstreams: 1
Crespo_AdalbertoNobiato_D.pdf: 11100124 bytes, checksum: 0a772e4026d6b40160368472591ed56d (MD5)
Previous issue date: 1997 / Resumo: O principal objetivo desta tese é propor uma nova abordagem para a modelagem de confiabilidade de software. Trata-se de utilizar variáveis indiretamente relacionadas com a confiabilidade do software como informação adicional no processo de modelagem. Estudos realizados, evidências empíricas e resultados de experimentos indicam a existência de uma forte relação entre a confiabilidade do software e a cobertura de critérios estruturais de teste. Assim, três modelos de confiabilidade de software baseados em cobertura estrutural de teste são analisados nesta nova abordagem. Dados concretos sobre teste de um software utilizando-se os critérios de teste Todos Nós, Todos Ramos e critérios baseados em fluxo de dados da família Potenciais-usos são aplicados nos modelos propostos. Os mesmos dados são também aplicados nos principais modelos de confiabilidade de software, bastante utilizados e tradicionalmente conhecidos na literatura, com a finalidade de comparar os resultados e avaliar os modelos propostos. Os resultados mostram a superioridade dos modelos propostos nesta nova abordagem e indicam a abertura de uma nova linha de pesquisa em modelos de confiabilidade de software. Ou seja, o estudo e a utilização de variáveis indiretamente relacionadas com a confiabilidade no processo de modelagem / Abstract: A new approach for software reliability modeling is proposed, entailing the use of variables indirectly related to software reliability as additional information for the modeling process. Existence of a strong relationship between software reliability and structural testing criteria coverage has been shown by empirical evidence, studies and experimental results. Three new software reliability models based on structural testing coverage are analyzed. Coverage data from a testing experiment were applied on the new models; these data are the results of using the All Nodes, All Ares, and Potential-Uses criteria in the experiment. The same data were applied on the main software reliability models, well known and widely used, to compare them against the new models. Results show a c1ear superiority of the new approach and point to a new direction concerning software reliability modeling, i.e., explore the use of variables indirectly related to reliability in the modeling process. The goal is to create models with a performance better than that of the traditional models. Existence of variables indirectly related to reliability other then structural coverage should be investigated. Different models as well as different criteria should be considered in this new approach. Additionally, the models presented must be used with coverage data from testing software of different characteristics to achieve a better evaluation of this usefulness / Doutorado / Automação / Mestre em Engenharia Elétrica

Identiferoai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/260998
Date19 December 1997
CreatorsCrespo, Adalberto Nobiato
ContributorsUNIVERSIDADE ESTADUAL DE CAMPINAS, Maldonado, José Carlos, Jino, Mario, 1943-
Publisher[s.n.], Universidade Estadual de Campinas. Faculdade de Engenharia Elétrica e de Computação, Programa de Pós-Graduação em Engenharia Elétrica
Source SetsIBICT Brazilian ETDs
LanguagePortuguese
Detected LanguagePortuguese
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis
Format185f. : il., application/pdf
Sourcereponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP
Rightsinfo:eu-repo/semantics/openAccess

Page generated in 0.002 seconds