1 / 13

Welcome to MDTC (Melbourne Developer Testing Community)

Welcome to MDTC (Melbourne Developer Testing Community). http://www.meetup.com/Developer-Testing @ melbdtc Raj A (Technical Lead – Lynx IT). Special thanks to Thought Works ® for hosting our group. http://www.thoughtworks.com/. Agenda. Microsoft Pex Lightning Talks / Questions

quasim
Download Presentation

Welcome to MDTC (Melbourne Developer Testing Community)

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Welcome to MDTC(Melbourne Developer Testing Community) http://www.meetup.com/Developer-Testing @melbdtc Raj A (Technical Lead – Lynx IT)

  2. Special thanks to ThoughtWorks® for hosting our group. http://www.thoughtworks.com/

  3. Agenda • Microsoft Pex • Lightning Talks / Questions • TelerikDev Craft licence. • Upcoming events

  4. Microsoft PEX Take away… • What’s Microsoft Pex, How to use it, and when to use it? • What is Code Digger, Pex4Fun • Where to look for more information.

  5. What’s Microsoft Pex? • Research Tool developed by Microsoft for Unit Testing. • White box Testing. • Auto generation of Unit Tests. • Parameterised Unit Testing.

  6. Pex replaces all Unit Tests?

  7. Demo

  8. Code Digger • Mini version of Pex for VS2012 • Separate downloadable extension.

  9. Demo

  10. Pex 4 Fun • Are you into Gaming? Pex For Fun http://pex4fun.com/

  11. Demo

  12. Techniques that Pex generate inputs • Dynamic Symbolic Execution • Constraint Solvers

  13. Thank You

More Related