Search Results for "snap7-full" - Page 3

...Two usage scenarios: 1) Execute workflow with specified parameters, and as result get list of passed nodes. Sample in WorkflowDirProcessorIntegrationTest Note: from all workflow functions only "wf:conf" is supported now. 2) Check called actions exists or build full call tree in xml format Sample in OozieWorkflowCheckerTest: You can override properties from "config-default.xml" and "job.properties" by file with name "override.properties"

XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)

C4J is a simple, powerful and non-intrusive tool that makes it easy to add contract verification of instances and methods of any Java class or interface, with full inheritance support. C4J brings Design By Contract to Java.

Screen capturing tool for Android handsets connected via USB to a desktop/laptop. It is great for fullscreen presentations, product demos, automatic screen recording, or just a single screenshot. Without root.

A very easy-to-use, but powerful unit testing suite for Pascal (FreePascal, Turbo Pascal, et al), conforming to the "Test-Anything Protocol" (TAP) specification used by Perl. Text-based, so it should work on any platform with few to no dependencies.

ViennaProfiler allows to compare execution times of full programs or parts of a program. Execution times are stored in a MySQL database and conveniently analyzed via a web-interface. A C++ client API is provided, other languages can also be used.

Pow! is a lightweight, but powerful utility to help stress-test your CPU and GPU. You can also use it check the warranty status of any serialized Apple product, view a summary of your computer’s hardware information, and more.

This is a template application that implements a "conversational" extended persistence context: with Spring and Maven: - Annotation-driven Hibernate mappings - Configuration of the AOP-based service layer - A unit- and integration-test framework

Writing Testbenches for FPGA/ASIC design is always a very fastidious and boring task. This project helps any FPGA/ASIC designer by providing a full RTL test environment with C support.

Blitz is a generic tool whose purpose is to maintain and execute test cases of arbitrary complexity. Blitz can be used either as a command-line tool or as a full-featured graphical user interface.

QtWine is a tool that provides a full-featured graphical user interface (GUI) for wine.

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.

Experior doesn't care what language your test program is written in. All it cares about is that each test's output begins and ends with a simple line of JSON. Your test program can validate its own output, in which case Experior just acts as a report engine. Alternatively -- or additionally -- you can write validation functions in JavaScript, and Experior will run them against the test output. Finally, Experior can compare your current test output against a copy of previous test output and...