Search Results for "c sharp typing source code project"

qpt (Qt Project Tool) understands Qt C++ projects (.pro) and allows to pass this information to command line tools as "Code Counters" and "Static Analysis tools". It also can used inside QtCreator to act as a plugin for "Static Analysis tools" putting reported issues into QtCreator issues pane.

ansvif, or A Not So Very Intelligent Fuzzer, suited to find bugs in code by throwing garbage arguments, files, and environment variables at the target program, that you may or may not have the source code to. It supports many features, such as buffer size, randomization of the buffer size, random data injection, templates, and much more. The purpose of this project is to identify bugs in software, specifically bugs that can induce a segmentation fault under various conditions. This aids...

XMLUnit 2.x Development Moved to GitHub XMLUnit provides help with testing code that creates or consumes XML. XMLUNit 2.x is available for both Java and .NET with a similar API. Development of this version has moved to a GitHub organization[1] with two git repositories for Java and .NET respectively. All discussion about XMLUnit independent of any version will happen on the XMLUnit general mailing list[2]. XMLUnit for Java 1.x is no longer maintained, please use the legacy...

Attention: code migrated to github: https://github.com/ngeor/w3c-nant NAnt task library written in C#. Validates HTML and CSS against the online W3C validation services. FTP NAnt tasks to upload and delete files on an FTP server. Separate NAnt-independent assembly to reuse in .NET projects.

bcov is a code coverage tool similar to gcov. Unlike gcov, it does not require recompiling the project for coverage. Coverage is determined by using temporary breakpoints, which causes minimal overhead. gcov produces a lcov style coverge report.

FireScrum is an intuitive and easy-to-use SCRUM projects management environment focused on Rich Internet Application(RIA) technology.

An open source system for managing the whole lifecycle of a software project.

FITpro is built upon the Framework for Integrated Test (Fit). It provides integration with Eclipse and MS VS, and web UI. FITpro advanced features include code generation, suite support, and test to fixture links. See project's Wiki for more informatio

Provides tools, supporting quality management or quality assurance for software: Assessment execution (ISO 15504 (SPiCE), AutomotiveSPiCE, CMMi), diff tool calculating sizes (SLoC) of diffs, identification of conditional compilation, and more.

nConfigure analyse all your csproj files in your .Net source tree to generate a correct build file. Migrated to https://code.google.com/p/nconfigure/

Vassert is a new feature from VMware Workstation. It is promising for developers to enhance code reliablity with less run-time cost. This project is a library to enable vassert usage under Linux guest os.

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

A framework for abstract access to CM / SCM / SCCM / ALM systems (Bugzilla, ClearCase, Mantis, StarTeam, etc.). The project offers one SDK for Bugzilla, ClearCase, Mantis, StarTeam, etc.

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

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.

This project has been renamed "pycopia", and extended. This is no longer maintained. Pycopia is hosted at Google code hosting. Please go to: http://code.google.com/p/pycopia/

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.

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...