Pex--An Intelligent Assistant for Rigorous Developer Testing
Page 161
Abstract
Pex takes test-driven development to the next level. Pex analyzes .NET applications. From a parameterized unit test, which serves as a specification, it automatically produces traditional unit tests cases with high code coverage. Moreover, when a generated test fails, Pex can often suggest a bug fix. To do so Pex performs a systematic program analysis (similar to path bounded model-checking). It records detailed execution traces of test cases. Pex learns the program behavior from the traces, and a constraint solver produces new test cases with different behavior. The result is a minimal test suite with maximal code coverage.
Index Terms
- Pex--An Intelligent Assistant for Rigorous Developer Testing
Recommendations
Pex: white box test generation for .NET
TAP'08: Proceedings of the 2nd international conference on Tests and proofsPex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution, similar to path-bounded model-checking) to determine test inputs for ...
Parameterized unit testing with Pex
TAP'08: Proceedings of the 2nd international conference on Tests and proofsThis hands-on tutorial will teach the principles of Parameterized Unit Testing [5,4] with Pex [2], an automatic test input generator for .NET which performs a systematic program analysis, similar to path bounded model-checking.
A parameterized unit test ...
Comments
Information & Contributors
Information
Published In
July 2007
375 pages
ISBN:0769528953
Publisher
IEEE Computer Society
United States
Publication History
Published: 11 July 2007
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 21 Sep 2024