Search Results for "state-thread" - Page 2

...Korat 2015 includes the below enhancements to Korat: - Graphical User Interface using Java Swing - Graph Output Format using JUNG (Java Universal Network/Graph Framework) - Finite State Machine Domain - Graph Archival using JSON (JavaScript Object Notation) The Wiki page has information to download, install and run Korat 2015.

We provide MATLAB and Verilog Models of GeAr, and previously proposed adders (ACA-I, ETAII, ACA-II and GDA) at http://sourceforge.net/projects/approxadderlib/ GeAr is a low latency Generic Accuracy Configurable Adder that provides a higher number of potential configurations compared to state-of-the-art approximate adders, thus enabling a high degree of flexibility and trade-off between performance and output quality. These MATALB and Verilog models can allow software programmer as well as hardware designers to evaluate their code and design. To the best of our knowledge, this is the first open-source library of approximate adders that facilitates reproducible comparisons and further research and development in this direction across various layers of design abstraction. ...

...And of course for Android and IOS too. Did you need this approach? You can support us saying you like this project and leaving a message, please. You can get the current state of the project with the next URL repository: https://svn.code.sf.net/p/dunitfmx/code/trunk We are going to appreciate all the support!

...Unit regressors are grouped into named regressor sets (or modules), and regressors are created by implementing specific regressor interfaces. These two features make regressors particularly amenable to testing analytics (and other similarly state-light) modules.

This Mutation Systems defines operators for mutating UML and variability models. In UML it supports the following diagram types: state machines, classes, composite structures, In variability modeling it supports feature models and feature mapping models.

ETICS stands for "eInfrastructure for Testing, Integration and Configuration of Software". It provides software professionals with an "out-of-the-box" build and test system, powered with a build and test product repository.

Record the state or behavior of live Java objects for playback during unit testing.

State Transition Test Creator creates a set of test cases to test the behaviour of a statemachine. Both statemachine and the derived tests are checked on consistency and completeness. Results are exported to clipboard or HTML.

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. SeaToad can run the...

The csvdatamix project aims to randomize CSV input data files in order to conceal the original state of the data. Similar to data masking or data transformation. Also has mapping abilities to translate back to the original state of the data.

Framework for profiling & early performance testing of J2SE, thread based applications. Integrates into the Maven build-cycle. Closely integrates with YourKit profiler to produce automatic CPU profiling of you application.

Objectreferenceanalyser (ORA) helps finding memory leaks, design weaknesses and bugs. The ORA-Framework visualizes objects, their content and relations during runtime of any Java application and is able to persist these findings for subsequent analyze.

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.

Test Automation is a C#-based application that manages projects, requirements, defects, test cases, test case run history, and facilitates automated testing.

For starting / stopping, getting state, etc. of the VmWare guests. Translate Java calls into vmware shell commands, which are then executed through a locale shell or through a secure remote shell on to the VmWare server console.

When testing using a database with rollback after each test, failing tests are very hard to resolve. Data Storm is a simple DB viewer directly launchable from within your test code to enable you to inspect the current state of the database.

Xcarecrows4MDA provides a complete toolset to build models and check their behavior for standalone applications or whole systems with a hierarchical, state driven approach. A test component checks the safety of the model under various situations.

FSMExplorer - Finite State Machine Explorer after reading specification of N FSM entities, generates available states for this FSM.

Blackbadger is a distributed ANT runtime for controlling and running tests against a large array of machines without complicated setup. Self-discovery and full Apache Ant integration, Blackbadger provides a distributed state machine.

junit-objects is an advanced object state-testing and profiling framework. junit-objects is different from Junit in that it allows you to assert the state of objects and design rather than the result of method calls.

A Database Unit Testing framework for .NET. Places the database in a given state ready for unit testing of database access code.

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.

SHIFT (State-HIerarchy Functional Testing) provides a new way to test your web apps. It extends other web testing frameworks to allow significantly better testing with less effort, and opens up new ways to test which have never been possible before.

Database Unit-Testing framework for .NET. puts your database into a known state before and between running tests

jsAssertUnit is a unit testing framework based on assertions, helping JavaScript developers to test their code. Failing assertions about the program state are tracked in a Reporter window of a DOM compliant browser : IE5+, Mozilla, Netscape 6+, etc.