NModel Wiki & Documentation Rss Feed

Updated Wiki: Documentation

oriver — Wed, 09 Jun 2010 15:41:09 GMT

GML Utility

Input: a graphical model - see the attached png file as an example

output: A file with the C# code of the model which can be built and execute using NModel utilities (mpv, otg)

Updated Wiki: Documentation

oriver — Sun, 06 Jun 2010 07:09:40 GMT

GML Utility

Input: a graphical model - see the attached png file as an example

output: A file with the C# code of the model which can be built and execute using NModel utilities (mpv, otg)

Updated Wiki: Documentation

oriver — Thu, 03 Jun 2010 12:32:18 GMT

GML Utility

Input: a graphical model - see the attached png file as an example

output: A file with the C# code of the model which can be built and execute using NModel utilities (mpv, otg)

Updated Wiki: Documentation

oriver — Thu, 03 Jun 2010 12:30:38 GMT

GML Utility

Input: a graphical model - see the attached image as an example

output: A file with the C# code of the model which can be built and execute using NModel utilities (mpv, otg)

Updated Wiki: Home

jon — Fri, 05 Feb 2010 04:54:40 GMT

A library of attributes and data types for writing model programs in C#
A visualization and analysis tool mpv (Model Program Viewer)
An alternative visualization tool mp2dot (Model Program to Dot)
A test generation tool otg (Offline Test Generator)
A test runner tool ct (Conformance Tester), for both offline and on-the-fly testing
A collection of examples that demonstrate how to use NModel.

The library also exposes the functionality of mpv, otg, ct and more, so you may write your own tools which are more closely adapted to your environment, or which provide other capabilities.

To use NModel, you must write your own model program in C# that models your implementation. Then you can use the mpv tool to visualize and analyze the behavior of your model program, in order to confirm that it behaves as you intend, and to check for design errors. To execute tests using the test runner ct, you must write a test harness in C# that couples your implementation to the tool. (The implementation does not have to be written in C# and does not have to use .NET.) You can use the test generator otg to create tests from your model program in advance, or let ct generate the test on-the-fly from your model program as the test run executes. If you wish, you can write a custom strategy in C# that ct uses to maximize coverage according to criteria you define. To express scenarios, you can dispense with C# and write simple finite state machines (FSMs), then use composition to achieve scenario control during testing or to check temporal properties during analysis. You can build up model programs from separate features or use composition to combine model programs in a well-structured way.

A good way to get started is to install NModel, download the reference manual and samples from Releases, and try some of the examples.

NModel requires .NET, but does not require Visual Studio.

NModel pages at Codeplex:

Installing NModel
NModel Examples
Model Programs
Composition
NModel Library
Model Program Viewer (mpv)
Model Program to Dot (mp2dot)
Offline Test Generator (otg)
Conformance Tester (ct)
Building NModel
NModel Reference (45-page PDF document, download from Releases)

Also:

NModel pages elsewhere:

Model-based Software Testing and Analysis with C# (book that uses and explains NModel)

Other projects:

PyModel: model-based testing in Python

New Comment on "Installing NModel"

jpe — Tue, 05 Jan 2010 11:05:27 GMT

It is possible to run all but mpv.exe using Mono in Linux and Solaris (whereever a recent version of Mono compiles). GLEE dll-s use native calls to Windows GDI libraries and that does not work out of the box with just Mono. You may need to consider a Wine based solution for running mpv on non-windows platforms. For the time being you need to unpack the files from NModel.msi. It can be done using p7zip with command line "7z x NModel.msi". Then unpack Product.cab with "7z x Product.cab". Next rename the files (they come with dots removed).

Updated Wiki: Home

jon — Fri, 11 Sep 2009 19:34:14 GMT

A library of attributes and data types for writing model programs in C#
A visualization and analysis tool mpv (Model Program Viewer)
An alternative visualization tool mp2dot (Model Program to Dot)
A test generation tool otg (Offline Test Generator)
A test runner tool ct (Conformance Tester), for both offline and on-the-fly testing
A collection of examples that demonstrate how to use NModel.

Installing NModel
NModel Examples
Model Programs
Composition
NModel Library
Model Program Viewer (mpv)
Model Program to Dot (mp2dot)
Offline Test Generator (otg)
Conformance Tester (ct)
Building NModel
NModel Reference (45-page PDF document, download from Releases)

Also:

NModel pages elsewhere:

Model-based Software Testing and Analysis with C# (book that uses and explains NModel)

Updated Wiki: Publications

jon — Fri, 11 Sep 2009 19:09:54 GMT

Books

Model-based Software Testing and Analysis with C#. Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte. Cambridge University Press, 2008. Authors' page, publisher's page.

Papers

Ernits, J. Kaaramees, M. Raiend, K. Kull, A., Requirements-driven model-based testing of the IP multimedia subsystem, in
BEC 2008: 11th International Biennial Baltic Electronics Conference, Oct. 2008. Publication.

Juhan Ernits, Margus Veanes, and Johannes Helander, Model-Based Testing of Robots with NModel, in TestCom/FATES 2008 Short Papers, June 2008. Preprint.

Margus Veanes and Wolfram Schulte, Protocol Modeling with Model Program Composition, in FORTE'08, LNCS 5048, Springer Verlag, June 2008. Preprint,publication.

Margus Veanes, Juhan Ernits, and Colin Campbell, State Isomorphism in Model Programs with Abstract Data Structures, in FORTE'07, LNCS 4574, Springer Verlag, June 2007. Preprint, publication.

