- Is Microsoft preparing us to move beyond Vista?
- Why Google wanted to lose wireless spectrum auction
- iPhone shortage fuels rumors of imminent 3G phone
- XP for cheap PCs: a second crack in the wall
- Darts into data: Leveraging random action to competitive advantage
- Most iPhone buyers are existing Apple customers
- AT&T's so-called open network principles
- Mono dev tool offered
- ActiveState upgrades IDE
- Serena plans SaaS products
January 28, 2008 | Comments: (0)
Microsoft sets 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.
Microsoft has not set any date for release of any product based on Pex, a Microsoft representative said.
Posted by Paul Krill on January 28, 2008 07:37 PM
RATE THIS ARTICLE:
-
- COMMENTS
TOP STORIES
ADDITIONAL RESOURCES
- Do you have the power to resolve technical issues with one call?
- Take control of your content- leverage Microsoft SharePoint
- Keeping the E-Mail Flowing
- SGI Adaptive Data Warehouse: Building a High-End Oracle Data Warehouse
- Five Steps to Secure Outsourced Application Development
- Global Shared Memory: Performance and Productivity Breakthroughs
