Informatica

19 de março de 2014 – Paradigmas de Linguagens de Programação

TEMA: Critérios de avaliação das linguagens de programação: confiabilidade.
Principal fonte de referência:
SEBESTA, Robert W. Conceitos de Linguagem de Programação. 9ª ed. São Paulo: Bookman, 2011.

Confiabilidade: programa confiável é aquele que se comporta de acordo com suas especificações, sob todas as condições, sejam de rotina ou inesperadas.
De forma geral, entende-se confiabilidade de duas formas:



Qualitativa, pelo estudo dos modos de falha e suas consequências para o sistema. É a abordagem utilizada na manutenção centrada na confiabilidade.
Quantitativa, pela medição de número de falhas, tempo de parada e custos associados em manutenção e perda de produção. É a abordagem estatística.
Importante: programas de computador não degradam.
Nos itens a seguir serão descritos fatores que exercem efeito sobre a confiabilidade dos programas:

1) Checagem (ou verificação) de tipos: a linguagem deve testar se o valor atribuído à uma variável está condizentes com o tipo definido para aquela variável.
Essa checagem pode ser feita em tempo de compilação ou tempo de execução.
Comentários sobre diferenças entre tempo de compilação e tempo de execução
Exemplos de não verificação de tipos:
1) Na linguagem ADA o programador pode desativar a verificação de tipos.
2) Simulação de trecho de programa da linguagem C original:

int main ()
{

int altura, largura; altura = 22; largura = 12 printf ("Sala\n"); retangulo(altura, largura); //chamada da função com parametros altura = 22 e largura = 12 system ("Pause"); return 0;
}
//Desenha o retangulo na tela

void retangulo(float largura, float altura)
{
int j, k;
//largura = largura/2;
//altura = altura/4;
for