Search Results for "c# source code example" - Page 2

Code Distance Visualizer is a static program analyzer. It learns patterns in user defined faulty and correct code instances and using visualization indicates which fragments in a program’s source code are the most similar to these instances.

CheckSharp is a development tool written in C# for checking C# code against coding guidelines. CheckSharp comes with an Nant task and a command line version to automate checking of source code for one file or a couple of projects.

STDL (Structured test description language) is a domain-specific testing language that is used to auto-generate unit test code. It supports a myriad of output languages (incl. C#). The project's aim is that of reducing the resources required for testing

CppNcss provides various measurements (also known as metrics) by statically analyzing C++ source code, mainly aiming at evaluating maintainability.

Source code template library for encapsulation of highly-visible program data. Provides storage, access control, and duplication. Enforces modular access pattern, restricting normal functions from object access. Also protects simple objects and POD.

Kideia aims to provide tools and a knowledge-base for software engineers to measure and increase the quality of software on source code level.

Given YACC-like and LEX-like input files, yagg generates a C++ program that generates all strings of a user-specified length. yagg is easy to use, and provides a means of generating test inputs or validating a parser grammar by inspecting the strings.

Codemon is a testing tool that enables code coverage of C codes. It supports the level of Decision Coverage and Condition Coverage.

StubDb is a suggested approach to unit testing your data-access code, without having to rely on a physical database containing test data.

Duplicated source code can harm maintainability of software systems. Duplo is a tool to find duplicated code blocks in large C, C++, Java, C# and VB.Net systems.

Round Trip Engineering Objects. Reverse object oriented source code (Java, C#, PHP5) into XOL (XML Object Language) DOM repository.Validate syntax using XML Schema. XSLT for code refactoring & code generation. IDE Editors available (Eclipse plugin)

MiniCppUnit another C++ port of the famous JUnit framework for unit testing. Unlike CppUnit, MiniCppUnit follows a minimalistic aproach: The basic features are the same but in only bout 500 lines of code! No library instalation is needed, etc.

The DBC framework uses reflection to inspect a type, it then generates source for a proxy object containing checks on predicates in attributes attached to members of the type. Proxy code is compiled into an in-mem assembly used to enforce DBC rules.

This is a small software to review source formatting and generate tips. It is very simple and it is based on regular expressions rules.

A simple code checker for looking if your code is becoming brittle, hard to extend or to mantain. It is not a substitution for PMD, it is rather a "first line" immediate checker for violations. See also http://limacat.blogspot.com/search/label/scc

This package will allow people to check, change, update the license of their projects. It will conform to all new licenses available.

Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes...

CQSAT is a powerful, comprehensive and extensible framework for static analysis of program source code and detection of software defects.