Testes Baseados em Propriedades
Os testes unitários são baseados em exemplos que não consideram todos os possíveis valores do domínio. Muitas vezes falham na antecipação de casos limite que podem detetar defeitos numa aplicação.
Os testes baseados em propriedades não são baseados em casos concretos. São antes uma especificação, em forma de propriedades que devem ser satisfeitas. Utilizando essa especificação, são gerados tantos testes quantos os pretendidos de forma automática, garantindo a realização de todos os casos limite.
Esta tecnologia tem sido utilizada para deteção de defeitos no software da indústria automóvel, nos serviços financeiros, nos "smart contracts", etc.
Esta sessão pretende apresentar testes baseados em propriedades e a geração automática de testes numa perspetiva de workshop.
Pré-requisitos
- IntelliJ IDEA e o respetivo plugin Scala instalados.
- Oradores
- Data e local
- Inscrições
- Informação Adicional
Nuno Malheiro
Data: 2021-05-19
Horário: 14h30
Local: On-line (plataforma Teams)
As inscrições serão aceites por ordem de inscrição.
É necessário pré-inscrição a ser efectuada através de correio electrónico para a D. Lurdes Santos (MLSB@isep.ipp.pt)
Para mais informações: mindson@dei.isep.ipp.pt
Os workshops são gratuitos mas requerem inscrição, sendo o número de vagas limitado.