Microsoft is a mammoth company and ever so often the release tools and free things that I would never be without on my system… Here are a list of them in no particular order.. Do you spend your days writing tests? if so this next one is for you.. Spec Explorer
Features & BenefitsSpec Explorer 2010 is a tool that extends Visual Studio for modeling software behavior, analyzing that behavior by graphical visualization, model checking, and generating standalone test code from models. Behavior is modeled in two ways: by writing rules in C# (with dynamic data-defined state spaces) and by defining model scenarios as action patterns in a regular-expression style. One of Spec Explorer’s major features is the ability to compose models written in these two styles. This technique enables users to slice out test cases from large state machines to achieve test purposes by defining relevant scenarios, thus tackling the notorious state-space explosion problem that is so pervasive in model-based testing. Spec Explorer also supports combinatorial interaction testing with a rich set of features.
Probabilistic Programming got you down ? Try Infer.Net
Infer.NET is a framework for running Bayesian inference in graphical models. It can also be used for probabilistic programming as shown in the video above. Infer.NET can solve many different kinds of machine learning problems, from standard problems like classification or clustering through to customized solutions to domain-specific problems. Infer.NET is currently being used in a wide variety of areas including information retrieval, bioinformatics, epidemiology, vision, and others. Here’s a short example quoted from Mr. Winn found athttp://research.microsoft.com/en-us/um/cambridge/projects/infernet/docs/A%20simple%20example.aspx “Here is an example of using Infer.NET to work out the probability of getting both heads when tossing two fair coins.Read more: XAML Refugees Design Blog XAML
Features & BenefitsSpec Explorer 2010 is a tool that extends Visual Studio for modeling software behavior, analyzing that behavior by graphical visualization, model checking, and generating standalone test code from models. Behavior is modeled in two ways: by writing rules in C# (with dynamic data-defined state spaces) and by defining model scenarios as action patterns in a regular-expression style. One of Spec Explorer’s major features is the ability to compose models written in these two styles. This technique enables users to slice out test cases from large state machines to achieve test purposes by defining relevant scenarios, thus tackling the notorious state-space explosion problem that is so pervasive in model-based testing. Spec Explorer also supports combinatorial interaction testing with a rich set of features.
Infer.NET is a framework for running Bayesian inference in graphical models. It can also be used for probabilistic programming as shown in the video above. Infer.NET can solve many different kinds of machine learning problems, from standard problems like classification or clustering through to customized solutions to domain-specific problems. Infer.NET is currently being used in a wide variety of areas including information retrieval, bioinformatics, epidemiology, vision, and others. Here’s a short example quoted from Mr. Winn found athttp://research.microsoft.com/en-us/um/cambridge/projects/infernet/docs/A%20simple%20example.aspx “Here is an example of using Infer.NET to work out the probability of getting both heads when tossing two fair coins.Read more: XAML Refugees Design Blog XAML
Posts
0 comments:
Post a Comment