Questões de Ciência da Computação do ano 2003

Considere as afirmações a respeito de características de software:

I. A garantia de que um software está "Correto", ou satisfaz a característica Correctness, é também a garantia de que esse software vai atender aos requerimentos dos usuários;

II. Um software é dito "Confiável", ou satisfaz a característica Reliability, ca-so, estatisticamente, possua a probabilidade de operar satisfatoriamente durante um período específico de tempo;

III. Um programa é dito "Correto" caso esse atenda à especificação de requerimentos funcionais;

IV. Um programa é dito "Robusto", ou satisfaz a característica Robusteness, caso a especificação de requerimentos funcionais esteja correta.

Marque a alternativa que possui todas as afirmações CORRETAS, de acordo com o livro GHEZZI, Fundamentals of Software Engineering:

Este trecho foi extraído do livro GHEZZI, Fundamentals of Software Enginee-ring, pg 54:

"Por outro lado, essa solução pode ser mais cara, no tocante à velocidade de execução, requerimentos de memória, ou tempo de desenvolvimento... Dessa forma, é necessário avaliar a adoção ou não dessa solução levando-se em conta o custo e a eficiência..."

Marque a alternativa que descreve o princípio de engenharia de software dis-cutido por esse trecho do livro de GHEZZI.

Este trecho foi extraído do livro GHEZZI, Fundamentals of Software Enginee-ring, pg 371:

"O modelo waterfall teve um importante papel por incorporar a disciplina ao processo de desenvolvimento de software e, dessa forma, superar o desestruturado processo de codificar-e-corrigir. Esse modelo introduziu duas contribuições fundamentais para o processo de software: primeiro que o processo de desenvolvimento de software deve ser submetido à disciplina, planejamento e gerenciamento, e, segundo, que a implementação de um sistema deve ser adiada até que todos os objetivos estejam bem entendidos."

Marque a alternativa que representa uma ordem ascendente de etapas de desenvolvimento defendidas pelo modelo waterfall.

Sejam dadas as afirmações sobre o modelo waterfall:

I. Muitas vezes força a estimativa de custos a ocorrer após uma pequena quantidade de requerimentos ser levantada.

II. Enfatiza a necessidade de antecipação de mudanças.

III. Leva a um estilo burocrático de trabalho com muitos formatos de documen-tos a serem preenchidos. Esse estilo pode levar o engenheiro de software a se preocupar mais com a sintaxe do projeto do que com a semântica.

IV. A especificação de requerimentos origina um documento escrito que permite o entendimento do usuário a respeito do produto final a ser desenvolvido.

Marque a alternativa com todas as afirmações CORRETAS, de acordo com o livro GHEZZI, Fundamentals of Software Engineering.

O método de modelagem de requisitos que utiliza diagramas de fluxo de dados e de controle como base, divide em partições as funções que transformam os fluxos, cria um modelo comportamental utilizando o diagrama de transição de estados e um modelo de conteúdo de dados através de um dicionário de requisitos, em que o sistema é representado como uma transformação de informação, sendo sua função global representada por uma bolha, é a análise: