Open Source Desktop Operating Systems QA Automation Software

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.

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

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.

FunCViz is a profiling tool generating function call graph, performance statics data,like function call time cost histogram,which may help you identify the bottleneck of the program's performance.

This profiler (JRE 1.5.0 only) uses JVMTI and native bytecode instrumentation for the analysis of the heap, reachable objects, execution time, garbage collection efficiency, code coverage and thread contention. No preparation steps required in build.

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

Testing complex systems calls for clear task management and control covering everything from defining test plans to writing test cases and recording results. QATraq provides the framework for task management and control, across the whole test process.

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.

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)