Search Results for "model based testing tool"
Sort By:
Showing 32 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.
-
Build Agents and Models on One PlatformGemini 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.
-
1
Laravel MongoDB
MongoDB based eloquent model and Query builder for Laravel
This package adds functionalities to the Eloquent model and Query builder for MongoDB, using the original Laravel API. This library extends the original Laravel classes, so it uses exactly the same methods. Make sure you have the MongoDB PHP driver installed. In case your Laravel version does NOT autoload the packages, add the service provider to config/app.php. For usage with Lumen, add the service provider in bootstrap/app.php. In this file, you will also need to enable Eloquent. You must... -
2
Mongoose
Elegant mongodb object modeling for node.js
Mongoose is a MongoDB object modeling tool that was built to answer the need for better ways to model your application data. It's designed to work in an asynchronous environment, providing a simple, straightforward approach to object modeling that skips out on the tedious tasks of writing MongoDB validation, casting and business logic boilerplate. Mongoose offers an uncomplicated schema-based solution, and comes with nifty features like type casting, validation, query building, and business logic hooks right out of the box. ... -
3
odaba
ODABA is an terminology-oriented database management system and develo
ODABA is an terminology-oriented database management system (TODBMS) on a high conceptual level. It provides a number of enhanced features based on natural language analysis. Terminology orientation allows designing user oriented data models. Enhanced event model and Active Data Link technology support rapid development of GUI applications. Several development, documentation, test and analyzing tools are provided in order to support developers and administrators. .NET interface and a... -
4
FOML is an expressive logic rule language that supports object modeling, analysis, and inference. It naturally supports model-level activities, such as constraints (extending UML diagrams), dynamic compositional modeling, analysis and reasoning about models, model testing, design pattern modeling, specification of Domain Specific Modeling Languages, and meta-modeling. FOML can reason about: 1. The model meta-data (meta-model level reasoning, or syntax reasoning) 2. Data level: reason...
-
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
5
freebpmnquality — QualiBPMN
Free software to validate BPMN business process diagrams.
ABOUT This is a free, client-side tool for evaluation of BPMN business process model quality and correctness. This tool helps to check BPMN diagrams and find modeling mistakes. HOW TO USE? Extract the downloaded archive and open analytics/index.html file in the web browser (it is recommended to use Google Chrome, Mozilla Firefox, or Microsoft Edge) OR use it online here >> https://freebpmnquality.github.io/services/analytics/ -
6
EiffelStudio is an Integrated Development Environment (IDE) that provides comprehensive facilities to programmers. It offers a comprehensive suite of tools that enable programmers to produce correct, reliable, and maintainable software while keeping control of the development process. If you want to create fast, robust, scalable applications, then EiffelStudio™ will offer you a cost-effective solution. Imagine being able to model your system as you think – capturing your requirements and...
-
7
The Whole Platform is a technology for engineering the production of software. We provide an Eclipse based Language Workbench for developing, manipulating and transforming languages using a model driven approach.
-
8
brModelo 3.2
ER Databese Model
Tool used to Database ER model Ferramenta para modelagem ER em bancos de dados. -
9
SYSMOD - The Systems Modeling Toolbox
SYSMOD4MD is a plugin for the modeling tool MagicDraw (aka Cameo)
SYSMOD is a model-based systems engineering methodology. The SYSMOD4MD plugin for the SysML modeling tool MagicDraw (aka Cameo Systems Modeler) provides the SYSMOD profile, i.e., the stereotypes required for the SYSMOD methodology. In addition, the project contains sample projects and templates. The latest version v4.2 also works for Cameo v2021. -
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
10
SageMaker Chainer Containers
Docker container for running Chainer scripts to train and host Chainer
SageMaker Chainer Containers is an open-source library for making the Chainer framework run on Amazon SageMaker. This repository also contains Dockerfiles which install this library, Chainer, and dependencies for building SageMaker Chainer images. Amazon SageMaker utilizes Docker containers to run all training jobs & inference endpoints. The Docker images are built from the Dockerfiles specified in Docker/. The Docker files are grouped based on Chainer version and separated based on Python... -
11
Data Modeler
A tool for creating data models and databases for Microsoft SQL Server
Welcome to the page for "Data Modeler"; a free tool to create Microsoft SQL Server databases. If you use Microsoft SQL Server and are in search of a clean and intuitive (and free!) data modeler, search no further. With object-level DDL previews, schema support, real-time model validation and DDL regeneration, sub-models, bulk undo/redo, drag 'n' drop foreign key creation, a data dictionary, update/delete foreign key automation, and customizable fonts and colors, this data modeler is an... -
12
SINVAS
Software Engineering Full Life Cycle Support Tool
...SINVAS Product Introduction 1) SINVAS REQ - Requirement Management : https://sourceforge.net/projects/sinvas-req/ 2) SINVAS UML - MDD-based analysis/design : https://sourceforge.net/projects/sinvas-uml/ 3) SINVAS DEV - Modeling-based development : https://sourceforge.net/projects/sinvas-dev/ 4) SINVAS TEST - Testing and Validation of software : https://sourceforge.net/projects/sinvas-test/ * SINVAS CRY - Cloud computing based online modeling tool : http://cry.sinvas.com/ Thank you for your continuous interest and encouragement. -
13
SINVAS UML
UML Modeling Tool for MDD-based Analysis/Design
...SINVAS Product Introduction 1) SINVAS REQ - Requirement Management : https://sourceforge.net/projects/sinvas-req/ 2) SINVAS UML - MDD-based analysis/design : https://sourceforge.net/projects/sinvas-uml/ 3) SINVAS DEV - Modeling-based development : https://sourceforge.net/projects/sinvas-dev/ 4) SINVAS TEST - Testing and Validation of software : https://sourceforge.net/projects/sinvas-test/ 5) SINVAS ALM - Management of software development projects and methodology Thank you for your continuous interest and encouragement. -
14
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. -
15
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.
-
16
Essential ORM Modeler
Design your ORM application in a platform independent way.
Essential ORM Modeler allows you to model your application using an extension of UML class models, generating code for distinct ORM frameworks (JPA, SQLAlchemy or Ruby´s ActiveRecord). The notation, based on persistence patterns, is platform independent. This tool is a plugin of eclipse. -
17
JetSet is a (meta) tool that lets your quickly create model tranformator tools for instances of a given source meta model. For XML to XML transformations you can also specify a target XML schema and JetSet makes sure that your output conforms to this.
-
18
** 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...
-
19
Feature Modeling Plug-in is a tool for modeling the features (requirements) of a product line and configuring products. Product configuration is supported by automatic choice propagation and conflict resolution. Visit Home Page for papers, demo, HOW-
-
20
The Coverage Simulator transforms test models. The satisfaction of a weaker coverage criterion on the target model corresponds to the satisfaction of a stronger coverage criterion on the source model. Thus, it supports many model-based test generators.
-
21
EMF Modeling Operations is an EMF based tool for specifying and executing composite modeling operations such as refactorings for every Ecore based modeling language. A new specification is created by demonstrating the composite operation once.
-
22
Software Process Model Suite is a toolset for modeling and simulate software process models. Is composed by: 1. a simulator engine; 2. a modeling tool based on SPEM, that uses model transformation approach; 3. a visual graphical simulator.
-
23
-
24
A Java-based system for doing Model-Based Testing. Nephila will use Finite State Machine based models to create language-independent tests.
-
25
This is a project for performance prediction of middleware based systems. The tool support the separation of modeling and construction for performance impacts. The input of our tool is UML model with SPT annotation.
