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

View related business solutions
  • 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
  • Fully Managed MySQL, PostgreSQL, and SQL Server Icon
    Fully Managed MySQL, PostgreSQL, and SQL Server

    Automatic backups, patching, replication, and failover. Focus on your app, not your database.

    Cloud SQL handles your database ops end to end, so you can focus on your app.
    Try Free
  • 1

    Sahi - Web Test Automation Tool

    Sahi is a web automation testing tool focused on testers

    Sahi is an open source test automation tool for automating web applications. It is a tester friendly tool with recorders and object spy and simple scripting. Sahi Pro, the commercial version, is an Enterprise Grade Test Automation Tool that is simple to use and easy to learn. For over a decade now Sahi Pro has helped over 400 Enterprise clients solve everyday problems faced by their QA teams. Sahi Pro is a unique Test Automation tool that is tester-centric while being business-driven in...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 2
    Halstead Metrics Tool

    Halstead Metrics Tool

    Software Metrics Analyzer for C,C++,Java Programs

    Some software measures are still not widely used in industry, despite the fact that they were defined many years ago, and some additional insights might be gained by revisiting them today with the benefit of recent lessons learned about how to analyze their design. This project analyzes the design and definitions of Halstead’s metrics, the set of which is commonly referred to as ‘software science’. This analysis is based on a measurement analysis framework defined to structure, compare,...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    ModelJUnit extends JUnit to support model-based testing, with the models being written as Java classes. Model-based testing allows you to automatically generate test suites from a model of a system under test.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    Edifatto

    Tool for parsing, verifying, browsing and converting EDIFACT and X12

    'Edifatto' is a tool for parsing, verifying and browsing EDI (EDIFACT and X12) documents. User interfaces are GUI, command line and Java API. In addition to the core feature set, EDI documents can be expported as and imported from XML documents allowing the integration into XML-based tools and workflows (like anonymization or XSLT-processing).
    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
  • 5
    CCKDM

    CCKDM

    Concern Mining

    This is a tool for concern mining which uses a KDM model as input and the output is the same model with annotated concerns. It uses a Concern Library and a modified String Clustering K-means algorithm with Levenshtein metric to cluster the strings.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6

    GUITAR - A GUI Testing Framework

    A model-based test automation framework for GUI applications

    This framework supports a wide variety of model-based GUI testing techniques. The innovation lies in the architecture of GUITAR, which uses plug-ins to support flexibility and extensibility. Software developers and quality assurance engineers may use this architecture to create new toolchains, new workflows based on the toolchains, and plug in a variety of measurement tools to conduct GUI testing.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Arcimboldo

    Arcimboldo

    Generator's generator (JSON templates plus automatic DSL generation)

    ...For example, a simple click in an application file allows a developer to see where the clicked symbol does come from. The workbench can be used as a JSON based generator, but a DSL based on Xtext and Xtend can be generated from the JSON object with a single click. The tool can be used to support model driven development.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8

    MBSE for MagicDraw

    Plugin for MagicDraw to support MBSE with SysML

    Support for more productive Model Based Systems Engineering, following the recommendations in the Cookbook of the INCOSE SE2 Challenge team http://mbse.gfse.de The Plugin for the MagicDraw modelling tool provides support for model based document generation which ties together system model and documents to keep them up to date and consistent, using a AWYSIWYG editor in MagicDraw.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    The concept behind DataWoo is to create a Spring-based architecture that allows developers to jump-start their coding efforts by providing a hardened and secure foundation when developing new systems; it can also be used as a reference for incorporating new technologies into existing systems. DataWoo is meant to be a research and development platform that can be extended into just about any enterprise-level web application. The architecture will be developed in three phases: 1. Basic...
    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
  • 10
    Jumble is a Java mutation tool for measuring the effectiveness and coverage of JUnit test suites.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11

    Korat2015

    Enhanced Korat supports GUI, FSM, JUNG and JSON.

    Korat is a tool for constraint-based generation of structurally complex test inputs for Java programs. Please see http://korat.sourceforge.net/index.html for more information on the Korat application. Korat 2015 includes the below enhancements to Korat: - Graphical User Interface using Java Swing - Graph Output Format using JUNG (Java Universal Network/Graph Framework) - Finite State Machine Domain - Graph Archival using JSON (JavaScript Object Notation) The Wiki page has...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Agilefant

    Agilefant

    The scalable open source tool for lean and agile project management

    Agilefant is a simple but powerful web based tool for lean and agile project management. It is the most versatile open source solution of its kind today, with a rapidly growing user base of more than 10k users around the world in thousands of organizations. Based on more than ten years of solid scientific research within real world organizations, Agilefant's unique model scales from personal todo-lists to large-scale multi-team development and long-term product and portfolio management. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13

    Jeuron

    Jeuron Application Platform

    The Jeuron Application Platform is a java based open source project released in December 2012 with the goal of providing a lightweight framework to assemble software components that would support the requirements of multiple projects and deployment scenarios while also providing an environment for testing and debugging. The platform is comprised of a set of packages which provide transport, messaging, configuration, and execution services designed to create a configurable, scalable, and distributed application environment. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Cobertura is a free Java tool that calculates the percentage of code accessed by tests. It can be used to identify which parts of your Java program are lacking test coverage. It is based on jcoverage.
    Downloads: 11 This Week
    Last Update:
    See Project
  • 15
    MoccaCPU

    MoccaCPU

    Java based CPU stress testing tool

    MoccaCPU is a CPU stress testing tool written in Java. It uses the Monte-Carlo-Algorithm to calculate approximate values of π (Pi) during the test. Mutiple threads can be started to use the full capacity of all given CPU cores.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16

    Autodrive

    Drives your automation lifecircle gathering information, test & deploy

    Autodrive is written to automate tasks within a large soa installation, ranging from gathering information to a metadata repository, over testing software solutions, and deploying prebuild software artifacts.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17

    JUnit Execution & Report Generation Tool

    Runs JUnit Test cases and generate HTML report, keeps past run history

    This tool pulls all JUnit testcases from the class path and run them all. After completion of test case execution it populates the result in database tables. A report tool fetch the result data from database and produce an HTML report. Highlights of this tool - No coding effort is required from developer to integrate existing JUnit test cases. They just need to put their test case folder to the class path - Since it keep the test result data in a database, it can keep history of...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Graphic Selenium Testing Tool

    Graphic Selenium Testing Tool

    A graphical, cross-browser, easy and Selenium-based testing tool

    Graphic Selenium Testing Tool (GSTT) is a software application to define, manage and execute web testing projects easily, visually and through the most popular web testing tool: Selenium. Each web testing project consists in many test cases. Each one represents a set of actions over a web page. For example, to search a product in a web online store or to fill and send a register form in a website. With GSTT users can define these actions on the web browser directly. This activity can also...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    ATS4 AppModel is an application flow design tool supporting application specification work, model based testing and test script generation. It provides simple interface to manage complex models. ATS4 AppModel is part of Nokia ATS tool family.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20

    openhealthpractice

    A simulation environment for physiology models simulation

    The OpenHealhPractice Simulation Environment is a web framework intended to concurrently manage and launch generalized models. Models can be uploaded by the users and also can be connected to other models in order to simulate them in a row. These simulations are stored and can be reviewed or deleted at anytime. The Graphical Visualization Environment (GVE) provides the graphical visualization of the simulation results. Results can also be exported to different formats (xls, txt or...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    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
  • 22
    JBernstein

    JBernstein

    JBernstein: Exploration techniques for non-linear constraint checking

    JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Requirements management tool designed to achieve full SDLC traceability for features, requirements, design, implementation and testing. UI for requirements derivation, version control, attributes etc. Designed to be v2.0 to OSRMT's v1.5. The architecture will change (Grails) and move to being entirely web-based, but the driving force behind it is to retain and satisfy OSRMT users.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 24

    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
  • 25

    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
Auth0 Logo