06 Lista exercicios tbm

Prévia do material em texto

Lista de Exercícios: Teste Baseado em Modelo
Prof. André Takeshi Endo
(Exercício 1) Considere o ESG abaixo. 
Gere um conjunto de casos de teste (CESs) que cubra todas as arestas do ESG
usando árvores de sucessão. Concretize os casos de teste usando JUnit assumindo que
exista uma classe que simula interação do usuário a seguir.
public class EventSimulator {
 public void selecionar(String item) { }
 //os metodos a seguir retornam true se conseguiram fazer a operação e 
 //false, caso contrário
 public boolean recortar() { }
 public boolean copiar() { }
 public boolean colar() { }
}
(Exercício 2) Para o exemplo da pilha restrita, tente aplicar o TBM utilizando agora
ESG como técnica de modelagem.
(Exercício 3) Considere um climatizador com os seguintes estados: “desligado”,
“ligado”, “secando colméia”, “velocidade 1”, “velocidade 2”, “velocidade 3”,
“umidificando” e “ventilando”. Os seguintes eventos podem alterar os estados do
climatizador: (1) botão ON/OFF, (2) botão VELOCIDADE, (3) botão
VENTILAR/RESFRIAR, e (4) After(3min). Tente aplicar o TBM utilizando ESG e
máquinas de estados como técnica de modelagem. Para a concretização, utilize JUnit e
desenvolva uma classe que simular a execução dos eventos como no Exercício 1.
Adicione também a essa classe métodos que te auxiliem a verificar a velocidade atual,
se está umidificando ou ventilando e se o climatizador está desligado, ligado ou secando
a colméia.