White box testing with PEX

sbrakl

Rate me:

5.00/5 (2 votes)

3 Jan 2013CPOL14 min read

23.9K

139

Problems related to maintenance of Unit test suites, using PEX tp help with the solution, and various PEX concepts like PEX Factories, PEX Method (PUT), Parameterize Mock and Partial Stubs.

SampleApp-CodeProject.zip
- Sample App - CodeProject
  - DAL
    - DAL.cs
    - DAL.csproj
    - IDAL.cs
    - Properties
      - AssemblyInfo.cs
  - Entity
    - Entity.csproj
    - NotEligibleException.cs
    - Person.cs
    - Policy.cs
    - Properties
      - AssemblyInfo.cs
  - Insurer.PexTests
    - DAL.moles
    - Factories
      - InsurerFactory.cs
      - PersonFactory.cs
    - Insurer.moles
    - Insurer.PexTests.csproj
    - MolesAssemblies
      - DAL.Moles.dll
      - DAL.Moles.xml
      - Insurer.Moles.dll
      - Insurer.Moles.xml
    - Properties
      - AssemblyInfo.cs
      - PexAssemblyInfo.cs
    - SampleApp
  - Insurer.Test
    - Framework
      - SpecFor.cs
    - Insurer.Test.csproj
    - Insurer.Test.csproj.user
    - InsurerTest.cs
    - InsurerTest01.cs
    - Properties
      - AssemblyInfo.cs
  - Insurer
    - Insurer.cs
    - Insurer.csproj
    - MiscClass1.cs
    - Properties
      - AssemblyInfo.cs
  - ReadMe.txt
  - Reference Assemblies
    - NSubstitute
      - NET35
        
        NSubstitute.dll
        
        NSubstitute.XML
      - NET40
        
        NSubstitute.dll
        
        NSubstitute.XML
  - SampleApp.Model
    - ModelDefinition
      - SampleApp.Model.uml
    - SampleApp.layerdiagram
    - SampleApp.layerdiagram.layout
    - SampleApp.layerdiagram.suppressions
    - SampleApp.Model.modelproj
  - SampleApp.sln
SampleApp-CodeProject-noexe.zip
- DAL.cs
- DAL.csproj
- IDAL.cs
- AssemblyInfo.cs
- Entity.csproj
- NotEligibleException.cs
- Person.cs
- Policy.cs
- AssemblyInfo.cs
- DAL.moles
- InsurerFactory.cs
- PersonFactory.cs
- Insurer.moles
- Insurer.PexTests.csproj
- DAL.Moles.xml
- Insurer.Moles.xml
- AssemblyInfo.cs
- PexAssemblyInfo.cs
- InsurerPexTest.cs
- InsurerPexTest.GetInsureAmount.g.cs
- InsurerPexTest.GetInsureAmount01.g.cs
- InsurerPexTest.IsPersonEligible.g.cs
- StringExtensionsPexTest.cs
- StringExtensionsPexTest.TrimEnd.g.cs
- SpecFor.cs
- Insurer.Test.csproj
- Insurer.Test.csproj.user
- InsurerTest.cs
- InsurerTest01.cs
- AssemblyInfo.cs
- Insurer.cs
- Insurer.csproj
- MiscClass1.cs
- AssemblyInfo.cs
- ReadMe.txt
- NSubstitute.XML
- NSubstitute.XML
- SampleApp.Model.uml
- SampleApp.layerdiagram
- SampleApp.layerdiagram.layout
- SampleApp.layerdiagram.suppressions
- SampleApp.Model.modelproj
- SampleApp.sln

This is Sample App prepared by Shabbir to demonstrate the following
1. PUT - Parametrize Unit Test
2. Usage of Moles
3. Parametrize Mock which take part in Pex Symbolic execution
4. Use of moles to mock dependencies and setup there return on take part in Symbolic execution

By viewing downloads associated with this article you agree to the Terms of Service and the article's licence.

If a file you wish to view isn't highlighted, and is a text file (not binary), please let us know and we'll add colourisation support for it.

License

This article, along with any associated source code and files, is licensed under The Code Project Open License (CPOL)

Written By

sbrakl

Architect TATA Communications

India

This member has not yet provided a Biography. Assume it's interesting and varied, and probably something to do with programming.

White box testing with PEX

License

Comments and Discussions