Code quality tools2. 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
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/