Showing 452 open source projects for "model based testing tool"

View related business solutions
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
    Get Started Free
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • 1
    The sandbox libraries (libsandbox & pysandbox) are an open-source suite of software components for C/C++ and Python developers to create automated profiling tools and watchdog programs. The API's are designed for executing and instrumenting simple (single process) tasks, featuring policy-based behavioral auditing, resource quota, and statistics collecting. The sandbox libraries were originally designed and utilized as the core security module of a full-fledged online judge system for ACM/ICPC training. They have since then evolved into a general-purpose tool for binary program testing, profiling, and security restriction. ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 2

    SpectrumSuite

    program spectrum-based fault localiziation

    We will develop a tool for program spectrum-based fault localiziation. The code language is VC++6.0.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Orange Effort Estimation Tool

    Orange Effort Estimation Tool

    Estimate software development effort with 5 different methods

    This tool enables software development effort estimation using 5 different methods. All industry standard methods are used. COCOMO II This is a model for effort estimation. The use of the model enables effort estimation from non-experts (e.g. not developers). Work Breakdown Estimation This is an effort estimation method based on expert judgment.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Tool for testing Web Map Services. It allows to run general random tests of WMS and test based on user-like behaviour.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure Icon
    Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure

    Native application identity and user-based security for your Azure cloud

    Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
    Get a free trial
  • 5
    MailProbe
    E-Mail monitoring, benchmarking and load testing tool with integrated web UI.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6

    r4st

    A database rapid application development tool

    The r4st ("Our Forest") project is a set of tools to assist with the rapid development of a database application. It uses shell scripts to drop/add Postgresql database tables/views with data loaded from sql and csv files. This process allows users to apply changes then re-build the system. It is essentially a customizable database regression system. The base schema and data module represent a plant database intended for educational and scientific usage.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7

    MSTest TRX to HTML Viewer

    MSTest TRX to HTML is open source reporting tool to converts Visual St

    MSTest TRX to HTML Viewer is open source trx to html viewer reporting tool to converts Visual Studio Test Result to HTML drilldown to testing reports. It’s provide more cleans and neat UI to represent your test result into several format like Tabular, Chart, Hierarchy etc. For More detail you can visit http://saffroze.com/trx-to-html/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Data Migration Tool for z/OS
    This software provides a fast way to migrate table or datasets between 2 MVS and Z/OS Mainframes by generating and submitting jobs from a Windows platform.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    VaMoLà - Validator
    VaMoLa Validator is a tool to validate accessibility according to Italian Law - based on AChecker
    Downloads: 0 This Week
    Last Update:
    See Project
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New to Google Cloud? Get $300 in credits to explore Compute Engine, BigQuery, Cloud Run, Gemini Enterprise Agent Platform, and more.

    Start your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
    Claim $300 Free
  • 10
    PostgreSQL Database Modeler
    ** ATTENTION ** THIS PROJECT HAS MOVED TO: https://github.com/pgmodeler/pgmodeler New releases only will be available on GitHub. PostgreSQL Database Modeler, or simply pgModeler is an open source project of a CASE tool for modeling PostgreSQL that merges the classical concepts of modeling using entity-relationship diagrams with specific features that only PostgreSQL implements. The pgModeler translates the models created by the user to SQL code and apply them onto database...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 11

    jmint

    jMINT - Java Mutation for Integration Testing

    jMINT is a integration fault injection tool which identifies data exchanges across classes and inject faults along those path. It is primarily based on the idea of program analysis and code mutation. The cross boundary data exchanges are identified by performing data flow analysis using java byte code analysis and transformation framework-soot. Mutant injection is also done via the soot framework. jMINT tool can be used to measure the effectiveness of integration test suites.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    VaMoLà - Monitor
    VaMoLa Monitor is a tool to monitorize sites accessibility
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Analytic Toolkit
    The purpose of the project is summarising effort from a number of analytic libraries, adding interactive web-based user interface and making a free open source solution for risk analytics and stress testing. Feb 8, 2012 Paul Glasserman's Importance Sampling and Tail Approximations as well as plain Monte Carlo have been implemented for for the widely used normal copula model of portfolio credit risk. The package includes source code, examples, spreadsheet with results and references to the papers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    T-Plan Robot - GUI Test Automation

    T-Plan Robot - GUI Test Automation

    Image based Test Automation tool (Java) - Test ANYthing, ANYwhere

    This is the open source project of the now greatly enhanced Enterprise solution which has professional support, is faster, smarter and has lots more functionality. T-Plan Robot (formerly VNCRobot), is the most flexible and universal black box automated testing tools on the market. This project is the former open source version, and is now superseded by T-Plan Robot Enterprise. Robot is platform independent (Java), and thus performs well in situations where other tools may fail. Robot...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    BCP

    BCP

    NGS analysis tool

    BCP is a command-line tool ideated to analyze NGS data, also offering a wrapper for some common NGS software, including Fastx and Samtools. It is oriented mainly towards targeted resequencing experiments, with a set of functions for general purposes. BCP also includes a function for breast cancer risk estimation, based on the Gail model, using both clinical and genome data.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16

    QuickCIM

    CodeIgniter Model generation from database

    QuickCIM is a great free open source tool for CodeIgniter Models generation based on templates from database tables. The generated models extends of MY_Model by Chris Schmitz (https://github.com/ccschmitz/codeIgniter-base-model). Also check http://davidburgosonline.com/desarrollo-web/2012/como-automatizar-modelos-codeigniter-my-model/ for additional use info. Written in PHP & Javascript using CodeIgniter, jQuery and Backbone.js frameworks.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    ESpin

    ESpin

    SPIN-based Eclipse Model Checking Plugin

    ESpin, a SPIN-based model checking plugin upon Eclipse. The editor has full support of the syntax rules of Promela, and also provides the function of real-time syntax feedback, keywords highlight, outline view, code folding, hinting and completion, greatly improving the modeling efficiency of complex models. Additionally, ESpin provides multiple operation mode and unique configuration interfaces, which simplifies the operation process of SPIN.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    A little tool writen in java to trace the execution plan for a given database query. It works with Oracle 10g or higher and uses the JGoodies look and feel. You need to provide the Oracle.com JDBC-Driver and the JGoodies.org looks look and feel. Source is now located at Github https://github.com/mgeiss/oraxtra.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Automated UI Tester For ActionScript

    Automated UI Tester For ActionScript

    Functional Test Automation tool for pure AS 3.0 SWF and Flash Games

    Automated UI Tester for Adobe® ActionScript® is a pure ActionScript 3.0 SWF automation testing tool with the capability of recording user actions on an SWF file and playing them back with high fidelity. The API for this tool is provided with name “Genie” (Adobe internal code name for the tool). Some major features of this tool are • No instrumentation or application manipulation is required. • Automate pure ActionScript 3.0 SWF
    Downloads: 2 This Week
    Last Update:
    See Project
  • 20

    Java EE Two-Phase Commit Testkit

    A Portable Thin Client & Server Pair for XA / 2PC Testing

    A portable testing tool to validate the configuration of XA and two-phase commit for Java EE 6 Containers. The tool permits the stress-testing, performance characterization and correct transaction semantics of distributed transactions across Three XA resource managers by Exception Injection. The thin-client can be run from the command-line or inside the IDE. The server side component includes EJB packaging and some simple Web servlet support for retrieving diagnostic and performance data...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    This is a stress tool for Oracle Database, which can set the SQL/function/procedure you want to be executed, and set the stress threads number and frequency. It will finally report the stress test result.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Tool for fill databases with random data.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23

    Stanzapper

    A Web based XMPP utility to check communication with XMPP server.

    Stanzapper 1.1 Released.. Stanzapper is also available @ http://stanzapper.appspot.com/ Stanzapper is a Web based utility built on HTML and JavaScript that allows creating a session with XMPP server on BOSH and send, receive XMPP stanzas. It's a solution to easily build XMPP stanzas and check the responses of server. This utility can be used to check various XMPP scenarios and use-cases at protocol level. It can be used to test other XMPP applications as well. It's also an...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Testing tool for Semantic Bridges. Supports the evaluation of rule-based (SWRL) ontology mappings to provide trust in a distributed multi-actor environment with heterogeneous independent information models materialized in OWL ontologies. See QualiPSo.org
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25

    ats - Automated Testing System

    Object oriented Python-based tool for test automation.

    The Automated Testing System (ATS) is a Python-based tool for automating the running of tests of an application. ATS can test any program that can signal success or failure via its exit status. ATS is an object-oriented Python program that provides abstractions for user defined tests (usually specified with an executable and command line and / or an input file).
    Downloads: 0 This Week
    Last Update:
    See Project
Auth0 Logo