19 projects tagged "Testing"
Rugg is a hard drive and filesystem harness tool that allows you to test and benchmark drives and filesystems by writing simple to complex scenarios that can mimic the behaviour of real-world applications. Test scenarios can be implemented using Rugg's compact and versatile domain specific language.
The MetaC programming language is a 100% backward compatible extension to the C language that adds reflections and the ability to analyze and modify C source code at compile time. It has been specially designed to search for arbitrary code structures and instantiate new source code. Typical applications for MetaC based meta-programs are development tasks concerning embedded and real-time software. Examples are API abstraction and retargeting to a new API (ever been locked to a vendor-specific API?), application specific debugging and profiling on an embedded target, and WCET measurements.
Atli is a scripting language interpreter originally meant to be a quick way to develop a particular application's scripting language. Atli can also be used to write shell-like scripts to do tasks. Atli is a weakly typed language in which variables do not need to be declared before use. All variables are stored as strings and converted between string and number form automatically. Atli provides interfaces to cooperate with applications, so applications can exchange data and instructions with atli through a callback function.
Java PathFinder is a system to verify executable Java bytecode programs. In its basic form, it is a Java Virtual Machine (JVM) that is used as an explicit state software model checker, systematically exploring all potential execution paths of a program to find violations of properties like deadlocks or unhandled exceptions. Unlike traditional debuggers, it reports the whole execution path that leads to a defect. It is especially suitable to find hard-to-test concurrency defects in multithreaded programs. The system is unique in terms of its configurability, enabling adaptation to the needs of specific test applications with respect to the properties to check, and with respect to abstraction mechanisms that can be used to improve scalability.
Groovy is an agile, dynamic language for the JVM which combines many features from languages like Python, Ruby, and Smalltalk and makes them available to Java developers using a Java-like syntax. It is designed to help get things done on the Java platform in a quicker, more concise, and fun way. It can be used as an alternative compiler to javac to generate standard Java bytecode to be used by any Java project or it can be used dynamically as an alternative language, such as for scripting Java objects, templating, or writing unit test cases.
rtldi is an ELF program interpreter that makes it possible for executables to use their own ld-linux.so.2 and libc.so.6 and associated shared libraries, independent of the default versions installed in /lib and any other executable. It facilitates the simultaneous interoperation of programs that were originally linked using different generations of glibc6. In theory it should not be necessary, but in practice glibc6 has not always been backward compatible.