|
Sponsored Links
Resources
.NET Research Library
Get .NET related white papers, case studies and webcasts
|
News
News
News
|
Messages: 1
Messages: 1
Messages: 1
Printer friendly
Printer friendly
Printer friendly
Post reply
Post reply
Post reply
XML
XML
XML
|
 |
Model-Based Testing with NModel
In model-based testing you let a model of the system drive the testing. In 2008 a free open source toolset was released by Microsoft Research accompanied by the book Model-based Software Testing and Analysis with C#. The toolset runs on .NET and comprises a model viewer for the state-transition graph, a test generator and a test runner for offline and online testing.
Making the model in C# is half the work, the other half is construction of a test harness (a stepper). I have made a remote stepper for testing implementations in other languages and other platforms than C# and .NET, in which a RemoteStepperProxy communicates with a remote stepper over TCP and receives asynchronous observations over UDP.
The NModelRS-1.0.0 is released under Apache 2.0 license and contains a .NET proxy, a Java remote stepper (and a file stepper) and a test harness for the ATMExample in the book Practical Model-Based Testing: A Tools Approach. You can find it at http://nmodelrs.berlios.de/ where the remote stepper and the example is presented.
|
|
|
Message #333473
Post reply
Post reply
Post reply
Go to top
Go to top
Go to top
|
|
Entrepreneurship
Thus, the Federal Institute for Geo-sciences, German coal reserves for decades, with 23-24 billion tons had indicated. In 2004 it was downgraded to 183 million tons, reducing by 99 percent. Also in the lignite, there was dramatic entrepreneurship devaluations of more than 80 percent. Germany is the largest lignite-sponsor of the world. Similar trends, though not quite so massive, there are, for example, in Britain or Poland.
|
|
|
| |
|
| New content on TheServerSide.NETNew content on TheServerSide.NETNew content on TheServerSide.NET |
|
|
Language "mashups" will become more prominent, and developers will become polyglots, one programmer suggests.
SearchWinDevelopment.com offers an introduction to the language, performance, testing and data management improvements in VS 2008.
VBCode.com code snippets cover all aspects of application development, from data binding to security to the user interface.
Get up to date on XAML best practices with a variety of articles, tutorials and webcasts. [SearchWinDevelopment.com]
One team's experience with the VSTS DB edition suggests that it can improve workflow for dev teams. It also enhanced Agile efforts.
(June 24, Article)
Microsoft has begun to include DSL tools in the VSTS kit. A new book by Steve Cook and other VSTS team members helps set the stage.
(June 24, Article)
Cartoon: Be it ever so humble there is no place like your home after you get a Microsoft Home Server .
(June 18, Cartoon)
Microsoft's Thom Robbins says new technology to highlight in NET 3.5 includes AJAX, LINQ for both C# and VB, as well as tooling enhancements intended to ease the task of building WPF, WF and WCF apps.
(June 29, Podcast)
Venkat Subramaniam discusses AJAX bottlenecks, the tenets of Agile development and more. He spoke at the Ajax Experience.
(June 25, Tech Talk)
In the second of a two-part series, Michele Leroux Bustamente discusses design decisions related to the claims-based security model. Read the story and walk through the process for creating a set of claims-based utilities to encapsulate claims authorization at the service tier.
(May 24, Article)
Understanding why the Entity Framework exists and learning where it can fit into your projects can get you prepared for the eventual release early next year.
(May 10, Article)
Resource: This learning guide gives you quick access to useful links on Windows Communication Foundation security information.
(April 24, Article)
TSS.NET's Jack Vaughan spoke recently spoke with Microsoft's Brad Abrams to find out what he is seeing in the field and what the chefs in Redmond are cooking. Along the way he discusses patterns of AJAX frameworks.
(April 11, Article)
In a two-part series, Michele Leroux Bustamente explains how claims-based security is supported by WCF, and how you can implement a claims-based security model for your services.
(March 29, Article)
Windows Workflow Foundation is a new technology that many developers will need to get their heads around. In a brief excerpt adapted from Programming Windows Workflow Foundation: Practical WF Techniques and Examples using XAML and C#, K.Scott Allen considers aspects of workflow definition.
(March 22, Chapter Excerpt)
|
|
