Search Results for "c++ programming language"

Automation of Unit and System Tests. Tests can be implemented in any language and on many platforms. The flexible approach enables the inclusion of many types of tests, such as memory leak checks (using valgrind), coding rule checks, complexity checks, etc. Tests are run by a simple call to hwut in a base directory of a project. In particular for C, HWUT supports make file generation using 'sos' and 'sols' modes.

A tool that detects the use of many constructs in Ada programs. Use it to control style or programming rules, but also as a powerful tool to search for use (or non-use) of various forms of programming styles or design patterns.

Provides C preprocessor macros for easily creating enums, foreach loops, switch-cases etc. based on data tables. Usage of these macros enforces good programming style by avoiding spreading of information throughout the code. Only for GCC at the moment, sorry. Maybe Clang ... not tested.

Automatic correction of software bugs announced in compilers (clang, gcc) / Static Code Analysis tools (cppcheck, FindBugs) and grammar/style errors like in LanguageTool. Usage: use tool (e.g. cppcheck) and store results in a text file. Afterwards call: autoreplacerplus mytextfile

SLOCCount is an easy-to-use tool that counts Source Lines of Code (SLOC). It auto-determines the language(s) (inc. C, C++, Ada, Assembly, shell, COBOL, C#, Fortran, Haskell, Java, LISP/Scheme, Perl, PHP, Python, Ruby, SQL). It also estimates cost & time.

A Python programming environment providing memory sizing, profiling and analysis, and a specification language that can formally specify aspects of Python programs and generate tests and documentation from a common source.

Bringing the awesomeness of The Grinder to the .Net community. Bringing the awesomeness of the .Net programming languages to the Grinder community. GrinderScript.Net is an open source project, that enables you to run load test written in a .Net language in The Grinder. It is not a port of The Grinder to the .Net platform.

RedCarpet is an object-oriented scripting language and framework that is very easy to understand and extend. RedCarpet has many built in features, and can be extended with custom commands in 5 mins - great for automated testing, specialized tasks etc.

RESOLVE is an integrated specification and programming language designed to develop component-based software that is fully specified and verified to be correct. It is one of the longest running software engineering projects in the USA.

Unit Test for C is a very useful and powerful software development tool for C and C++ programmers. It is designed to provide a great deal of functionality in a very small package and functions nearly identically on Windows and UNIX systems.

TSL-TGE -- Test Specification Language-Test Generation Engine Specify independent and dependent factors in an XML file, TSL. Then TGE makes substitutions of generated combinations into a template file. For use in Factorial Test Design.

QASL (Quality Assurance Scripting Language) is an open source, easy to use tool aimed towards both technical and non-technical users that provides a simple method for creating automated web application test scripts.

Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.

Orc is a embedded language for orchestrating concurrent and distributed programming. It can ensure safe, dead-lock free concurrent execution. This is an implementation of Orc semantics for the .NET framework.

xContract is suite of per-language libraries that provide facilities for defining and enforcing software contracts. Intended to be used, where desired, in release modes/builds, xContract emphasises efficiency in addition to clarity and succinctness.

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

The Project includes the TLA Language Package that defines the TLA+ language for VS 2005 IDE and the TLA Integration Package that adds menus in the VS 2005 IDE and assigns different functionalities to them.

Avignon is an acceptance test system that allows you to write executable tests in a language that you define. It uses XML to define the syntax of the language but, if you choose to extend the language, leaves the semantics of the tests up to you.

izh_test is a xUnit-like framework. Its advantages over existing alternatives are that it: 1) uses file compare for checking results of test 2) doesn't depend on partial program language using external xml test descriptions

SLOC.Net is a tool to count the Souce Lines Of Code (SLOC) for different programming languages. currently supported for C#, C++, C, VB.Net, VB6

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)

Find case inconsistencies in the source tree. May be useful for porting applications in any programming language from case-insensitive (like Windows) to case-sensitive (like Linux) runtime environment.

libcmle is a collection of templates and functions that help one to develop more secure and more stable C++ software. It currently is in pre-alpha stadium.

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 it even easier to write your code and find errors. ...

libeasycgi is designed to be an easy to use and ASP-like library for CGI programming. It will provide an interface for CGI programming in an ASP style and tries to go beyond this. Also, it is designed to be easy for automated test on CGI programs.