NModel Forum Rss Feed

New Post: Help Regarding Modelling the Specifications

NagendraV — Wed, 27 Feb 2013 18:13:59 GMT

Hi All

This is Nagendra. I am new to Model Based Testing. Can anyone help me how to model web applications.

Thanks in Advance
NagendraV

New Post: After installed GLEE, and run example got FileNotFoundException

jpe — Wed, 31 Oct 2012 07:28:43 GMT

Hi!

You will need to copy the GLEE dll-s to the directory where your model dll-s and mpv.exe are. Then it should be found.

jpe

New Post: After installed GLEE, and run example got FileNotFoundException

vNext2012 — Wed, 31 Oct 2012 05:19:20 GMT

after installed GLEE for everyone option,

and run example NewsReader, mpv @mpv_args.txt got error

Unexpected error occurred.

Unhandled exception: System.IO.FileNotFoundException: can not load assembly 'Microsoft
.GLEE.Drawing, Version=1.2.0.0, Culture=neutral, PublicKeyToken=8a3d7c21d5fa1306
' or dependency。 system file not found。
file name: 'Microsoft.GLEE.Drawing, Version=1.2.0.0, Culture=neutral, PublicKeyTo
ken=8a3d7c21d5fa1306'
於 NModel.Visualization.CommandLineViewer.RunWithCommandLineArguments(String[
] args)
in NModel.Tools.MPV.Main(String[] args)

New Post: Can't use ‘out’ parameters in actions.

jpe — Tue, 25 Oct 2011 09:59:09 GMT

Hi Banil!

You have to keep in mind that action arguments are generated by the underlying infrastructure in NModel. Your task is to define the domains of the variables and then the system goes and in principle tries all combinations of values to action arguments based on the current state of the model program and the domains of variables. Thus, if you want to influence the value of an action argument, you have to change the state of the program in an action body so that the argument generation (action guard) for the _Finish action would get your desired result in the argument.

Look at the Bag, ClientServer, Graphics and WebApplication examples for the use of split actions.

You do touch upon an important issue in your question, though. If your actions are atomic, then indeed you have to have additional states or state variables to enforce the atomicity of a action_Start() action_Finish() pair. But in very many cases, the atomicity assumption does not hold, and other actions can trigger while some action is waiting to finish.

Cheers,

jpe

New Post: offline testing of reactive systems

jpe — Tue, 25 Oct 2011 09:33:40 GMT

Hi Ali!

To test a reactive system you have to write a harness (also known as 'adapter') that converts the actions in the model (test sequence) to messages sent to the embedded system and vice versa.

Look for Stepper.cs files in samples. You will have to write a similar stepper for your embedded system.

Cheers,

Jpe

New Post: offline testing of reactive systems

khalili — Wed, 19 Oct 2011 12:57:42 GMT

Hi,

I would like to use NModel (or a similar tool like Spec Explorer, etc.) to test an embedded reactive system. As the system is embedded, it seems I have to generate the program code to test it (not just the test sequence) and also due to reactive nature of the system, the test case is not just a -linear- sequence of actions, but a tree (in which the branches show the non-determinism of observable events). How could be the procedure and how can I write the adapter to generate the adapter to do this?

All the best,

Ali.

New Post: Can't use ‘out’ parameters in actions.

banil — Sat, 09 Jul 2011 07:21:38 GMT

jpe,

Not sure if I follow this clearly.

"Having out parameters in actions would be in conflict with action guards." Why..?

- Guard (enabling condition) would not depend upon value in an out parameter (because existing value of out parameter should be ignored) [Cant make the same statement for byref though]

- And then, there is perhaps a way to do this also. Page 288 in the book says, "an enabling condition method may have fewer arguments than (but no more than) its associated action method". So, one can code enabling condition without an out parameter.

Even if there is a conflict, I completely missed the workaround.

Are you suggesting:

a) writing something like [Action(Start="testOut_Start()", Finish="testOut(param)"]. [but then in this case, this is normally done internally by the tool, isn't it?], or

b) creating 2 separate actions in the model as:

[Action]

static void testOut_Start() {...}, and

[Action]

static int testOut_Finish() {...}

In case suggestion is b), then there would be another couple of issues:

