Search Results for "model based testing tool" - Page 2
Sort By:
Showing 163 open source projects for "model based testing tool"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
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... -
2
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,... -
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.
-
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). -
$300 Free Credits to Build on Google CloudStart 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.
-
5
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. -
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. -
7
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. -
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. -
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...
-
Our Free Plans just got better! | Auth0You 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.
-
10
-
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... -
12
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. ... -
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. ... -
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.
-
15
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. -
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. -
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... -
18
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... -
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.
-
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... -
21
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... -
22
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. ... -
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.
-
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... -
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.
