dupla verificação Biblioteca Pythônica para testes randomizados do estilo QuickCheck e teste exaustivo do estilo SmallCheck do ...
Baixe Agora

dupla verificação Classificação e resumo

dupla verificação Tag

Biblioteca Python. Pitão teste

dupla verificação Descrição

O DoubleCheck é uma biblioteca Python para testes baseados em propriedade de duas maneiras diferentes: - "QuickCheck" - Entradas geradas aleatoriamente - "SmallCheck" - Enumeradas exaustivamente enumeradas As abordagens de teste são nomeadas para as bibliotecas pioneiras do Haskell. Os dois se aproxima verdadeiramente brilharam quando usados juntos - uma vez que uma propriedade é refutável por alguma entrada aleatória provavelmente enorme e louca, muitas vezes vale a pena investir o tempo da CPU para encontrar o _smallest_ contraexample. Esta biblioteca é um novo trabalho -in-progresso (consulte o log de commit para datas) com problemas conhecidos: - Não tem cordas geradas aleatoriamente ainda. - Nenhuma quantificação existencial ainda, mas a smitcheck permite isso! - Precisa de testes mais completos. - Precisa ser capaz de testar que uma propriedade sempre joga uma exceção.- precisa de mais combinadores.- precisa de uma interface de uma duração em vez de verificar o status dos casos de teste.Instalação e uso PIP Instalar Doublecheck $ Python >>> de DoubleCheck Import * >>> forall (lambda i : I> 0, posints ()). QuickCheck (100000). A página inicial do'produto '.

dupla verificação Software Relacionado