- what if there are more than one out parameters in original problem [static void testOut(out int param1, out int param2)]. Of course, one can create a type deriving from CompoundValue to wrap these up, and have that as a return type. I am not sure how that would work in the Stepper though.

- by creating 2 separate actions, there is a possibility that some other actions can get interleaved between Start, and Finish. Preventing this would need an additional state variable to check if Start has been called, and Finish is yet to be called. But then, every action with 'out' parameters would introduce another such state variables. And every action other than this one would need some adjustment in its enabling condition. Maintaining model with adding these conditions onto existing enabling conditions would be difficult.

A concrete sample would be really helpful in understanding the workaround.

Thanks

New Post: Project still alive?

jarz — Thu, 05 May 2011 14:20:34 GMT

Hi jpe,

No worries, I was just curious about the state of the project. Since I'm about to finish undergrad, I'm trying to find some side projects.

Tim

New Post: Project still alive?

jpe — Wed, 04 May 2011 11:04:37 GMT

Hi Tim!

The project is still alive. There is an issue regarding loading models split between several assemblies that needs to be sorted out before the next release. This issue is assigned to me and resolving it has been delayed due to a severe illness of a close family member. Please check back soon as I have started work on resolving the issue.

jpe

New Post: Project still alive?

jarz — Thu, 28 Apr 2011 21:26:37 GMT

I spent time working with Spec Explorer 2010 over the past few months and was glad to see something open-source in the .NET world. Looking at source check-ins it seems like nothing is happening. Is anyone interested in NModel anymore?

Best,

Tim

New Post: exception occurs when executing mpv

minhquang104 — Tue, 24 Aug 2010 13:56:09 GMT

Hi jpe,

Thanks for your effort! Hopefully, the bug will be fixed soon.

New Post: exception occurs when executing mpv

jpe — Tue, 24 Aug 2010 12:58:49 GMT

Hi!

I can reproduce the problem now after having installed updates to the Windows 7 x64 I was experimenting in.

It seems that the modification to the GDI libraries of Windows 7 that cause the problem you describe were introduced with recent windows updates. NModel works fine in vanilla Windows 7 x64 but with updates it fails with the error you describe. It appears to be a problem related to how native Windows GDI APIs are called from the GLEE library. We will try to contact the people behind GLEE to see if they can provide a fix.

There is now a bug report for this issue. Thanks for reporting it!

-- jpe

New Post: exception occurs when executing mpv

minhquang104 — Tue, 24 Aug 2010 09:01:16 GMT

Hi jpe,

Thanks for your reply. My OS is Windows 7 64 bit.

The exception problem also occurs when I launch mpv for the samples. Here are the steps I did:

- Open C:\Samples\NewsReader\NewsReader.sln with Visual Studio 2008

- In Visual Studio: build that solution

- In C:\Samples\NewsReader\bin I can see all these .DLL files

Microsoft.GLEE.dll

Microsoft.GLEE.Drawing.dll

Microsoft.GLEE.GraphViewerGDI.dll

NewsReaderImpl.dll

NewsReaderModel.dll

NModel.dll

NModel.Visualization.dll

- In the C:\Samples\NewsReader\bin folder, I execute the console command

mpv /r:NewsReaderModel.dll NewsReader.Factory.CreateNewsReader

=> The above mentioned exception occurs

Any suggestions?

New Post: exception occurs when executing mpv

minhquang104 — Tue, 24 Aug 2010 09:01:16 GMT

Hi jpe,

Thanks for your reply. My OS is Windows 7 64 bit.

The exception problem also occurs when I launch mpv for the samples. Here are the steps I did:

- Open C:\Samples\NewsReader\NewsReader.sln with Visual Studio 2008

- In Visual Studio: build that solution

- In C:\Samples\NewsReader\bin I can see all these .DLL files

Microsoft.GLEE.dll

Microsoft.GLEE.Drawing.dll

Microsoft.GLEE.GraphViewerGDI.dll

NewsReaderImpl.dll

NewsReaderModel.dll

NModel.dll

NModel.Visualization.dll

- In the C:\Samples\NewsReader\bin folder, I execute the console command

mpv /r:NewsReaderModel.dll NewsReader.Factory.CreateNewsReader

=> The above mentioned exception occurs

Any suggestions?

New Post: exception occurs when executing mpv

jpe — Mon, 23 Aug 2010 14:32:10 GMT