See also Presentations

Updated Wiki: Presentations

jon — Fri, 11 Sep 2009 19:08:25 GMT

Talks

Jonathan Jacky, Automated Testing in Your Favorite Language, keynote at Test Automation Workshop 2009 (TAW09), Bond University, Queensland, Australia, August 2009.

Jonathan Jacky, Model-based Software Testing and Analysis with C# and NModel, tutorial at TestCom/FATES 2007, Tallinn, Estonia, June 2007.

See also Publications

Updated Wiki: Presentations

jon — Fri, 11 Sep 2009 19:06:56 GMT

Talks

Updated Wiki: Presentations

jon — Fri, 11 Sep 2009 19:05:46 GMT

Talks

Updated Wiki: Presentations

jon — Fri, 11 Sep 2009 18:48:50 GMT

Talks

Updated Wiki: Presentations

jon — Fri, 11 Sep 2009 18:37:54 GMT

Talks

Updated Wiki: Presentations

jon — Fri, 11 Sep 2009 18:25:58 GMT

Talks

Jonathan Jacky, Model-based Software Testing and Analysis with C# and NModel, tutorial at TestCom/FATES 2007, Tallinn, Estonia, June 2007.

Jonathan Jacky, Automated Testing in Your Favorite Language, keynote at Test Automation Workshop 2009 (TAW09), Bond University, Queensland, Australia, August 2009.

Updated Wiki: Presentations

jon — Fri, 11 Sep 2009 18:09:31 GMT

Talks

Jonathan Jacky, Automated Testing in Your Favorite Language, at Test Automation Workshop 2009 (TAW09), Bond University, Queensland, Australia, August 2009.

Updated Wiki: Presentations

jon — Fri, 11 Sep 2009 18:08:37 GMT

Talks

Jonathan Jacky, Automated Testing in Your Favorite Language, at Test Automation Workshop 2009 (TAW09), Bond University, Queensland, Australia, 2009.

Updated Wiki: Presentations

jon — Fri, 11 Sep 2009 18:02:47 GMT

Talks

Jonathan Jacky, Automated Testing in Your Favorite Language, Test Automation Workshop 2009 (TAW09), Bond University, Queensland, Australia, 2009.

Updated Wiki: Presentations

jon — Fri, 11 Sep 2009 17:56:59 GMT

Talks

Jonathan Jacky, Automated Testing in Your Favorite Language, Test Automation Workshop 2009 (TAW09), Bond University, Queensland, Australia, 2009.

Updated Wiki: Presentations

jon — Fri, 11 Sep 2009 17:54:17 GMT

Talks

Jonathan Jacky, Automated Testing in Your Favorite Language, Test Automation Workshop 2009 (TAW09), Bond University, Queensland, Australia, 2009.

Updated Wiki: Home

jon — Fri, 11 Sep 2009 17:40:02 GMT

NModel is a model-based testing and analysis framework for model programs written in C#. It is explained and used in the book Model-based Software Testing and Analysis with C#.

In constrast with conventional unit testing, where a test engineer must code each test case, model-based testing is recommended where so many test cases are needed that it would be infeasible to code them all by hand. It is especially indicated for testing behaviors with data- and history-dependence and nondeterminism, where many different variations (data values, interleavings etc.) should be tested for each scenario (or use case). Model-based testing has been applied to communication protocols, web applications, embedded control systems, and graphical user interfaces.

A model program acts as an executable specification for another program or system, called the implementation. Usually the model program is much smaller and simpler than the implementation. The model program can be analyzed to check for errors in the design, can generate test cases for the implementation, and can serve as the oracle that provides the correct results when testing the implementation. The implementation does not have to be written in C# and does not have to use .NET.

The NModel release includes:

A library of attributes and data types for writing model programs in C#
A visualization and analysis tool mpv (Model Program Viewer)
An alternative visualization tool mp2dot (Model Program to Dot)
A test generation tool otg (Offline Test Generator)
A test runner tool ct (Conformance Tester), for both offline and on-the-fly testing
A collection of examples that demonstrate how to use NModel.

The library also exposes the functionality of mpv, otg, ct and more, so you may write your own tools which are more closely adapted to your environment, or which provide other capabilities.

To use NModel, you must write your own model program in C# that models your implementation. Then you can use the mpv tool to visualize and analyze the behavior of your model program, in order to confirm that it behaves as you intend, and to check for design errors. To execute tests using the test runner ct, you must write a test harness in C# that couples your implementation to the tool. You can use the test generator otg to create tests from your model program in advance, or let ct generate the test on-the-fly from your model program as the test run executes. If you wish, you can write a custom strategy in C# that ct uses to maximize coverage according to criteria you define. To express scenarios, you can dispense with C# and write simple finite state machines (FSMs), then use composition to achieve scenario control during testing or to check temporal properties during analysis. You can build up model programs from separate features or use composition to combine model programs in a well-structured way.

A good way to get started is to install NModel, download the reference manual and samples from Releases, and try some of the examples.

NModel requires .NET, but does not require Visual Studio.

NModel pages at Codeplex:

Installing NModel
NModel Examples
Model Programs
Composition
NModel Library
Model Program Viewer (mpv)
Model Program to Dot (mp2dot)
Offline Test Generator (otg)
Conformance Tester (ct)
Building NModel
NModel Reference (45-page PDF document, download from Releases)

Also:

NModel pages elsewhere:

Model-based Software Testing and Analysis with C# (book that uses and explains NModel)