diTii.com Digital News Hub

Sign up with your email address to be the first to know about latest news and more.

I agree to have my personal information transfered to MailChimp (more information)

Jan292008

Microsoft dynamic analysis project

Microsoft Research is working on a project for dynamic analysis and test generation for .Net-based software development projects.

Pex, for Program EXploration, is an intelligent assistant to a programmer, according to a Microsoft Research Web page. It automatically generates unit tests to help find bugs early and also suggests to how to fix bugs.

The project enables a new development experience in the Microsoft Visual Studio Team System application lifecycle management platform by taking test-driven development to “the next level,” Microsoft Research said.

“From a parameterized unit test, it automatically produces traditional unit tests cases with high code coverage. Moreover, when a generated test fails, Pex can often suggest a bug fix,” Microsoft Research said.

With Pex, a systematic program analysis is performed, with detailed execution traces of existing test cases recorded. The software learns the program behavior from execution traces and a constraint solver produces new test cases with different behavior.

“The result is a minimal test suite with maximal code coverage. When a test fails, Pex uses detailed dataflow information to determine the root cause and a potential bug fix,” Microsoft Research said.

Full Article

Microsoft, Dynamics, Analysis, Dynamic Analysis, Project, Research, Microsoft Research, Microsoft Project, Pex, EXploration, .NET

Share This Story, Choose Your Platform!

Do NOT follow this link or you will be banned from the site!