Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Testing Verification Open Source Projects

Open source projects categorized as Testing Verification
Categories > Software Quality > Verification
Toolsofthetrade ⭐ 16,243
Tools of The Trade, from Hacker News.
most recent commit 3 months ago
Mockk ⭐ 5,224
mocking library for Kotlin
most recent commit 3 months ago
Verify ⭐ 2,226
Verify is a snapshot tool that simplifies the assertion of complex data models and documents.
dependent packages 67total releases 568most recent commit 3 months agonuget Verify} Downloads
Cocotb ⭐ 1,583
cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python
dependent packages 22total releases 44most recent commit 18 days agopypi cocotb} Downloads
Ocmockito ⭐ 992
Mockito for Objective-C: creation, verification and stubbing of mock objects
total releases 25most recent commit 4 months ago
Pact Go ⭐ 804
Golang version of Pact. Pact is a contract testing framework for HTTP APIs and non-HTTP asynchronous messaging systems.
dependent packages 73total releases 127most recent commit 3 months ago
Ts Mockito ⭐ 720
Mocking library for TypeScript
dependent packages 760total releases 50most recent commit 3 years agonpm ts-mockito} Downloads
Atata ⭐ 470
C#/.NET test automation framework for web
dependent packages 5total releases 49most recent commit 3 months agonuget Atata} Downloads
Concuerror ⭐ 323
Concuerror is a stateless model checking tool for Erlang programs.
total releases 2most recent commit 8 months ago
Mimic ⭐ 296
A mocking library for Elixir
total releases 20most recent commit 4 months ago
Taisite Platform ⭐ 247
最强接口测试平台
most recent commit 2 years ago
Scilla ⭐ 238
Scilla - A Smart Contract Intermediate Level Language
most recent commit 10 months ago
Chiseltest ⭐ 198
The batteries-included testing and formal verification library for Chisel-based RTL designs.
total releases 27most recent commit 3 days ago
Phony ⭐ 195
Mocks, stubs, and spies for PHP.
dependent packages 65total releases 49most recent commit 10 months agopackagist eloquent/phony} Downloads
Verification Helper ⭐ 191
a testing framework for snippet libraries used in competitive programming
dependent packages 1total releases 52most recent commit 5 months agopypi online-judge-verify-helper} Downloads
Theverificationofdistributedsystem ⭐ 147
Accompanying Repository for The Verification of a Distributed System Talk
most recent commit 8 years ago
Gini ⭐ 125
A fast SAT solver
dependent packages 3total releases 33most recent commit 3 years ago
Gini ⭐ 121
A fast SAT solver
dependent packages 5total releases 23most recent commit 3 years ago
Chiselverify ⭐ 114
A dynamic verification library for Chisel.
total releases 3most recent commit 7 months ago
Suricata Verify ⭐ 88
Suricata Verification Tests - Testing Suricata Output
most recent commit 3 months ago
Change Tracker Plugin ⭐ 86
A Gradle plugin to help analyse the dependency between modules and run tasks only on modules impacted by specific set of changes.
most recent commit 3 years ago
Testcl ⭐ 85
when you don't have the balls to test your F5 BIG-IP iRules directly in production
most recent commit 3 years ago
Pactman ⭐ 83
Pact management (mocking, generation and verification)
dependent packages 6total releases 41most recent commit 2 years agopypi pactman} Downloads
The 10 Most Depended On Testing Verification Open Source Projects
Ts Mockito ⭐ 720
Mocking library for TypeScript
dependent packages 760total releases 50latest release June 08, 2020most recent commit 3 years agonpm ts-mockito} Downloads
Mockerymodule ⭐ 32
Mockery module for Codeception
dependent packages 118total releases 8latest release March 28, 2022most recent commit 2 years agopackagist codeception/mockery-module} Downloads
Pact Go ⭐ 804
Golang version of Pact. Pact is a contract testing framework for HTTP APIs and non-HTTP asynchronous messaging systems.
dependent packages 73total releases 127latest release October 03, 2023most recent commit 3 months ago
Verify ⭐ 2,226
Verify is a snapshot tool that simplifies the assertion of complex data models and documents.
dependent packages 67total releases 568latest release December 07, 2023most recent commit 3 months agonuget Verify} Downloads
Phony ⭐ 195
Mocks, stubs, and spies for PHP.
dependent packages 65total releases 49latest release February 17, 2021most recent commit 10 months agopackagist eloquent/phony} Downloads
Cocotb ⭐ 1,583
cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python
dependent packages 22total releases 44latest release October 06, 2023most recent commit 18 days agopypi cocotb} Downloads
Pactman ⭐ 83
Pact management (mocking, generation and verification)
dependent packages 6total releases 41latest release July 14, 2021most recent commit 2 years agopypi pactman} Downloads
Atata ⭐ 470
C#/.NET test automation framework for web
dependent packages 5total releases 49latest release December 05, 2023most recent commit 3 months agonuget Atata} Downloads
Node Omf ⭐ 40
ORANGE MOCHA FRAPPUCCINO
dependent packages 5total releases 14latest release June 10, 2014most recent commit 10 years agonpm omf} Downloads
Gini ⭐ 121
A fast SAT solver
dependent packages 5total releases 23latest release January 31, 2019most recent commit 3 years ago
The 10 Latest Releases In Testing Verification Open Source Projects
Verify ⭐ 2,226
Verify is a snapshot tool that simplifies the assertion of complex data models and documents.
dependent packages 67total releases 568latest release December 07, 2023most recent commit 3 months agonuget Verify} Downloads
Atata ⭐ 470
C#/.NET test automation framework for web
dependent packages 5total releases 49latest release December 05, 2023most recent commit 3 months agonuget Atata} Downloads
Fast Fuzz ⭐ 33
Test Case Generator Based on Branch Coverage and Fuzzing
dependent packages 2total releases 42latest release October 14, 2023most recent commit 6 months agonpm fast-fuzz} Downloads
Ocmockito ⭐ 992
Mockito for Objective-C: creation, verification and stubbing of mock objects
total releases 25latest release October 08, 2023most recent commit 4 months ago
Cocotb ⭐ 1,583
cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python
dependent packages 22total releases 44latest release October 06, 2023most recent commit 18 days agopypi cocotb} Downloads
Pact Go ⭐ 804
Golang version of Pact. Pact is a contract testing framework for HTTP APIs and non-HTTP asynchronous messaging systems.
dependent packages 73total releases 127latest release October 03, 2023most recent commit 3 months ago
Samsahai ⭐ 74
Dependencies verification system with Kubernetes Operator
total releases 108latest release September 12, 2023most recent commit 7 months ago
Chiseltest ⭐ 198
The batteries-included testing and formal verification library for Chisel-based RTL designs.
total releases 27latest release August 21, 2023most recent commit 3 days ago
Chiselverify ⭐ 114
A dynamic verification library for Chisel.
total releases 3latest release October 10, 2022most recent commit 7 months ago
Popular Software Quality Categories
Testing
Code Coverage
Mock
Selenium
Jest
Tap
Mocha
Test Driven Development
Rspec
Junit
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.