Software and hardware systems contain faults. One important technique to detect faults is testing. With the spread of model-based development, models became also important for testing. In model-based testing, test models are used to generate test suites (semi-)automatically. Although the technique of model-based testing is some years old, there is still room for improvements. For instance, most commercial modeling tools do not provide adequate test support for linear ordered types.
Coverage criteria are used as means to measure the fault detection ability of test suites. The approach of ParTeG is to combine the satisfaction of control flow-based coverage criteria (e.g., MC/DC) and boundary-based coverage criteria (e.g., Multi-Dimensional). This approach puts the focus on automatic generation of input partition boundaries from conditions in models. It can also be understood as a transformation of output partitions into a cross product of input partitions and abstract paths throught the state machine. ...
The free to use, open source toolkit YAKINDU Statechart Tools (SCT) provides an integrated modeling environment for the specification and development of reactive, event-driven systems based on the concept of statecharts.EditingYakindu Statechart Tools (SCT) feature an intuitive combination of graphical and textual notation. While states, transitions, and state hierarchies are......
TopCoder UML Tool is an easy to use, consistent modeling tool for use in Design and Development competitions. The new tool was built to model sequence, class, use case, and activity diagrams. On top of that, all those elements can have documentation easily attached to them.......
A lightweight HTML5/javascript library for UML 2 diagramming.Alpha software. This project is in progress. Many functionalities are ready to be used. Nevertheless, some features and developments will not be neccessarily available for download.......
Gaphor is a Python-based, easy to use modeling environment. This means that you are able to create nice UML diagrams for documentation and to assist you with design decisions. Gaphor will help you create your applications.......
BOUML is a free UML 2 tool box (under development) allowing you to specify and generate code in C++, Java, Idl, Php and Python.BOUML runs under Unix/Linux/Solaris, MacOS X(Power PC and Intel) and Windows.BOUML is very fast and doesn't require much memory to manage several thousands of classes, see benchmark.BOUML......
GenMyModel is a web uml tool for designing software architecture with UML, Database Diagrams or Flowchart. It’s for all coders and software architects. Design, share models and generate code right in the browser.......
ClassBuilder is freeware CASE tool targeted at the C++ developer, running on Win2K-XP. It lets you create, manipulate and navigate classes, class relations, class members and class methods at a high level of abstraction through a graphical user interface. Its rich feature list includes:* Class and sequence diagram editing (UML),......
"Attractive flow diagrams made in minutes!" is the promise by Sankey Flow Show. And indeed the tool is rich in features and design options: Large shapes and icons library, graphical effects (e.g. shadow effect), toggle constant/Sankey connections style, and customizable data input are some of the highlights.You can decide whether......
SAP PowerDesigner: Enterprise Architecture tools for digital transformation successPlan and manage complex business transformation initiatives with SAP PowerDesigner. The software’s data modeling tools let you build a blueprint of your current enterprise architecture and visualize the impact of change before it happens. Automatically capture architecture layers and requirements, tap into......
In much the same way a theatrical director blocks out a play, a software designer uses Rational Rose to visually create (model) the framework for an application by blocking out classes with actors (stick figures), use case elements (ovals), objects (rectangles) and messages/relationships (arrows) in a sequence diagram using drag-and-drop......
UML Designer provides a set of common diagrams to work with UML 2.5 models. The intent is to provide an easy way to make the transition from UML to domain specific modeling. This way users can continue to manipulate legacy UML models and start working with DSL. Users can even......
MagicDraw is an award-winning business process, architecture, software and system modeling tool with teamwork support. MagicDraw UML can do comprehensive UML diagramming, reverse and forward engineering for Java and C++.......
NClass is a free tool to easily create UML class diagrams with full C# and Java language support. The user interface is designed to be simple and user-friendly for easy and fast development. Properties, enums, delegates and other language specific elements are fully supported with strict syntactical and semantical verification.......
Violet is a UML editor with these benefits: Very easy to learn and use. Draws nice-looking diagrams. Completely free. Cross-platform. Violet is intended for developers, students, teachers, and authors who need to produce simple UML diagrams quickly.......
From free light-weight versions which provide Intuitive UML software at no cost; to the most powerful UML Plus software on the market Astah allows your team to communicate clearly and easily across platform. Take your Modeling to the next level with Astah.......
| About | Terms |
| About UsContact Us | TpSort ScorePrivacy PoliceDMCA Policy |
© 2015-2016 www.tpsort.com, Inc