Dear minhquang104,

What model are you using? The NewsReader sample from Samples.zip does not contain any code for producing NewsReaderUI.dll nor does it use NewsReaderUI namespace. Please post the code that is causing the problems. The default NewsReader sample seems to work fine on 64 bit Windows 7.

New Post: exception occurs when executing mpv

minhquang104 — Sun, 22 Aug 2010 13:06:53 GMT

Hi everyone,

I have problems with executing mpv

NModel, GLEE are installed. When I start mpv in the console:

mpv /r:NewsReaderUI.dll NewsReaderUI.Factory.CreateNewsReader

mpv starts but then a dialog box pops up with an error message:

"Unhandled exception has occured in a component in your application.....Parameter is not valid"

Details:

See the end of this message for details on invoking
just-in-time (JIT) debugging instead of this dialog box.

************** Exception Text **************
System.ArgumentException: Parameter is not valid.
   at System.Drawing.Graphics.set_Transform(Matrix value)
   at Microsoft.Glee.GraphViewerGdi.GViewer.DotOnPaint(Graphics g, Boolean forPrinting)
   at System.Windows.Forms.Control.PaintWithErrorHandling(PaintEventArgs e, Int16 layer, Boolean disposeEventArgs)
   at System.Windows.Forms.Control.WmPaint(Message& m)
   at System.Windows.Forms.Control.WndProc(Message& m)
   at System.Windows.Forms.Control.ControlNativeWindow.WndProc(Message& m)
   at System.Windows.Forms.NativeWindow.Callback(IntPtr hWnd, Int32 msg, IntPtr wparam, IntPtr lparam)

************** Loaded Assemblies **************
mscorlib
    Assembly Version: 2.0.0.0
    Win32 Version: 2.0.50727.4952 (win7RTMGDR.050727-4900)
    CodeBase: file:///C:/Windows/Microsoft.NET/Framework64/v2.0.50727/mscorlib.dll
----------------------------------------
mpv
    Assembly Version: 1.0.0.0
    Win32 Version: 1.0.0.0
    CodeBase: file:///C:/Program%20Files%20(x86)/NModel/bin/mpv.exe
----------------------------------------
NModel
    Assembly Version: 1.0.21029.0
    Win32 Version: 1.0.21029.0
    CodeBase: file:///C:/Program%20Files%20(x86)/NModel/bin/NModel.DLL
----------------------------------------
NModel.Visualization
    Assembly Version: 1.0.21029.0
    Win32 Version: 1.0.21029.0
    CodeBase: file:///C:/Program%20Files%20(x86)/NModel/bin/NModel.Visualization.DLL
----------------------------------------
System.Windows.Forms
    Assembly Version: 2.0.0.0
    Win32 Version: 2.0.50727.4927 (NetFXspW7.050727-4900)
    CodeBase: file:///C:/Windows/assembly/GAC_MSIL/System.Windows.Forms/2.0.0.0__b77a5c561934e089/System.Windows.Forms.dll
----------------------------------------
System
    Assembly Version: 2.0.0.0
    Win32 Version: 2.0.50727.4927 (NetFXspW7.050727-4900)
    CodeBase: file:///C:/Windows/assembly/GAC_MSIL/System/2.0.0.0__b77a5c561934e089/System.dll
----------------------------------------
System.Drawing
    Assembly Version: 2.0.0.0
    Win32 Version: 2.0.50727.4927 (NetFXspW7.050727-4900)
    CodeBase: file:///C:/Windows/assembly/GAC_MSIL/System.Drawing/2.0.0.0__b03f5f7f11d50a3a/System.Drawing.dll
----------------------------------------
Microsoft.GLEE.Drawing
    Assembly Version: 1.2.0.0
    Win32 Version: 1.0.0.0
    CodeBase: file:///C:/Program%20Files%20(x86)/NModel/bin/Microsoft.GLEE.Drawing.DLL
----------------------------------------
NewsReaderModel
    Assembly Version: 0.0.0.0
    Win32 Version: 0.0.0.0
    CodeBase: file:///C:/Users/minhquang104/Desktop/Quang/NModel/Samples/NewsReader/bin/NewsReaderModel.dll
