MoBaTeG

Model Based Test Generation

Brought to you by: rezaee68

Add a Review

Downloads: 0 This Week

Last Update: 2014-02-04

Browse Code

Add to Preferred Sources

This project aim at generating test cases using UML class diagram and state machine annotated with OCL constraints. We transform input UML model and it's constraints to AMPL system. Then try to solve mathematical system using state of the art and powerful constraint solvers.

Project Activity

See All Activity >

Follow MoBaTeG

MoBaTeG Web Site

Other Useful Business Software

Veeam Data Platform v13.1 - Get Your Free Trial

Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.

Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.

Try it Free

Rate This Project

User Reviews

Be the first to post a review of MoBaTeG!

Additional Project Details

Registered

2013-12-12

Report inappropriate content

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.

Start Free

Recommended Projects

USE: UML-based Specification Environment
USE is a system for the specification and validation of information systems based on a subset of the Unified Modeling Language (UML) and the Object Constraint Language (OCL). Please report any encountered bugs using the ticket system. The USE documentation can be found on the project homepage linked below. Downloads for the most popular plugins can be found here: http://sourceforge.net/projects/useocl/files/Plugins/
BeigeUML
UML diagram editor
uml2svg
uml2svg is a tool for converting UML diagrams into SVG. The diagrams have to conform with the UML Diagram Interchange 1.0 Specification, which at this time means they have be exported by Poseidon for UML.
db2dot
Reverse engineers a database using foreign key constraints. Output format is a graphviz dot file representing the ER diagram.
CDT
Constrained Delaunay Triangulation (C++)