NModel

  •        0

NModel is a model-based analysis and testing framework for model programs written in C#. It provides software support for the book "Model-based Software Testing and Analysis with C#", Cambridge University Press, 2008.

http://nmodel.codeplex.com/

Tags
Implementation
License
Platform

   




Related Projects

DAE Tools Project


Equation-oriented process modelling and optimization software

BRL-CAD - Solid Modeling System


BRL-CAD is a powerful cross-platform constructive solid geometry solid modeling system that includes an interactive geometry editor, ray-tracing for rendering amp; geometric analyses, network distributed framebuffer support, image & signal-processing tools.

automator - automate functionality testing by test-case generation, execution


automate functionality testing by test-case generation, execution

WebLoad - The best LoadRunner Alternative


The WebLOAD Open Source Load Generation Engine is an open source project sponsored by RadView Software. This project is intended for ISVs, SIs and software developers who need to integrate a professional load generation engine into their applications.

minuet - Musical Modelling in Objective-C initially focusing on scale generation


Musical Modelling in Objective-C initially focusing on scale generation

beanmodeller - CoreMedia Contribution to improve Document Type Modelling and ContentBean generation


CoreMedia Contribution to improve Document Type Modelling and ContentBean generation

Test Case Generator


Generator for test cases based on euquivalence class analysis and combination of states. This tool is basically a wrapper for the PICT-Tool by Microsoft (a tool for Pairwise Independent Combinatorial Testing). So the tool itself is not included but can be downloaded from http:...

PhysicsBench - Physics modeling and code generation software


Physics modeling and code generation software

Anaphor-old - Modeling, code-generation and development tools


Modeling, code-generation and development tools

UML-Designer - Web-based UML modeling tool prototype with sentence generation


Web-based UML modeling tool prototype with sentence generation

Modeling Activity Diagram on Eclipse


This is a modeling tool generating code from activity diagrams. The main goal is to achieve a good code generation. I would like to have different possibilities like HTML mapping from diagrams and Java code generation (maybe others) chosen by the user.

dungeon-test - Testing procedural content generation for dungeons, etc.


Testing procedural content generation for dungeons, etc.

gravatar-java-test - Testing Gravatar.com and MD5 Hash generation for image retrieving


Testing Gravatar.com and MD5 Hash generation for image retrieving

T4 Unit Test Constructor


T4 Unit Test Constructor is a Text Transform file that generates complete Unit Testing project based on siblings projects inside a solution.

windowtester - Automatically exported from code.google.com/p/windowtester


WindowTester Pro is a UI test generation tool for testing SWT and Swing Java applications. WindowTester Pro eliminates the need to manually create test cases to test GUIs by automating the process of GUI testing. Using WindowTester Pro, developers can easily create tests for every GUI they create. The tests generated by WindowTester Pro are standard JUnit tests thus they can be run within your Eclipse environment or they can be automated to run using Ant. Typically, tests are recorded on projects within your Eclipse environment.

modelio-open


Modelio-Open is a project hosting a set of open source extensions (SoaML, SysML and UML Testing Profile) for a previous version (1.2) of the Modelio Free tool . Currently, the lastest version (2.x) of Modelio modeling and generation tool is available at http://modelio.org/downloads/download-modelio.html. All extensions are downloadable at http://forge.modelio.org/projects.

DanSharp XmlViewer


DanSharp XmlViewier is a lightweight XPath generation and testing tool, making it easy to generate and test XPath queries. It also allows for validation of Xml documents against schemas, display of Xml documents in tree-view format, and generation of BizUnit test cases. It...