Search Results for "logic"
Sort By:
Showing 17 open source projects for "logic"
View related business solutions-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
Auth0 B2B Essentials: SSO, MFA, and RBAC Built InAuth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
-
1
Specification
Base class with tests for adding specifications to a DDD model
Specification is a .NET library that implements the Specification pattern to encapsulate query logic into reusable, composable objects. Its primary goal is to pull filtering, sorting, and projection logic out of repositories and services, reducing duplication and improving maintainability. The library works especially well with Entity Framework Core, enabling developers to centralize query definitions instead of scattering LINQ expressions throughout the codebase. -
2
SoapUI
SoapUI is a free and open source cross-platform functional testing
...SoapUI Open Source is the simplest and easiest way to begin your API testing journey. APIs, or Application Programming Interfaces, have become the center of software development, connecting and transferring data and logic across disparate systems and applications. Luckily, testing them can greatly improve the efficiency of your testing strategy as a whole, helping you deliver software faster than ever. -
3
vstest
Visual Studio Test Platform is the runner and engine that powers test
The Visual Studio Test Platform is an open and extensible test platform that enables running tests, collect diagnostics data and report results. The Test Platform supports running tests written in various test frameworks, and using a pluggable adapter model. Based on user-choice, the desired test framework and its corresponding adapter can be acquired as a vsix or as NuGet package as the case may be. Adapters can be written in terms of a public API exposed by the Test Platform. -
4
Testimo
Testimo is a PowerShell module for running health checks for AD
Testimo is a PowerShell-based test automation framework that simplifies writing, running, and reporting tests for infrastructure and script libraries. It provides constructs to define test cases, assertions, setup/teardown sequences, and grouping so validation logic is clear and maintainable. Designed for operations and platform engineers, Testimo focuses on verifying infrastructure state (configuration settings, service availability, registry keys) rather than purely unit-level code, making it useful for smoke tests, image validations, and deployment gates. Test runs can emit structured reports, integrate with CI systems, and be scheduled as part of regular compliance checks to ensure environments remain in expected states. ... -
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
5
NUnit 3 Framework
NUnit 3 Framework
...We can't do everything for everybody but we want to make it reasonably easy to extend NUnit. In many cases, users will be able to implement a special feature outside of our scope by simply creating a new attribute that embeds the required logic. In other cases, particularly in extending the engine, we rely on a plugin architecture. When running tests in a separate process, the console and gui runners make use of the NUnit Agent program, nunit-agent.exe. Although not directly run by users, nunit-agent does load and execute tests and users need to be aware of it, especially when debugging is involved. -
6
Atheris
A Coverage-Guided, Native Python Fuzzer
Atheris is a coverage-guided fuzzer for CPython that treats Python as a first-class fuzzing target, enabling rapid discovery of crashes and logic errors in pure-Python code and native extensions. It hooks into Python’s interpreter to collect fine-grained coverage and uses that signal to evolve inputs, pushing programs into previously unexplored code paths. Because many Python libraries are thin wrappers over C/C++ code, Atheris is equally adept at surfacing memory safety issues in extension modules compiled with sanitizers. ... -
7
Gatling Studio
Desktop app that helps you craft Gatling load-testing simulations
...The tool captures all HTTP and HTTPS requests and responses, saves them as a HAR file, and then automatically converts that data into a structured Gatling project with groups, pauses, and exec blocks. It includes logic to filter out noisy or irrelevant requests such as font files, analytics beacons, and static assets, so the generated scenario focuses on the core business interactions. The output is a ready-to-run Gatling project (Java/Maven) that can be executed locally or uploaded to Gatling Enterprise to run at scale. Gatling Studio targets performance engineers and QA teams who want a low-code path from “record what a user does in the browser” to “run a realistic load test.” -
8
Classic HWUT - rename of previous HWUT
Software Unit Tests (Language Independent Approach)
Automation of Unit and System Tests. Tests can be implemented in any language and on many platforms. The flexible approach enables the inclusion of many types of tests, such as memory leak checks (using valgrind), coding rule checks, complexity checks, etc. Tests are run by a simple call to hwut in a base directory of a project. In particular for C, HWUT supports make file generation using 'sos' and 'sols' modes. Remote control-able function stubs may be generated using the 'stub' mode.... -
9
Cypress Image Snapshot
Catch visual regressions in Cypress
Cypress Image Snapshot binds jest-image-snapshot's image diffing logic to Cypress.io commands. The goal is to catch visual regressions during integration tests. -
Catch Bugs Before Your Customers DoMove from alert to fix before users notice. AppSignal monitors errors, performance bottlenecks, host health, and uptime—all from one dashboard. Instant notifications on deployments, anomaly triggers for memory spikes or error surges, and seamless log management. Works out of the box with Rails, Django, Express, Phoenix, Next.js, and dozens more. Starts at $23/month with no hidden fees.
-
10
gofuzz
Fuzz testing for go
...The library’s determinism controls allow reproducible failures while still offering diverse coverage across runs. Teams reach for gofuzz to smoke out serialization bugs, panics in equality or hashing, and brittle assumptions in business logic. -
11
Aqueduct
Dart HTTP server framework for building REST APIs
...It includes a statically-typed ORM, OAuth 2.0 provider, automated testing libraries, and OpenAPI 3.0 integration. Aqueduct's memory-isolated threads leverage every CPU without writing any code. No race conditions or complicated synchronization logic to worry about. A familiar, higher-order functional syntax makes application flow easy to construct and read. Powerful, statically typed queries enable code-completion and refactoring tools while minimizing error. -
12
SPL Tools
Stochastic Performance Logic testing tools and utilities.
...The advantage of SPL in comparison with other similar solutions includes following. SPL formulas uses well-defined logic and statistically sound testing (such as t-test). Next, SPL is aimed at automatic evaluation. And finally, SPL formulas uses relative comparisons (opposed to comparing against fixed time) to provide better portability. -
13
This tool compares Value Change Dump files, which is useful for regression testing of Verilog models. VCD files are dumpfiles generated by EDA logic simulation tools.
-
14
Chex4j allows you to document and enforce @pre and @post conditions of method calls with runtime or build time class file instrumentation. Conditions run as fast as normal code.
-
15
This project aims to create a testing environment for S7-PLC (programmable logic controller) software. It is based on the Eclipse platform and can test S7 instruction list code exported from the Siemens Step7 software.
-
16
Model XML Schema documents in first-order logic using Alloy in order to generate test inputs for applications and prove constraints about documents.
-
17
Marigold is an in-container "scenario-based" white-box unit-testing framework for J2EE applications that permits direct testing of business logic and data-access layers, and separates test-data from test-code.
- Previous
- You're on page 1
- Next
