NewsBot
1
http://research.microsoft.com/Pex/
Pex (Program EXploration) is an intelligent assistant to the programmer. From a parameterized unit test, it automatically produces a traditional unit test suite with high code coverage. In addition, it suggests to the programmer how to fix the bugs. Watch the screencast!
Pex generates Unit Tests from hand-written Parameterized Unit Tests through Automated Exploratory Testing based on Dynamic Symbolic Execution.
•** Unit Tests: parameterless methods that test a single unit of code
•** Parameterized Unit Tests: same as above, but with parameters
•** Automated Exploratory Testing: A tool-supported process of running, learning and testing code at the same time
•** Dynamic Symbolic Execution: A combination of static analysis and runtime monitoring to compute test inputs
More...
View All Our Microsoft Related Feeds
Pex (Program EXploration) is an intelligent assistant to the programmer. From a parameterized unit test, it automatically produces a traditional unit test suite with high code coverage. In addition, it suggests to the programmer how to fix the bugs. Watch the screencast!
Pex generates Unit Tests from hand-written Parameterized Unit Tests through Automated Exploratory Testing based on Dynamic Symbolic Execution.
•** Unit Tests: parameterless methods that test a single unit of code
•** Parameterized Unit Tests: same as above, but with parameters
•** Automated Exploratory Testing: A tool-supported process of running, learning and testing code at the same time
•** Dynamic Symbolic Execution: A combination of static analysis and runtime monitoring to compute test inputs
More...
View All Our Microsoft Related Feeds