----------------------------------------
System.Configuration
    Assembly Version: 2.0.0.0
    Win32 Version: 2.0.50727.4927 (NetFXspW7.050727-4900)
    CodeBase: file:///C:/Windows/assembly/GAC_MSIL/System.Configuration/2.0.0.0__b03f5f7f11d50a3a/System.Configuration.dll
----------------------------------------
System.Xml
    Assembly Version: 2.0.0.0
    Win32 Version: 2.0.50727.4927 (NetFXspW7.050727-4900)
    CodeBase: file:///C:/Windows/assembly/GAC_MSIL/System.Xml/2.0.0.0__b77a5c561934e089/System.Xml.dll
----------------------------------------
Accessibility
    Assembly Version: 2.0.0.0
    Win32 Version: 2.0.50727.4927 (NetFXspW7.050727-4900)
    CodeBase: file:///C:/Windows/assembly/GAC_MSIL/Accessibility/2.0.0.0__b03f5f7f11d50a3a/Accessibility.dll
----------------------------------------
Microsoft.Glee.GraphViewerGDI
    Assembly Version: 1.2.0.0
    Win32 Version: 1.0.0.0
    CodeBase: file:///C:/Program%20Files%20(x86)/NModel/bin/Microsoft.Glee.GraphViewerGDI.DLL
----------------------------------------
Microsoft.GLEE
    Assembly Version: 1.2.0.0
    Win32 Version: 1.0.0.0
    CodeBase: file:///C:/Program%20Files%20(x86)/NModel/bin/Microsoft.GLEE.DLL
----------------------------------------
System.Design
    Assembly Version: 2.0.0.0
    Win32 Version: 2.0.50727.4927 (NetFXspW7.050727-4900)
    CodeBase: file:///C:/Windows/assembly/GAC_MSIL/System.Design/2.0.0.0__b03f5f7f11d50a3a/System.Design.dll
----------------------------------------

************** JIT Debugging **************
To enable just-in-time (JIT) debugging, the .config file for this
application or computer (machine.config) must have the
jitDebugging value set in the system.windows.forms section.
The application must also be compiled with debugging
enabled.

For example:

<configuration>
    <system.windows.forms jitDebugging="true" />
</configuration>

When JIT debugging is enabled, any unhandled exception
will be sent to the JIT debugger registered on the computer
rather than be handled by this dialog box.

Has anyone ever encounter this problem?

New Post: Testing techniques

sajolly — Mon, 14 Jun 2010 20:55:37 GMT

Hello Everyone!

Can anyone tell me which testing criteria NModel follows to generate test cases, e.g. Boundary Value Analysis, Equivalence Partitioning and so on or which coverage criteria it follows e.g. Statement Coverage, Edge Coverage and so on? Does it depend on the model program which we need to create @ first? Please let me know. I need this information to start working with it.

Shahnewaz

New Post: Graphical models with NModel

oriver — Sun, 06 Jun 2010 07:13:12 GMT

Sujithra, GML utility is now in the source code repository. It will be included in NModel's next official release (this summer).

I believe that developers can download the source code and build it, but as you know, the source code is less stable than an official release.

The graphical models that GML accepts currently are EFSM (Extended Finite State Machine) models.

I pasted the GML utility's README file (that is also in the source code repository) under the wiki's GML document (http://nmodel.codeplex.com/Wiki/Info.aspx?title=Documentation&action=Info) where you can get more info for how to use it.

Other Model-Based-Testing forums: apart from forums like this one which you can find for other MBT tools as well, there are a few MBT general forums like this Yahoo group: http://tech.groups.yahoo.com/group/model-based-testing/, and a ModelBasedTesting group in LinkedIn.

Ofer

New Post: Graphical models with NModel

Sujithra — Fri, 04 Jun 2010 03:57:05 GMT

Hi All,

Are there any other forums like this where discussions about model based testing are going on?If you have an idea or know what are the forums please post the names of those forums or discussion links.Thanks in advance.

New Post: Graphical models with NModel

Sujithra — Fri, 04 Jun 2010 03:48:21 GMT

@oriver,

Thanks sir..So u mean to say using GML.exe, I can visually create the model (as an FSM or so) as u showed in the diagram and it will generate the c# model code and the test cases? It ll be great if u can explain more in detail sir..Also,please can u tel me from where I can download the GML.exe .Kindly help.Thanks in advance.