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

Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure

Native application identity and user-based security for your Azure cloud

Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.

Get a free trial

Rate This Project

User Reviews

Be the first to post a review of MoBaTeG!

Additional Project Details

Registered

2013-12-12

Report inappropriate content

Go From AI Idea to AI App Fast

One platform to build, fine-tune, and deploy ML models. No MLOps team required.

Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.

Try 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.