Q3

Question 1

Testes Baseados no domínio de entrada

Answer 1

Focado na entrada (sintaxe)

Uso de técnicas combinatórias

As entradas com maior chance de defeitos são reveladas através de particionamento em classes de equivalência e análise de valores-limite

Question 2

Testes

Answer 2

Caixa branca (código)
Caixa preta (especificação): língua natural, manual, etc.
Baseados em defeitos: Modelo de defeitos que podem surgir ao longo do desenvolvimento

Question 3

Análise (Testes) de causa-efeito
[subset]

Answer 3

Modelos do Domínio de Entrada -> Modelos na forma de expressões lógicas

Question 4

Expressões lógicas podem ser obtidas a partir de:

Answer 4

texto em língua natural, diagrama de atividades da UML, consultas SQL

Question 5

Análise de causa - efeito (utilidade)

Answer 5

Útil quando especificações são representadas como estruturas de decisão (Conjunto de condições sobre valores de entradas e as ações correspondentes do sistema)

Question 6

IeT

Answer 6

Especificação do Item em Teste (Entrada)

Question 7

Análise de causa - efeitos (Passos)

Answer 7

IeT

Identificar funções Testáveis [Unidades Funcionais (UF)]

Identificar causas e efeitos (Condições sobre as entradas e ações para tais entradas)

Criar modelo da relação entre causas e efeitos (grafo causa-efeito, tabela de decisão …)

Criar casos de testes (Especificação de casos de testes)

Question 8

Restrições

Answer 8

E

I

O

exige

mascara

Question 9

Obtendo a tabela de decisão a partir dos requisitos

Answer 9

Nº de regras cresce exponencialmente com o nº de causas

nº de causas = 2^N regras

Question 10

Condições “não importa

Answer 10

?

–

Question 11

A tabela completa…

Answer 11

A tabela completa …
ocasiona o risco de explosão combinatória

Question 12

Testes baseados em expressões lógicas

Answer 12

Testes baseados em caso de uso estendido

Casos de uso estendido (XUC): casos de usos + variáveis operacionais

Question 13

Casos de uso estendido (XUC)

Answer 13

Casos de Uso: Descrições

Identificar as entradas (Variáveis operacionais)

Identificar domínios das variáveis operacionais e saídas (Variáveis e seus domínios, saídas esperadas)

Estabelecer relações operacionais (tabelas de decisão)

Gerar casos de teste abstratos (Especificação dos cenários de teste)

Question 14

Para os diagramas de caso de uso…

Answer 14

Para os diagramas de caso de uso…
é necessário haver uma descrição dos casos de uso, o que inclui outros diagramas, como os de interação.
Mas nem sempre os casos de uso possuem informações necessárias para os testes.

Question 15

Variáveis operacionais

Answer 15

Fatores que variam de um cenário para outro e determinam as diferentes respostas do sistema.
Esses fatores podem ser entradas e saídas explícitas (interações com atores), condições ambientais que afetem o comportamento dos atores (dados de arquivos, entradas de dispositivos externos, etc….) e abstrações do estado do sistema em testes (variáveis globais).

Question 16

Teste de caixa preta (passos)

Answer 16

IeT (Entrada)

Criar o modelo (Modelo de comportamento)

Validar o Modelo (Modelo validado)

Gerar casos de teste (Especificação de casos de teste)

Question 17

Úteis para: Sistemas Transformacionais

Answer 17

Técnicas baseadas na interface levam em conta as entradas e saídas individualmente ou combinações entre elas.

Tabelas de decisão levam em conta combinações lógicas de entradas

Question 18

Sistema dirigido por eventos

Answer 18

Sistemas reativos (Sistema dirigido por eventos) executam uma ação em resposta a uma entrada (evento)

Question 19

Sistema dirigidos por eventos: As ações

Answer 19

As ações são executadas em uma determinada ordem e dependem de um contexto.
O mesmo evento pode levar a ações diferentes do sistema dependendo do que ocorreu anteriormente.

Question 20

Sistemas de estados finitos

Answer 20

(AFD)

Modelo de Mealy

Modelo de Moore

Question 21

Modelo de Mealy

Answer 21

As saídas dependem das entradas e dos estados.
As ações são executadas nas transições

Question 22

Modelo de Moore

Answer 22

Saída depende unicamente dos estados.
Tem estados transientes e estáveis.
As ações são executadas nos estados.

Question 23

Validação do modelo de estados finitos

Answer 23

Requisitos: O modelo satisfaz os requisitos (Verificação formal de propriedades, animação, etc….)

Modelo: O modelo é sintaticamente bem formado? (Conectividade, determinismo, etc….)

Implementação: O modelo representa o que foi implementado (Revisão, inspeção, etc….)

Question 24

Formas de validação do modelo de estados

Answer 24

Verificação estática (formal): Verificação / Inspeção do Modelo (Model Checking)

Verificação dinâmica: Simulação do modelo

Question 25

Inspeção do modelo

Answer 25

Uso de listas (checklists) para verificar:
* A estrutura do modelo
* Os nomes de estados
* A capacidade de tolerar a ocorrência de falhas de componentes ou do ambiente.

Question 26

Verificação formal do Modelo (Verificação de estados finitos)

Answer 26

Verificação de um modelo de estados finitos para determinar certas propriedades. A verificação se dá pela exploração exaustiva do espaço de estados.

Question 27

Verificação dinâmica (Verificação de estados finitos)

Answer 27

Simulação do modelo com o objetivo de conhecer o comportamento do sistema sem usar sua versão real

Question 28

Verificação dinâmica (Verificação de estados finitos) [passos]

Answer 28

Gerador de carga de trabalho (cenários, casos de testes)

Motor de execução do modelo (animação do modelo)

Análise de resultados

Question 29

Cobertura dos estados:

Answer 29

Visitar cada estado do modelo pelo menos uma vez

Question 30

Nem todo sistema…

Answer 30

Nem todo sistema pode ser representado por MFE

Question 31

Caminho simples

Answer 31

Sequência de estados sem ciclos. Nenhum nó aparece mais de uma vez, exceto o 1º e o último, caso o grafo não tenha nó final.

Question 32

Caminhos primos:

Answer 32

Caminhos simples que não estão contidos em outros caminhos simples

Question 33

Cobertura de caminhos primos

Answer 33

pela borda: “saltam” o ciclo
pelo interior: entra no ciclo

Question 34

Percurso aleatório (Random Walk)

Answer 34

A partir do estado corrente, escolher aleatoriamente uma transição.

Question 35

Percurso aleatório guiado

Answer 35

Guia o percurso de forma a combinar áreas de interesse no modelo.
Transições com maior probabilidade têm mais chances de serem visitadas.

Question 36

Caminho furtivo

Answer 36

Transições ausentes que podem não serem tratadas corretamente pela implementação caso o modelo não seja completo

Question 37

Testes para caminhos furtivos

Answer 37

Para cada estado aplicar um evento inoportuno (não especificado para o estado). Depois é necessário determinar se a resposta obtida está de acordo com o esperado e se o estado final é valido e conta na especificação, se não constar pode-se determinar se é aceitável ou não.

Question 38

Como lidar com eventos inoportunos

Answer 38

Ignorar

Lançar uma mensagem de erro

Lançar uma exceção.