Fatiar ou fatiar programa é uma técnica usada em teste de software que pega uma fatia ou um grupo de declarações de programa no programa para testar condições de teste particulares ou casos e que pode afetar um valor em um ponto de interesse particular. Ele também pode ser usado com o propósito de depurar, a fim de encontrar os bugs de forma mais fácil e rápida.

As técnicas de corte foram originalmente definidas por Mark Weiser e eram apenas de natureza estática na época. Posteriormente, Bogdan Korel e Janusz Laski introduziram o fatiamento dinâmico, que pode funcionar para uma execução particular do programa.

É de 2 tipos: fatiamento estático e fatiamento dinâmico, que são explicados a seguir:

1. Fatiamento estático:

• Uma fatia estática de um programa contém todas as instruções que podem afetar o valor de uma variável em qualquer ponto de qualquer execução arbitrária do programa.
• Fatias estáticas geralmente são maiores.
• Ele considera todas as execuções possíveis do programa.

2. Fatiamento dinâmico:

• Uma fatia dinâmica de um programa contém todas as instruções que realmente afetam o valor de uma variável em qualquer ponto de uma execução específica do programa.
• As fatias dinâmicas são geralmente menores.
• Considera apenas uma execução particular do programa.

Vejamos um exemplo do snippet de código fornecido:

int z = 10;
int n;
cin >> n;
int sum = 0;
if (n > 10)
    sum = sum + n;
else
    sum = sum - n;
cout << "Hey";

Fatia estática para a soma variável :

int n;
cin >> n;
int sum = 0;
if (n > 10)
    sum = sum + n;
else
    sum = sum - n;

int n;
cin >> n;
int sum = 0;
if (n > 10)
    sum = sum + n;

Artigo contribuído por:

raman_257

@ raman_257

Vote na dificuldade

<button class="btn" data-gfg-action="article-difficulty" data-rating="1">Fácil</button> <button class="btn" data-gfg-action="article-difficulty" data-rating="2">Normal</button> <button class="btn" data-gfg-action="article-difficulty" data-rating="3">Médio</button> <button class="btn" data-gfg-action="article-difficulty" data-rating="4">Duro</button> <button class="btn" data-gfg-action="article-difficulty" data-rating="5">Especialista</button>

Aprimorado por:

• Ashwani Prasad

Tags de artigo:

• Engenharia de software

Reportar problema