PeX - Parameterized Unit Tests in Visual Studio
نویسنده
چکیده
The following seminar paper is dealing with the recently released new test tool PeX by Microsoft Reseach, which stands short for Program Exploration. The main idea behind it is based on Parameterized Unit Tests, a concept trying to get along with some issues evolving from standard unit tests by supporting the developer with the possibility to let PeX automatically explore the possible execution paths of the code under test and examine the results against a self written specification of the expected behaviour. This white-box testing approach often results in a high code coverage and can help find issues with unhandled exceptions or missed corner cases in the range of possible inputs.
منابع مشابه
Parameterized Unit Testing in the Open Source Wild
With recent advances in test generation research, powerful test generation tools are now at the fingertips of developers in software industry. For example, Microsoft Research Pex, a state-of-the-art tool based on dynamic symbolic execution, has been shipped as IntelliTest in Visual Studio 2015. For test inputs automatically generated by such tool, to supply test oracles (beyond just uncaught ru...
متن کاملPex-White Box Test Generation for .NET
Pex 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 pathbounded model-checking) to determine test inputs for Parameterized Unit Tests. Pex learns the program behavior by monitoring execution traces. Pex uses a constraint solver to produce new test inputs wh...
متن کاملSynthesizing Parameterized Unit Tests to Detect Object Invariant Violations
Automatic test case generation techniques rely on a description of the input data that the unit under test is intended to handle. For heap data structures, such a description is typically expressed as some form of object invariant. If a program may create structures that violate the invariant, the test data generated using the invariant systematically ignores possible inputs and, thus, potentia...
متن کاملAn Empirical Study of Test Generalization in NUnit Framework
Owing to the significance of unit testing in software development life cycle, there are several existing approaches on automating the generation of conventional unit tests. However, these approaches often fail to generate a minimal set of test cases for ensuring a high code coverage and manually writing such test cases is a labor-intensive task. To address these preceding issues with convention...
متن کاملSymbolic Query Exploration
We study the problem of generating a database and parameters for a given parameterized SQL query satisfying a given test condition. We introduce a formal background theory that includes arithmetic, tuples, and sets, and translate the generation problem into a satisfiability or model generation problem modulo the background theory. We use the satisfiability modulo theories (SMT) solver Z3 in the...
متن کامل