Search Results for "linux operating systems"

Jepsen is a framework for testing the correctness of distributed systems, especially under network partitions, concurrency, and failures. It is widely used to verify the consistency and availability guarantees of databases, consensus systems, and other distributed architectures. Jepsen simulates real-world failure conditions and analyzes the system’s behavior using linearizability and other formal models.

SAFS is a software test automation framework supporting data-driven (aka keyword-driven) functional test automation and associated services. The framework can run stand-alone on Windows, Linux, and Mac as well as integrate the use of IBM Rational Functional Tester, IBM Rational Robot, Smart Bear/AutomatedQA Test Complete, Apple XCode UIAutomation, Android SDK Automaton, Thoughtworks Selenium, and several other tools. Among other features, it provides advanced support of language...

The Software Testing Automation Framework (STAF) is a framework designed to improve the level of reuse and automation in test cases and test environments. The goal of STAF is to provide a complete end-to-end automation solution for testers.

This project aims to provide a linux kernel regression test framework which will provide a systematic way to find a regression of the Linux Kernel.

STUBborn C is a tool that allows you to create a module test framework for SW modules developed in C. The framework includes: Stubs needed to link the module; A sample Makefile to build, run tests and check code coverage; Test templates using CUnit.

Automated Test Framework for Embedded Software: A system to perform test scripts 'in system' on embedded software. It uses Python as a high level description language and interfaces with GDB to communicate with the embedded platform.

Built on top of the CuTest framework, utf automates many of the tedious steps required to create a suite of test and makes it easy to test existing code not structured for unit testing.