HOL

HOL 7

HOL kort fra Higher Order Logic er et programmeringssprog miljø, hvor sætninger kan bevises, og bevis værktøjer implementeret.Indbyggede beslutningsprocedurerne og Sætning provers kan automatisk etablere mange enkle sætninger. Et orakel mekanisme giver...

pry

pry 0.2.1

lirke er en test af enheder ramme for Python Egenskaber :. Indbygget dækning analyse og profilering påstand-baserede tests - ingen grimme failUnless *, failIf * osv metoder Tree-baserede test struktur for bedre armatur forvaltning Ingen implicit...

sst

sst 0.2.2

SST er en ramme for funktionel web test.Det bruger Selen WebDriver at køre en browser og interagere med web-elementer. Tests består af Python scripts, skabt af komponere handlinger, der kommer med SST. Du har magten af ​​den fulde Python sproget, sammen...