Questionário de paradigmas de linguagem de programação

Esta é uma pré-visualização de arquivo. Entre para ver o arquivo original

O que significa um programa ser confiável?
Um programa considerado confiável é um programa que tem a capacidade de se comportar de acordo com as suas especificações e suprir as necessidades para a qual foi desenvolvido sob quaisquer condições.
Por que a verificação dos tipos e parâmetros de um subprograma é importante?
Porque é durante a verificação de tipo que os erros de tipo durante a compilação ou execução são localizados, o que possibilita a sua correção mais cedo, pois quanto mais cedo os problemas forem localizados será mais fácil e mais barato corrigi-los.
O que é apelido?
É a capacidade da linguagem de programação de ter dois ou mais métodos, ou nomes, distintos para fazer referência a mesma célula de memória.
O que é manipulação de exceções?
É a capacidade de um programa interceptar erros em tempo de execução, por em pratica medidas corretivas e prosseguir 
Por que a legibilidade e capacidade de escrita são importantes para a confiabilidade?
Uma linguagem deve suportar maneiras fáceis e naturais de expressar os algoritmos. Uma linguagem que não supre essa necessidade compromete a confiabilidade de um software fazendo com que o código fonte desse software se torne difícil de se escrever, ler e posteriormente a sua modificação caso necessário, sendo assim, a maior probabilidade que ele apresente vários erros de execução.
Podemos definir Confiabilidade como: 
(A) Capacidade de uma LP gerar código-fonte corretamente. 
(B) Capacidade de um programa se comportar de acordo com suas condições sob quaisquer especificações. 
(C) Capacidade de uma LP se comportar sob quaisquer condições. 
(D - Correta) Capacidade de um programa se comportar de acordo com suas especificações sob quaisquer condições. 
(E) Capacidade de uma LP programar de acordo com as especificações.
Assinale a alternativa que contém a característica do critério Confiabilidade que consiste em testar se existem erros de tipo em determinado programa, ou durante a compilação ou durante a execução, sendo que a verificação durante a execução é mais dispendiosa do que a verificação em tempo de compilação. 
(A) Apelidos 
(B - Correta) Verificação de Tipos 
(C) Capacidade de Escrita 
(D) Manipulação de Exceções 
(E) Legibilidade