MoBaTeG

Model Based Test Generation

Brought to you by: rezaee68

Add a Review

Downloads: 0 This Week

Last Update: 2014-02-04

Browse Code

Get an email when there's a new version of MoBaTeG

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

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.

Start 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

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.

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/
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.
PlantUML
PlantUML allows to quickly create some UML diagram using a simple textual description language.
UMLnet
this project want to be a must program: with this software many people can modelling a UML Diagram at the same time!!
plantuml-dependency
PlantUml Dependency allows to parse / reverse engineering source files (only Java is supported by now) to generate a PlantUml description, allowing to draw the UML class diagram associated to the source code.