Search Results for "arduino source code" - Page 9

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)

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 stored...

NUnit.Extensions is a collection of classes which assist with unit testing of .net code using NUnit. Please note that this is not part of the NUnit framework and is in no way endorsed or supported by the people who develop and support the NUnit frame

Java Assertions to Code (JAC) is the tool which is used to generate the code from contracts of the method in Java. COFOJA is used to write contracts and JDT is used to create abstract syntax tree for parsing and manipulation of Java file.

Code Conjurer is a tool which seamlessly integrates into the Eclipse Java development environment and uses the merobase code search engine to recommend software components for reuse. Update site: http://codeconjurer.sourceforge.net/eclipse-update

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...

Android Wordpress Theme

Atomic34 allows you to leverage the Selenium Testing framework for testing your site using a SiteDefinition DSL to generate objects representing your site. The generated code can then be used to write tests using strongly typed objects.

A simple C++ unit testing framework contained within a single header file. Minimal code is required for each new test.

Essais en SFML avec le C/C++.

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.

ClassMock is a tool for creating tests for components based on reflection and metadata in Java. It generate classes in runtime with the desired structure to be used in tests.

Mailster is a project aimed at testing software mail capabilities. It provides a mail server container to test emails sent by your apps without rewriting your application code.

Its an Eclipse 3.5 Plugin. It can be used to find linear paths for unit testing of any method. The linear path covers all the child methods and till leaf level of the hierarchy. The packages which should be covered in the path can be controlled.

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 spring utility that makes developing with spring a little easier by enabling, with minimal code, runtime wiring, static ApplicationContext access, easy spring application creation and FitNesse-Spring integration

Android Auto Tester utilizes Android's monkey runner and hierarchy viewer to automatically traverses the hierarchy of an Android application's GUI and simulates user inputs from the host side, without accessing the application's source code.

A framework that compares performance of different pieces of code. Available in four languages: c#.net (SharpKinoko), java (JKinoko), c (CKinoko) and c++ (CppKinoko)

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.

Logprocessor is a tool for analyzing log files in a rigorous and reliable way. You write a command file and the log file can be run though the tool resulting in pass/fail.

Chex4j allows you to document and enforce @pre and @post conditions of method calls with runtime or build time class file instrumentation. Conditions run as fast as normal code.

Runtime concurrency analysis for Java. Instruments your Java app at run time, and monitors field access, synchronization and locking, to verify concurrent access is safe.

Testar is a tool that reduces testing time for large Java unit test suites. It runs on top of JUnit and automatically selects individual tests to execute based on changes made to your code since the previous tool invocation.