HOL

HOL 7

HOL korte van hogere orde Logic is een programmeeromgeving waarin stellingen kan worden bewezen en het bewijs instrumenten geïmplementeerd.Built-in besluitvormingsprocedures en bewijshulpmiddelen kan automatisch veel eenvoudige stellingen vast te stellen....

proboscis

proboscis 1.2.5.3

slurf is een Tuitextensie dat hogere niveau testen vergemakkelijkt.Wijzigingen hoe testen klassen worden ontdekt door hen te dwingen zich aanmelden via decorateurs die nuttig metadata bevatten, zoals welke groepen ze in, of ze hebben afhankelijkheden van...

Pulse

Pulse 2.5.7

Pulse project is een geautomatiseerd build (of continue integratie) server die is ontworpen om te werken met u om de integriteit van uw code te garanderen.Pulse controleert regelmatig uw broncode uit je SCM, bouwt uw projecten, en informeert u over de...

Testify

Testify 0.5.3

Testify is een vervanging voor unittest module en neus Python's.Getuigen is gemodelleerd naar unittest, en tests geschreven voor unittest zal onder draaien getuigen met een minimum aan aanpassingen, maar het heeft functies boven en buiten unittest:&...

TestLink

TestLink 1.9.9

TestLink is een open source web-based testcase beheer en de uitvoering tracking systeem gemaakt met behulp van PHP, MySQL, en een aantal andere open source-technologieën.TestLink stelt Q & A & nbsp; (Quality Assurance) teams om moeiteloos te beheren en...