Search Results for "skyeye-testsuite"
Sort By:
Showing 28 open source projects for "skyeye-testsuite"
View related business solutions-
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.
-
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
MATIO
MATLAB MAT File I/O Library
MATLAB MAT file I/O library. Matio is an open-source C library for reading and writing binary MATLAB MAT files. This library is designed for use by programs/libraries that do not have access or do not want to rely on MATLAB's shared libraries. -
2
testng
TestNG testing framework
TestNG is a testing framework inspired from JUnit and NUnit but introduces some new functionalities that make it more powerful and easier to use. Run your tests in arbitrarily big thread pools with various policies available (all methods in their own thread, one thread per test class, etc...). -
3
websocket for Go
Minimal and idiomatic WebSocket library for Go
websocket is a minimal and idiomatic WebSocket library for Go. Minimal and idiomatic API. First class context.Context support. Fully passes the WebSocket autobahn-testsuite. Single dependency. JSON and protobuf helpers in the wsjson and wspb subpackages. Zero alloc reads and writes. Concurrent writes. Close handshake. net.Conn wrapper. Ping pong API. RFC 7692 permessage-deflate compression. Compile to Wasm. Transparent message buffer reuse with wsjson and wspb subpackages. Gorilla writes directly to a net.Conn and so duplicates features of net/http.Client. ... -
4
µWebSockets
Compliant web server for the most demanding of applications
...LGTM scores us flawless A+ from having zero CodeQL alerts and we compile with pedantic warning levels. µWebSockets is written entirely in C & C++ but has a seamless integration for Node.js backends. This allows for rapid scripting of powerful apps, using widespread competence. We've been fully standards compliant with a perfect Autobahn|Testsuite score since 2016. Companies with everything to lose rely on µWebSockets on a daily basis - we power the trading APIs of Bitfinex.com & Kraken.com, handling volumes of multiple billions of USD every day. Other companies include Trello, where µWebSockets is serving their 50 million users with real-time board updates. -
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
5
A simple WebSocket server
A simple WebSocket server
A simple WebSocket server. -
6
Linux Test Project
Testsuite to validate the reliability, robustness, stability of Linux.
Linux Test Project (LTP) is a joint project started by SGI, OSDL and Bull developed and maintained by SUSE, Red Hat, Fujitsu, IBM, Cisco, Oracle and others. The project goal is to deliver tests to the open source community that validate reliability, robustness, and stability of the Linux Kernel. The testing suites contain a collection of tools for testing the Linux kernel and related features. Our goal is to improve the Linux kernel and system libraries by bringing test automation. -
7
Pharos
RTOS for Secure, Safe and Real-Time Systems
Pharos is a free open-source RTOS for secure, safe and real-time systems with the following characteristics: - Memory and enhanced time partitioning (TSP) - Native support for sporadic, periodic and aperiodic threads - Fixed-priority preemptive scheduler - Execution time protection (threads are prevented from executing for more time than they are configured to) - Small size (full image has ~100 to 300KiB text, ~30KiB data) - Hard real-time determinism - Fast critical sections - Prioritized nested interrupts - inter-partition communication with filters to protect unwanted access - Multicore support (RMP) - Supports ARM9, Cortex-A/R/M and Aarch64, RISC-V64 (64 bits) - The complete TestSuite (see below information) is run successfully for each platform in each release - Tested: more than 170 KLOC of requirement-based tests, executed for each board at each release - Up-to-date User Manual also available See our wiki page for more information. -
8
This project has moved to GitHub ! The version here at SourceForge will remain for historic purpose. Koopa is a parser generator, made for COBOL. It can handle source files in isolation (no preprocessing required) and doesn't mind the presence of CICS/SQL fragments. The grammar is easily extensible in a way which minimizes the impact on the overall code.
-
9
libdwg-testsuite
Testsuite for libdwg
libdwg-testsuite is a test suite for libdwg. libdwg is "An open C library to directly read DWG files, a popular drawing format used in the CAD world." https://sourceforge.net/projects/libdwg/ -
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
10
SVUnit
Systemverilog Unit Test Framework
SVUnit is a unit test framework for developers writing code in systemverilog. Verify systemverilog modules, classes and interfaces in isolation with SVUnit to eliminate bugs before they infest your design! -
11
MAGERITCC
MAGERIT OCIL testsuite and Control Catalogue for Verinice
This project contains a MAGERIT control catalogue for the Verinice information security management system and an Open Checklist Initiative Language (OCIL) testsuite for MAGERIT. MAGERIT is a Spanish risk assessment standard that is available for free. -
12
Testsuite-Management
A tool for system tests
Testsuite-Management (TSM) is a tool that provides assistance for performing system tests. You can find the sourcecode under "Code". -
13
Mobile Suite
Mobile Suite is a set of J2ME midlets with a common UI
Mobile Suite is a set of J2ME midlets with a common UI. Applications are grouped in three: - game (Reversi, Bubblet, ...), - application (Secure SMS, RSS Reader, ...) - programming tool (libraries, test suite, ...). -
14
SkyEye
a very fast full system simulator
SkyEye is a very fast full system simulator which takes llvm as IR of dynmic compiled framework.. It can simulate series ARM, Coldfire,Mips, Powerpc, Sparc, x86, TI DSP and Blackfin DSP Processor. Also can simulate multicore system by the multicore of host. The commercial support is provided by DigiProto Co. (http://www.digiproto.com) -
15
UCS (Ultra Corba Simulator) is one powerful corba client/servant simulator tool. It doesn't need idl-related helper class or IR service.
-
16
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
...The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance, the tool enables to check all examples in the PVS Bernstein testsuite within a second, which can be an order of magnitude faster than some other tools such as QEPCAD or REDLOG. Although JBernstein uses double, it offers automatic error-estimation capabilities (experimental) so that the generated result is correct (the solver may return unknown when the error-estimate is too large) -
17
compare-results
Program comparing Simulation Results for the SBML TestSuite
Compare SBML Test Suite Results =============================== The [SBML Testsuite](http://sbml.org/Facilities/Online_SBML_Test_Suite) allows developers of ODE based simulators to test their implementation against a large number of test cases that test a wide aspect of the [SBML Specifications](http://sbml.org/Documents/Specifications). While implementing my simulator [RoadRunner](http://roadrunner.sf.net) I wanted to be able to compare it using a wider range of parameters: - filter for new tests - filter for tests with specific tags - mark elements that I know I did not implement -
18
-
19
-
20
Jaccept
This project has move to https://github.com/mikis/jaccept
Extension to JUnit to enabled automatic acceptance testing. The TestSuite & TestCase are extended with operations providing added documentation and workflow control. -
21
Python port for Windows CE (Pocket PC) devices. Intended to be as close to desktop version as possible (console, current directory support, testsuite passed).
-
22
Embedded Linux Testsuite is a regression testsuite for embedded Linux applications, with emphasis on PDAs and handhelds.
-
23
-
24
-
25
This project aims to provide a web interface (based on PHP/MySQL) to browse and analyse logfiles of Open POSIX TestSuite runs. It will be extended to support other conformance-type testsuites (Linux Test Project, ...) as well.
