Search Results for "model based testing tool"
Sort By:
Showing 27 open source projects for "model based testing tool"
View related business solutions-
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.
-
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.
-
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...
-
$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
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. -
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
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
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. -
12
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. -
13
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. -
14
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.
-
15
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. -
16
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.
-
17
** 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...
-
18
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-
-
19
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.
-
20
-
21
This project develops a full-functional UML-Roundtrip-Tool for Python. It is realized as an Eclipse Plugin based on the plugins PyDev und Eclipse Uml2Tools. * Full Roundtrip Functionality * Uml2Tools Model Editor included * Live Validation * UML Views
-
22
Entier studio is a web tool designed for developers. It provides several features that enhance the development of applications. Some of these features are an original model-driven approach and distinct code generation and publication processes.
-
23
TRUC is a web-based tool for requirement and use case tracking. It has fileupload, discussions, version control, usecase history, build and release management. It supports assignment of requirements & use-cases to releases and filtering over all fields.
-
24
SPACES is a functional test tool for components which uses UML specifications and OCL restrictions to originate test cases automatically.
-
25
JAMT provides an easy way to create UML diagramms. In the first version it is possible to model class diagramms. State and activity diagramms are planned. Future extensions of JAMT could be code generation and design patterns assistance.
