Search Results for "state machine c"
Sort By:
Showing 33 open source projects for "state machine c"
View related business solutions-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
1
stress-ng
This is the stress-ng upstream project git repository.
This is the stress-ng upstream project git repository. stress-ng will stress test a computer system in various selectable ways. It was designed to exercise various physical subsystems of a computer as well as the various operating system kernel interfaces. stress-ng was originally intended to make a machine work hard and trip hardware issues such as thermal overruns as well as operating system bugs that only occur when a system is being thrashed hard. Use stress-ng with caution as some of... -
2
Raspberry_Quemu_forWindows
This is QEMU virtual machine with Raspbian OS for students KNUCA
Це віртуальна машина QEMU із зібраною операційною системою Raspbian для емуляції Raspberry Pi на Windows 7, 8, 10. Використовується для занять з робототехніки в Київському національному університеті будівництва і архітектури. pi/raspberry -
3
Bluepill
Bluepill is a reliable iOS testing tool that runs UI tests
Bluepill is a tool to run iOS tests in parallel using multiple simulators. The exit code of Bluepill uses bit indicators that could represent multiple exit statuses. If you're using Fastlane to run your tests, you're in luck! You can integrate Bluepill into your project with very little change to your existing setup. Just integrate one of the following Fastlane plugins, and you'll be on your way. Bluepill is a reliable iOS testing tool that runs UI tests using multiple simulators on a single... -
4
Classic HWUT - rename of previous HWUT
Software Unit Tests (Language Independent Approach)
...The flexible approach enables the inclusion of many types of tests, such as memory leak checks (using valgrind), coding rule checks, complexity checks, etc. Tests are run by a simple call to hwut in a base directory of a project. In particular for C, HWUT supports make file generation using 'sos' and 'sols' modes. Remote control-able function stubs may be generated using the 'stub' mode. Test cases can be generated using the 'gen' mode, and state machine walkers by the 'sm_walker' mode. Over the last decade HWUT has matured towards a full fledged unit test tool for a wide variety of applications. -
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
5
FLEX (Flipboard Explorer)
An in-app debugging and exploration tool for iOS
FLEX (Flipboard Explorer) is a set of in-app debugging and exploration tools for iOS development. When presented, FLEX shows a toolbar that lives in a window above your application. From this toolbar, you can view and modify nearly every piece of state in your running application. Access any live object via a scan of the heap. View the file system within your app's sandbox. Browse SQLite/Realm databases in the file system. Trigger 3D touch in the simulator using the control, shift, and... -
6
EarlGrey
iOS UI Automation Test Framework
EarlGrey is a native iOS UI automation test framework that enables you to write clear, concise tests. With the EarlGrey framework, you have access to enhanced synchronization features. EarlGrey automatically synchronizes with the UI, network requests, and various queues; but still allows you to manually implement customized timings, if needed. EarlGrey’s synchronization features help to ensure that the UI is in a steady state before actions are performed. This greatly increases test... -
7
UDPStressTest
A Desktop app for network stress testing, TCP-Ping and icmp ping.
Easy to use GUI app. *It reads your active and Up NIC and gets some info about it. * You can see your machine IP Address, gateway, subnet mask. * You can ping any ip address you want and get measure of TTL. * It gets the available range of IP's in your local network. * When you start the test you see testing throughput as a graph against time also total size of packet sent in (MB). *You can use it as DOS attack tool. *Every action done on the app is logged in XML file as data source... -
8
VBScript Development Kit (VDK)
A VBScript development library for serious VBScript programmers
The VBScript Development Kit (VDK) is a VBScript compliant development library to be used in any host that has support for Windows Script Host (WSH). Modelled after the Java Development Kit (JDK), the VDK adds programming features/concepts prevalent in other higher order programming languages such as Java, C#, etc. The VDK provides rapid development capabilities by providing out of the box support for many common programming activities e.g., string manipulation and handling, file... -
9
Chronological Cohesive Units
The experimental source code for the paper
The experimental source code for the paper, "A Novel Recommendation Approach Based on Chronological Cohesive Units in Content Consuming" -
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
10
ProTest
A minimalistic test framework written in C++.
A minimalistic test framework written in C++ providing scenario based, stateful acceptance testing where application user interface is mocked using test stubs. Refer to Sample.cpp for usage guidance. The sample defines a simple application class, fake user interface implementing the same abstract interface as the application requires, a test context to hold test state and pass it on among steps, and a few test steps. -
11
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.
-
12
FAST Simulations
An Open source Analysis and SImulation Toolbox for Fuel Cells
FAST is an Analysis and Simulation Toolbox (FAST) for Fuel Cells (FC) FAST-FC is the doctorate work of David B. Harvey and was developed with support from the U.S. DOE, Ballard, and Queen's University. Derivative works of FAST-FC include FC-APOLLO which is a forked branch of this project intended to capture the code state at the exit of the funded DOE project. FAST-FC is the open and active community branch. FAST-FC is developed and maintained by the original creator and... -
13
Korat2015
Enhanced Korat supports GUI, FSM, JUNG and JSON.
...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. -
14
Regression Suite
Test suite with unit regrssion and execution statistics
RegressionSuite is a software test suite that incorporates measurement of the startup lag, measurement of accurate execution times, generating execution statistics, customized input distributions, and processable regression specific details as part of the regular unit tests. Essentially, RegressionSuite provides the frame-work around which the individual unit regressors are invoked (and details and statistics collected). Unit regressors are grouped into named regressor sets (or modules),... -
15
Quickthreads
A simple threads toolkit with a portable interface
A multi threading management library -
16
Bug Finder
A real Win32 extensible passive debugger
This project born a few years ago when I encountered a fatal bug on a production environment, unfortunately not replicable on my development machine. I spent many time finding a solution, using also freeware and commercial third-party tools and libraries, but none helped me because the bug crashed the process, and no of the above tools could be able to catch the exception before the process dying. Also, it was not possible to install a development environment onto the production... -
17
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.
-
18
Real time micro benchmark multi-lingual suite (RTMB) provides a good way to measure the deterministic quality of hardware, an operating system, or a Java Virtual Machine. RTMB consists of benchmarks in C, C++ and Java
-
19
Test Automation is a C#-based application that manages projects, requirements, defects, test cases, test case run history, and facilitates automated testing.
-
20
FIRMAMENT runs, inside the Linux kernel, user supplied micro-programs over each processed message to emulate communication fault situations, using a script approach. The tool is appropriate to perform experiments over protocols and distributed systems.
-
21
Hardware Simulation and Vitualization Environment: Unfortunately I have lost my source code in a freak accident (My roommate dropped a bed onto my laptop) for this project. Please be patient and visit http://devsoft.ath.cx/crisis for more information.
-
22
Presents a proposal to employ use cases to estimate the test effort and to create a finite state machine for model-based test case generation.
-
23
-
24
JDLabAgent is a dynamic link library which is loaded into the Java Virtual Machine via Java Virtual Machine Debug Interface (JVMDI). The JDLabAgent can be parameterized via config files and logs JVM events (e.g. breakpoints, exceptions).
-
25
FSMExplorer - Finite State Machine Explorer after reading specification of N FSM entities, generates available states for this FSM.
