Search Results for "executable"

JVM-based program & library for installation testing. Helps determine what changed during an installation/removal or similar process. ChangeScan has been rewritten in Kotlin. Its new home is here: https://github.com/william-hood/ChangeScan

Coarrays are native Fortran means for SPMD parallel programming. At runtime multiple copies of the executable (called images) are executing asynchronously. The F2008 standard provides coarray syntax, remote calls, coarray data objects, allocatable coarrays, syncronisation, atomics, etc. F2018 adds new functionality, e.g. collectives, teams, events, more atomics. Coarrays are used extensively in CASUP library for HPC (https://cgpack.sourceforge.io).

The package 'epyunit' provides extensions for PyUnit and PyDev. * Extensions for PyUnit - Unittests for arbitrary executables. * Extensions for PyDev - Automation of search and load of pydevd.py The extensions are applicable from commandline and/or within Eclipse. Online manuals: - https://pythonhosted.org/epyunit/ PyPi repository: - https://pypi.python.org/pypi/epyunit Current application examples are: - bash-core - http://bash-core.sourceforge.net Nickname -...

SNMP Simulator is a software that would act like a multitude of real physical devices from SNMP Manager's point of view. Simulator builds and uses a database of physical devices' SNMP footprints to respond like their real counterparts do. Project moved to GitHub: https://github.com/etingof/snmpsim

The main goal of this framework is to make requirements executable and useable for all project-participants. Customer can execute requirements and define domain specific tests. The programmer can debug bugs. Project manager can analyse executed requirements & automated tests and estimate project progress.

Cutplace validates tabular data (CSV, fixed format) according to an interface control document (ICD). The ICD acts as executable specification and can be described using popular spreadsheet applications (Calc, Excel).

A portable testing tool to validate the configuration of XA and two-phase commit for Java EE 6 Containers. The tool permits the stress-testing, performance characterization and correct transaction semantics of distributed transactions across Three XA resource managers by Exception Injection. The thin-client can be run from the command-line or inside the IDE. The server side component includes EJB packaging and some simple Web servlet support for retrieving diagnostic and performance data...

The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.

Specter is an object-behaviour specification framework for .NET and Mono. It enables behavior driven development (BDD) by allowing developers to write executable specifications for their objects, before actually implementing them.

A file comparator with special knowledge of binary formats such as Windows executable (.exe), object (.obj), and library (.lib) plus Unix .a (archive) files. It knows how to ignore datestamps and other fields which don't affect the file's behavior.

Libraries and tools to support software design using executable code as specifications, to support Test Driven Development and other Agile methods.

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.