Pex
Edit Page
Report
Scan day: 03 March 2014 UTC
8
Virus safety - good
Description: A tool that performs a systematic program analysis and automatically generates test suites with high code coverage. [Proprietary]
Pex, Automated White box Testing for .NET - Microsoft Research Pex and Moles - Isolation and White box Unit Testing for .NET Code Digger for Visual Studio 2012 and 2013 is a lightweight version of Pex that allows you to explore public .NET methods in Portable Class Libraries directly from the code editor. Under the hood, Code Digger uses the
Size: 343 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Pex, Automated White box Testing for .NET - Microsoft Research |
| Keywords: | |
| Description: | Pex enables a new development experience in Visual Studio Team System, taking test-driven development to the next level. Pex analyzes .NET applications. 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. Pex performs a systematic program analysis. It records detailed execution traces of existing test cases. Pex learns the program behavior from the 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. |
| IP-address: | 131.107.65.14 |
WHOIS Info
| NS | Name Server: NS1.MSFT.NET Name Server: NS2.MSFT.NET Name Server: NS3.MSFT.NET Name Server: NS4.MSFT.NET Name Server: NS5.MSFT.NET |
| WHOIS | Status: clientDeleteProhibited Status: clientTransferProhibited Status: clientUpdateProhibited Status: serverDeleteProhibited Status: serverTransferProhibited Status: serverUpdateProhibited |
| Date | Creation Date: 02-may-1991 Expiration Date: 03-may-2021 |