Campos extraídos diretamente Título Software reliability analysis by considering fault dependency and debugging time lag Autores Huang, Chin-Yu and Lin, Chu-Ti Ano de publicação 2006 Fonte de publicação IEEE Transactions on Reliability Abstract Over the past 30 years, many software reliability growth models (SRGM) have been proposed. Often, it is assumed that detected faults are immediately corrected when mathematical models are developed. This assumption may not be realistic in practice because the time to remove a detected fault depends on the complexity of the fault, the skill and experience of personnel, the size of debugging team, the technique(s) being used, and so on. During software testing, practical experiences show that mutually independent faults can be directly detected and removed, but mutually dependent faults can be removed iff the leading faults have been removed. That is, dependent faults may not be immediately removed, and the fault removal process lags behind the fault detection process. In this paper, we will first give a review of fault detection & correction processes in software reliability modeling. We will then illustrate the fact that detected faults cannot be immediately corrected with several examples. We also discuss the software fault dependency in detail, and study how to incorporate both fault dependency and debugging time lag into software reliability modeling. The proposed models are fairly general models that cover a variety of known SRGM under different conditions. Numerical examples are presented, and the results show that the proposed framework to incorporate both fault dependency and debugging time lag for SRGM has a better prediction capability. In addition, an optimal software release policy for the proposed models, based on cost-reliability criterion, is proposed. The main purpose is to minimize the cost of software development when a desired reliability objective is given. 2006 IEEE. Máquina de Busca IEEE Campos extraídos a partir do entendimento Tipo de Critério Apriorístico. Minimiza custo restrito à confiabilidade prédeterminada Caracterização do software Níveis de testes Modelo Utilizado Nenhum Habilidades Necessárias Nenhuma Contexto de aplicação Princípio do critério Modelo de confiabilidade. O artigo apresenta uma maneira de incorporar dependência entre falhas e tempo de depuração em modelos de confiabilidade Objetivo do critério Atingir nível de confiabilidade prédeterminado Minimizar o custo Minimizar custo total restrito a uma confiabilidade Considera depuração perfeita Não Confiabilidade pré-determinada Sim Orçamento para testes é pré-determinado Não Tempo para testes pré-determinado Não Número de faltas pré-determinado Sim
Taxa de identificação de falhas prédeterminada Sim Considera qualidade dos casos de testes Não Considera atividade de testes isolada Sim Diferencia taxa de detecção de falhas Não Modelo de confiabilidade base Multi modelo (Diversos modelos podem ser utilizados) Modelo de Custo base Okumoto and Goel (1979) Distribuição de Falhas NHPP Unidade de Medida de Falhas Não aplicável (depende do modelo de confiabilidade escolhido) Tipo de modelo de confiabilidade Modelo de estimativa de confiabilidade Variações do critério 3. Atingir nível de confiabilidade prédeterminado Minimizar o custo Minimizar custo total restrito a uma confiabilidade Suposições Modelar detecção de faltas e Processo de correção Considerando dependencia entre faltas e debugging time lag na modelagem de confiabilidade do software
Parâmetros do critério C 1 Custo de correção de uma falta durante a fase de testes C 2 Custo de correção de uma falta durante a fase de operação C 3 Custo de teste por unidade de tempo T LC tamanho do ciclo de vida do software N número total de parâmetros no modelo a 1 número total de faltas principais a 2 número total de faltas dependentes Critério O artigo apresenta um estudo sobre dependência de falhas em software. É apresentado como incorporar dependência de faltas e tempo de debugging na modelagem de confiabilidade. Os modelos propostos são bastantes gerais que cobrem uma grande variedades de SRGM (Software Reliability Growth Model) sobre diferentes condições. Utilizando o modelo proposto é apresentado três formas diferentes de calcular os pontos de parada de testes. 1. Tempo de parada baseado no critério de confiabilidade: 2. Tempo de parada baseado no critério de custo:
3. Tempo de parada baseado no critério de custo e confiabilidade: Onde:
Critérios de Avaliação A 0 B 1 C 0 D 2 E 1 F 1 Total 5