Archive for the Category microsoft


Pex – dynamic analysis and test generation tool for .NET from Microsoft

Pex (Program EXploration) is an assistant to the programmer.Pex takes test-driven development to the next level. Pex analyzes .NET programs. From a parameterized unit test, it automatically generates unit tests cases with high code coverage. In addition,when a generated test fails, it suggests to the developer how to fix the bugs.



  1. With Pex, you can write parameterized unit test methods and leave to Pex the task of deciding which input is relevant to cover the code (or find bugs). Actually, parameterized unit tests are nothing but specifications. Pex integrates ‘naturally’ with existing unit test framework (VSTS, NUnit, MbUnit, etc…) by providing a set of custom attributes to tag Pex classes and tests.
  2. Call Pex directly from Visual Studio to start exploring the parameterized unit tests.
  3. Pex runs the parameterized unit tests with different input values. Pex monitors the execution and figures out why the program executed the way it did. This is represented as a boolean function over the test parameters. Pex then uses a constraint solver to compute new parameter values that make the program execute in a different way.
  4. From the parameterized unit tests, Pex generates classic unit tests that can be re-executed without Pex. Pex also tags the generated tests with additional information using attributes (for tools) and xml documentation (for humans).
  5. While exploring parameterized unit tests, Pex explicitly looks for program errors such as index out of bound or failing user assertions. Pex reports dynamically detected errors in the code.
  6. Sometimes Pex can automatically fix bugs! When a test fails, Pex traces back the involved values. Pex suggests additional checks to prevent the failure from happening again. Those checks are argument or invariant validation.
  7. Pex summarizes all the possible fixes in a prioritized table with quick preview.
  8. Pex integrates generated tests automatically inside the test project. Pex also avoids duplicate tests and recycles obsolete tests.
  9. Pex comes with a command line tool to execute any assembly containing Pex tests. Great for automation!
  10. Pex generates detailed HTML reports about the exploration process. The reports contains details about each generated tests, path conditions, suggested fixes, etc…
  11. Pex generates code coverage reports for each test.
  12. Pex has a built-in support for mocking interfaces and virtual methods. Pex generates the return values of mocked methods just like it generates test input for parameterized unit tests.

Watch the screencast

Technorati Tags: ,,

Microsoft SharedView

Microsoft SharedView is a fast, easy way to share documents and screen views with small groups of friends or coworkers.Share, review, and update documents with up to 15 people in real time.A Windows Live ID (Passport, Hotmail, or MSN) is required to start sessions, but not to join sessions.


  • Sharing an Application or Desktop
  • Previewing what Attendees See
  • Pointing and Highlighting
  • Taking Control
  • Tracking Results in Word
  • Using Handouts
  • Managing and Monitoring Participation


    Download MS SharedView

    Technorati Tags: ,,
  • Microsoft Sync Framework CTP1

    Microsoft Sync Framework is a comprehensive synchronization platform that enables collaboration and offline scenarios for applications, services and devices. Developers can build sync ecosystems that integrate any application, any type of data, using any protocol over any network. The Microsoft Sync Framework provides a platform for taking web services and databases offline. In addition, it provides optimized P2P sync of any type of file including contacts, music, videos, images and settings. The extensible framework includes built-in support for synchronizing relational databases, NTFS/FAT file systems, Simple Sharing Extensions for RSS/ATOM, devices and web services.


  • Add sync support to new and existing applications, services, and devices
  • Enable collaboration and offline capabilities for any application
  • Roam and share information from any data store, over any protocol, and over any network configuration
  • Leverage sync capabilities exposed in Microsoft technologies to create sync ecosystems
  • Extend the architecture to support custom data types including files

    Download Microsoft Sync Framework

    Technorati Tags: , ,


  • Windows Live Writer Beta 3(build 12.0.1277.0816) is available for download


    Microsoft announced the new beta of Windows Live Writer, this is the last beta before final release.

    Some features of this beta version:

    • Insert videos using our new ‘Insert Video’ dialog

    • Upload images to Picasaweb when publishing to your Blogger blog

    • Publish XHTML-style markup

    • Use Writer in 28 additional languages

    • Print your posts

    • Justify-align post text

    • Better image handling (fewer blurry images)

    • Resolved installation issues from last release

    • Many other bug fixes and enhancements

    Download Windows Live Writer Beta


    Please note that changes in this version may affect plug-in developers.Read more on this post


    If you can’t run WLInstaller – check out this post (in German) you find at bottom of the page direct link to WLW Beta 3(English).


    Technorati Tags: , ,

    Data Connectivity Components:2007 Office System Driver

    In case you need to read or write from/to MS Office System Files (e.g Access 2007 or Excel 2007) .This set of components from Microsoft can make your life easer .Connectivity to MS SharePoint Services and text files is also supported.

    Supported Operating Systems: Windows Server 2003 Service Pack 1; Windows Vista; Windows XP Service Pack 2

    Download Data Connectivity Components

    [Via Access Team Blog]

    Technorati tags: , ,

    Page 1 of 812345...Last »