Search Results for "git:/git.code.sf.net/p/docfetcher/code" - Page 4

The fast2armc program translates source code of a counter automata model for FAST(er) tool to the ARMC prolog syntax.

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.

Automated UI Tester for Adobe® ActionScript® is a pure ActionScript 3.0 SWF automation testing tool with the capability of recording user actions on an SWF file and playing them back with high fidelity. The API for this tool is provided with name “Genie” (Adobe internal code name for the tool). Some major features of this tool are • No instrumentation or application manipulation is required. • Automate pure ActionScript 3.0 SWF. • No source code access required. • No need to run inside any wrapper. • Works on web based apps and standalone SWF. • Performs native automation (no image dependency) thus making scripts reliable and lowering down maintenance cost...

...The Minimal Access Modifier of a Java type or type member is the most restrictive access modifier that is able to allow all actual usages of the particular type or member from inside a given code base (normally the entire source code of the respective Java project). The metric Inappropriate Generosity with Accessibility of Types (IGAT) indicates the proportion of those types which actual access modifier is more generous than the minimal one relative to the total number of types in a given source code subset. Analog the metric Inappropriate Generosity with Accessibility of Method (IGAM) indicates the proportion of those methods which actual access modifier is more generous than the minimal one relative to the total number of me

ClearCase UCM support for CodeCollaborator code review tool

SeaToad is a library to aid in concurrency and load testing of .NET code. Intended for use by developers or automation testers. For example, it makes a good second hand if you're trying to reproduce a concurrency issue. You can very quickly generate load representing one or more portions of the suspect code, while manually performing other tasks. Or perhaps you're worried about the performance of a particular stored procedure with load from an external source.

Crow is a ASPICE PAM-compliant requirements management and control tool with a special focus on maintaining the bilateral traceability between artifacts (CRS, TRS, architecture, design, code and tests) and tracing the impact of software change requests.

This project is primarily for testing and demonstrating ideas for an ultimate programming system, though it might very well become a very usable programming system in time. It is being developed with PowerBasic's PBWin7 compiler.

Hermes provides a powerful yet usable automation solution, making it the most popular Selenium framework in the world, with over 8,000 downloads. Create human readable, machine executable Selenese style tests in Excel. The world's first automation framework fully integrated with Selenium IDE, RC and GRID; yet built for humans. Be up and running using a feature rich Selenium RC framework in minutes. Hermes comes with advanced reporting, analysis, debugging and enterprise level Java...

This Project is intented to build a software to trace the behavior of specific Java code segments using JDI and then analize the data extracted from the trace.

SISSy is a platform for problem pattern identification in OO source code written in Java, C++ or Delphi. Problem patterns include the well-known bad smells as well as typical violations of good OO design principles and heuristics.

Justus is a tool set for Progress 4GL (ABL) Developers. It includes a simplified parser for 4GL, an API to load Profiler data and a Test Coverage Tool.

Smelly is an Eclipse plugin for detect bad smells in Java code.

Declude helps to decrease the number of includes in your C or C++ source code.

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.

Another Open Source Code Analysis Tool

DUnit automates unit testing of Delphi code. The target audience for DUnit is developers who are both writing the code to be tested and the unit tests for that code, an approach advocated by Extreme Programming. Dunit is is a Delphi port of JUnit.

A plug in for Eclipse that calculates metrics for your code during build cycles and warns you, via the Problems View, of 'range violations' for each metric. You may also export the metrics to various formats for further analysis.

...The out of container approach leads to short build-test-cycles, no container deployment is needed. Announcement: jp-mobile and Ejb3unit will go mobile, please visit jp-mobile (GWT based) website at: http://code.google.com/p/jp-mobile/

This project lists common Java programming errors. This project has mainly only documentation on this errors.

Code Coverage Tool For Oracle PL/SQL

Moved to Git Hub, https://github.com/SaikiranDaripelli/WsdlAuditor

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

A web based peer code review tool providing subversion integration, working against live repositories; Syntax highlighting for a wide variety of languages; File and repository level diffing; E-mail notifications. Groogle is a Web 2.0 LAMP application.

We've moved to GitHub! https://github.com/Karmabunny/pelzini Code documenter for PHP, JavaScript and C which uses a database to facilitate such features as Search! Written in PHP, and using MySQL, PostgreSQL or SQLite, Pelzini is the documentation tool of the future!