Aluno: Tainã Maria dos Santos

Título: “Formal modelling of test environments from natural-language requirements”

Orientador: Prof. Gustavo Henrique Porto de Carvalho

Data-hora: 30/agosto/2017 (09:00h)

Local: Escola Politécnica de Pernambuco – SALA I-5

Resumo:

"Ao gerar testes no contexto de uma abordagem de testes baseados em modelos, durante a criação do modelo do sistema, também se deve levar em consideração as propriedades do ambiente de teste. Neste trabalho, é proposta uma extensão da estratégia NAT2TEST, que gera casos de teste a partir de modelos CSP, com o intuito de considerar as restrições que existem sobre o ambiente de teste. Primeiramente, estas restrições são escritas de acordo com a gramática de uma linguagem natural controlada. Em seguida, fazendo uso da teoria de gramática de casos, as restrições são formalisadas a partir da geração automática de fórmulas LTL. Finalmente, estas fórmulas são utilizadas para eliminar da especificação CSP do sistema cenários impossíveis de acordo com as restrições do ambiente de teste. Considerando exemplos da literatura e da indústria aeroespacial (Embraer) e automotiva (Mercedes), este trabalho demonstra a eficácia da abordagem proposta em termos da redução do espaço de estados, que foi de mais de 50% em alguns casos.