Search Results for "gnu science"

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. Remote control-able function stubs may be generated using the 'stub' mode....

DuploQ is a GUI frontend for Duplo duplicate finder console tool. Its goal is to find duplicates (i.e. copy-pasted parts of code) across several source files. Locating and eliminating source code duplicates is an important part of the overall refactoring process which leads to decreasing a project's technical dept and increasing stability of the software.

Priorty Estimation Tool (PriEsT) is a decision analysis tool. You can use it for ranking the options you have, or alternatively, you may use it for resource allocation (budgeting) problems. In PriEsT, you enter a list of available options and then define your criteria for prioritization. After defining criteria, PriEsT allows you to enter your judgements against each criterion, which are then used to calculate the final ranking (or weights). Please cite this if you find it...

This framework supports a wide variety of model-based GUI testing techniques. The innovation lies in the architecture of GUITAR, which uses plug-ins to support flexibility and extensibility. Software developers and quality assurance engineers may use this architecture to create new toolchains, new workflows based on the toolchains, and plug in a variety of measurement tools to conduct GUI testing. More detail is presented in this publication: GUITAR: An Innovative Tool for Automated...

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.

NPEDetector is a tool for statically detecting the dereferences in Java programs that are safe and those that could potentially result in NullPointerException. Designed to be a sound verifier, NPEDetector guarantees the safety of proven dereferences but could imprecisely flag safe dereferences as faulty. NPEDetector is built using WALA, Watson Libraries For Analysis.

jHelpDesk is a simple, flexible and extremely easy to use software for supporting company's helpdesk team.

Korat is a tool for constraint-based generation of structurally complex test inputs for Java programs.

Easy-to-use fault injection tool for testing robustness of software to faults that originate in shared libraries and the layers below. LFI minimizes human effort involved in testing and does not require access to the target program's source code.

Dresden OCLallows to query arbitrary EMF-based models. It provides an advanced OCL2 Editor, a Parser, an Interpreter, and a Codegenerator for Java and SQL. WE MOVED TO GITHUB. PLEASE VISIT https://github.com/dresden-ocl/dresdenocl

Automated Fuzztests for JUnit

Quality of Web Services (QoWS) workbench is a service design workbench, which supports QoS analysis. It provides functionalities to analyze service compositions and their non-functional requirements in the early stages of development.

Eclipse-based software that enables the quality analysis and performance evaluation for the models of business processes (BPEL and BPMN).

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.

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.

Data generator tool which supports many data types (primitive data types,but also names,addresses,post codes,etc.) and generates data in various formats (text,xml,db).It provides a GUI and is extensible by means of plugging-in new data-generator classes.

SymtaP is a performance analysis tool to determine the worst case execution time for embedded real time applications.

Kelp is a source code annotation framework. Written in strict ISO C90 with support for Posix and Windows environments. Large file support. Supports both 32 and 64 bit platforms. Plugins for Vim and Eclipse are available.

ClasspathHelper provides eclipse plugins that determine classpath/classloading related dependencies such as unresolved references, blocked/obscured clases as well as unreferenced classes/jars. ClasspathHelper can model most classloading scenarios.

ASLA (Automated software license analyzer) is a tool for finding and identifying licenses of existing software packages.

This project aims to develop a prototype system that explores how we should re-invision computer system design based on changes in how people get the software that they run, as well as advances in static analysis of software.

sarface is a user-interface to the sysstat/sar database which inputs data from sar and plots to a live X11 graph via gnuplot. It mimics the cmd-line options from sar but can cross-plot any two or more stats and apply simple mathematical functions them.

The SE TestManager is a tool to manage manual tests (e.g. behavior of GUI applications) in the software development process. You can create test cases and structure them in a tree. The SE TestManager guides you through the test and generates a PDF report

MERMAID is an object-oriented domain modeling tool to create enterprise models using an UML class diagram, an object-event table and finite state machines. The CASE tool checks view consistency, has XMI support and code generation abilities.

MuLATo is a Java application for collecting metrics from programs written in several languages. The core module provides parsers for Java, AspectJ and CaesarJ programs and can be extended for other languages. Currently, the GUI is being developed as an E