Talk at http://www.itbooze.com.ua/

1. Code quality tools
C#
Oleksandr Pavlyshak
pavlyshak@gmail.com
2011

2. FxCop, VS Code Analysis
• Static analysis
• Analyzes compiled assembly (dll, exe)
• Finds violations of programming and design
rules
• http://msdn.microsoft.com/en-us/library/3z0aeatx.aspx

3. Gendarme
• Static analysis
• Analyzes compiled assembly (dll, exe)
• Finds violations of programming and design
rules
• http://mono-project.com/Gendarme

4. StyleCop
• Static analysis
• Analyzes C# source code
• Finds code style and consistency violations
• http://stylecop.codeplex.com/

5. NDepend
• Analyses compiled assembly (dll, exe)
• Measure, visualize and query source code
quality
• http://www.ndepend.com/

6. Pex
• Dynamic analysis
• Analyzes code branches at runtime
• Generates inputs to achieve max coverage
• Generates test cases
• http://research.microsoft.com/en-us/projects/pex/

7. Code Contracts
• Static checker
• Analyzes compiled assembly (dll, exe)
• Reports formal contract violations
• http://research.microsoft.com/en-us/projects/contracts/

8. FsCheck
• Randomly generates test inputs
• Generates test cases based on program
specifications
• Port of Haskell's QuickCheck
• http://fscheck.codeplex.com/

9. Simian
• Analyzes source code
• Detects duplication
• http://www.harukizaemon.com/simian/index.html