Teste prático baseado em propriedades Comece com Erlang/Elixir / FredHebert / yamaguchi 能迪

Descrição de produto ※Por favor, note que a informação sobre o produto é traduzida por máquina, por isso pode não ser a tradução correcta.

Ciência da Informação
Introdução
Este documento usa a estrutura Adequada disponível em Erlang/Elixir para introduzir testes baseados em propriedades com uma abordagem básica, bem como testes baseados em propriedades quando os casos de teste que você deseja gerar não são independentes uns dos outros e testes baseados em propriedades para sistemas dependentes do estado.
Este é um manual único que permite que você experimente os fundamentos dos testes baseados em propriedades até o extremo norte através do desenvolvimento de aplicativos em larga escala.


Testando o Cache Paralelo
Testando a Execução Paralela
Testando a Execução Paralela
Resumo
Exercício
Capítulo 10 Estudos de Caso : Sistema de Empréstimo de Livro
Introdução à Aplicação
Escrevendo geradores de projeto
Testes de estado abrangentes
Modelagem precisa de condições de fluxo
Melhorando os testes
Depurando propriedades de estado
Testes paralelos
Capítulo 11 Propriedades de máquina de estado finito
Organizando propriedades de máquina de estado finito
Como funcionam as propriedades de máquina de estado finito
Escrevendo propriedades
Testando disjuntores
Modelando disjuntores
Ajustando o modelo
Ajustando o modelo
Ajustando o modelo
Ajustando o modelo
Ajustando o modelo
Ajustando o modelo
Ajustando o modelo
Ajustando o modelo
Ajustando o modelo
Ajustando o modelo
Ajustando o modelo
Ajustando o modelo
Ajustando o modelo
Ajustando o modelo
Ajustando o modelo
Ajustando o modelo
Ajustando o modelo
Ajustando o modelo
Ajustando o modelo
Ajustando o modelo
Ajustando o modelo