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

View related business solutions
  • 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
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
    Try It Free
  • 1
    Squash TM

    Squash TM

    Squash TM is an open source tool for test repositories management.

    Squash TM is the test repository manager found in the open source Squash toolkit. It enables the management of requirements, test cases and campaigns execution in a multiproject context. Based on an ergonomic and intuitive interface, Squash is also "full web" making it an easy tool to deploy. Squash TM is the result of a new development in Java (OSGi, Spring 3, Spring MVC, Hibernate, JasperReport, Jquery). For bugs management, Squash TM interfaces natively with Mantis. Thanks to its...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2

    TestMax

    Frontend & Backend Automation Tool

    TestMax is integrated Software Testing framework which can be used to test distributed system by developing rapid test cases using XML configuration in front and backend that talks to each other within the test framework. This tool can be used for Database, webservice, API, Junit, TestNg and Frontend including performance test. The main advantage of this TestMax architecture is separating test data configuration from test case run time environment. It reduces the maintenance of test cases...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3

    Java Regular Expression Tester Tool

    Tool that allows to test a String based on a regular expression

    This is a Java program designed for helping programmers to test text strings based on user input made Java regular expressions.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Madcow 2.0

    Madcow 2.0

    Madcow 2.0 - Advanced Test Automation

    Madcow Version 2.0 is the premier test automation tool designed to make your life easier. Developers love it. Testers can actually use it. Madcow is a domain specific language which helps to make it easier to test web browser based applications. You don't need to be a programmer to use it! Testers can write and organise their test cases the way the want to. It runs in the JVM as it is built using Groovy, and utilises the respected Webdriver framework. Check it out today! Please...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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
  • 5
    MailProbe
    E-Mail monitoring, benchmarking and load testing tool with integrated web UI.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    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
  • 7
    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
  • 8

    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
  • 9
    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
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • 10
    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
  • 11
    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
  • 12
    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
  • 13

    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
  • 14
    Tool for fill databases with random data.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    httest Buddy

    httest Buddy

    Editor and Java-Wrapper for httest

    An executable Jar file contains both a Swing-based editor with syntax-highlighting, online help, example generator etc. for the "httest" tool (https://sourceforge.net/projects/htt/), as well as a Java API wrapper for writing JUnit tests with "httest".
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Genedator

    Genedator

    Generator of sample data.

    Need sample data for your database? Genedator is a tool that helps you to generate data for your database. Set of dynamically loaded generators allows you generating any combination of data regarding columns type and purpose.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    lemonite
    Lemonite is an Open Source tool designed to automate J2EE unit test development and management. It's entirely implemented in Java and makes it very easy to write and run unit tests for common J2EE business concepts (EJB, Servlets, etc...) and for Web Services too. Lemonite works as standalone Java application.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    SMART (Shape Matching Algorithm Research Tool) enables you to implement 2D and 3D shape matching algorithms as plugins. Plugins can either be implemented in Java or as native plugins, i.e. in C/C++.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Korat is a tool for constraint-based generation of structurally complex test inputs for Java programs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    BrowserMob JavaScript Validator VNC
    VNC for use with the BrowserMob Selenium JavaScript Validator. This tool is made available for users of BrowserMob FREE Website Monitoring and Load Testing. The BrowserMob Local Validation Service can be downloaded from https://browsermob.com/tools.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    This tool supports the implementation of Checklist using objective criteria to evaluate any characteristic. The Spider-CL was developed in the Software Quality context, but it can be used in any one.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    ClassMock is a tool for creating tests for components based on reflection and metadata in Java. It generate classes in runtime with the desired structure to be used in tests.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Testar is a tool that reduces testing time for large Java unit test suites. It runs on top of JUnit and automatically selects individual tests to execute based on changes made to your code since the previous tool invocation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Ununbium is an opensource performance testing tool featuring graphical script recording and parameterization, extensible script types, and scenario execution via xml configuration file.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    CUBRID QA project contains a test-automation tool and many kinds of test cases for CUBRID database.
    Downloads: 0 This Week
    Last Update:
    See Project
Auth0 Logo