Gratis Kwaliteitszorg en testen van software Voor Linux

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....

openstack.nose_plugin is een neus plugin die nosetests uitgang geeft de uitgang van run_tests.py OpenStack's na te bootsen. installatie & Nbsp; pip installeren openstack.nose_plugin Gebruik De volgende opties zijn availible:& Nbsp; - met-OpenStack&...

expecter helpt u om beweringen te schrijven. Nooit meer zal je vergeten, dat wordt verwacht en dat is werkelijk!Basis verwachtingen zijn eenvoudig:& Nbsp; >>> van expecter import verwacht& Nbsp; >>> verwachten ('wat' + 'ding') ==...

noseenv is een neus plugin om de opties van het formulier "--env ENVIRONMENT_VARIABLE = WAARDE" toe te voegen.- PyPI: http://pypi.python.org/pypi/noseenv- Travis CI: http://travis-ci.org/#!/msabramo/python-noseenvRequirements:Python...

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 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 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:&...

pytest-marker-bugzilla is een py.test plugin voor Bugzilla integratie & nbsp; Deze plugin gaat uit van de volgende workflow.:bug_status in ['NEW', zogeheten 'aangewezen', 'ON_DEV'] betekent dat de bug is bekend en wordt gewerkt en...

Marathon is een raamwerk dat ondersteuning biedt voor alle Java / Swing componenten, waaronder standaard scripttalen & ndash; Ruby en Python.Marathon kan ook worden gebruikt om op te nemen en testscripts en registreert semantische acties op componenten in...

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...