Search Results for "beta"

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.

A simple win forms application written in C# that allows a user to enter a string and the number of time it should be repeated and then send it to the users clipboard. This is useful for software testers wanting to generate long strings or strings with specific patterns for use in black box testing.

ESpin, a SPIN-based model checking plugin upon Eclipse. The editor has full support of the syntax rules of Promela, and also provides the function of real-time syntax feedback, keywords highlight, outline view, code folding, hinting and completion, greatly improving the modeling efficiency of complex models. Additionally, ESpin provides multiple operation mode and unique configuration interfaces, which simplifies the operation process of SPIN.

EDoC++ is both a lint-like tool and a documentation tool that specialises in analysing and documenting the use of exceptions in C++ code.

PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)