Search Results for "model based testing tool"
Sort By:
Showing 66 open source projects for "model based testing tool"
View related business solutions-
Deploy Red Hat Ansible Automation Platform on Microsoft Azure for a strategic automation solution that allows you to orchestrate, govern and operationalize your Azure environment.
-
Don’t let unpaid invoices limit your business’s growth. EBizCharge plugs directly into the tools your business already uses to speed up payment collection.
-
1
Filesystem
An implementation of C++17 std::filesystem
This is a header-only single-file std::filesystem compatible helper library, based on the C++17 and C++20 specs, but implemented for C++11, C++14, C++17 or C++20 (tightly following the C++17 standard with very few documented exceptions). It is currently tested on macOS 10.12/10.14/10.15/11.6, Windows 10, Ubuntu 18.04, Ubuntu 20.04, CentOS 7, CentOS 8, FreeBSD 12, Alpine ARM/ARM64 Linux and Solaris 10 but should work on other systems too, as long as you have at least a C++11 compatible compiler... -
2
KubiScan
A tool to scan Kubernetes cluster for risky permissions
A tool for scanning Kubernetes cluster for risky permissions in Kubernetes's Role-based access control (RBAC) authorization model. KubiScan helps cluster administrators identify permissions that attackers could potentially exploit to compromise the clusters. This can be especially helpful on large environments where there are lots of permissions that can be challenging to track. KubiScan gathers information about risky roles\clusterroles, rolebindings\clusterrolebindings, users and pods... -
3
WireMock
A tool for mocking HTTP services
... is a simulator for HTTP-based APIs. Some might consider it a service virtualization tool or a mock server. It enables you to stay productive when an API you depend on doesn't exist or isn't complete. It supports testing of edge cases and failure modes that the real API won't reliably produce. And because it's fast it can reduce your build time from hours down to minutes. -
4
Form OCR Testing Tool
A set of tools to use in Microsoft Azure Form Recognizer
An open source labeling tool for Form Recognizer, part of the Form OCR Test Toolset (FOTT). This is a MAIN branch of the Tool. It contains all the newest features available. This is NOT the most stable version since this is a preview. The purpose of this repo is to allow customers to test the tools available when working with Microsoft Forms and OCR services. Currently, Labeling tool is the first tool we present here. Users could provide feedback, and make customer-specific changes to meet... -
Vertex AI offers everything you need to build and use generative AI—from AI solutions, to Search and Conversation, to 130+ foundation models, to a unified AI platform.
-
5
VoIP monitor
VoIP SIP and SKINNY quality analyzer and packet / audio recording tool
VoIPmonitor is open source network packet sniffer with commercial frontend for SIP SKINNY MGCP RTP and RTCP VoIP protocols running on linux. VoIPmonitor is designed to analyze quality of VoIP call based on network parameters - delay variation and packet loss according to ITU-T G.107 E-model which predicts quality on MOS scale. Calls with all relevant statistics are saved to MySQL or ODBC database. Optionally each call can be saved to pcap file with either only SIP / SKINNY protocol or SIP/RTP... -
6
QP Real-Time Embedded Frameworks & Tools
Real-Time Embedded Frameworks based on active objects & state machines
QP real-time embedded frameworks (RTEFs) provide lightweight, modern event-driven architecture based on active objects (actors) and hierarchical state machines. The matching QM model-based design tool and other host-based tools complement the QP frameworks by supporting graphical modeling, code generation, software tracing and unit testing for event-driven embedded software. Visit https://www.state-machine.com for more information. The QP RTEFs can run on bare-metal single-chip... -
7
q4rescue
A live linux Rescue toolkit/Emergency OS - based on q4os Trinity
A live linux system rescue toolkit based on q4os Trinity available as a bootable iso for administrating, repairing and cloning/restoring your system and data. Main tools: -Foxclone -Rescuezilla -Clonezilla -DDrescue-gui -qtfsarchiver -Apart -Testdisk -Photorec -Boot Repair -WoeUSB -Q4OS imager -UNetbootin -usbimager -Kdirstats -Kdiskmark -Rclone & Rclone BRowser -Reminna -Filezilla -qbittorrent -gohttpserver -chromium -nwipe -ntpw-gui -efibootmgr -zenmap (nmap gui... -
8
DEVS-Suite Simulator
Component, CA, and CCA models; superdense time, DB repo, testing, etc.
Integrated component-based and cellular automata (CA) Parallel DEVS simulator: https://acims.asu.edu/devs-suite/ OFFERS: 1) synchronized execution & animation, 2) run-time linear/superdense I/O & state trajectories, 3) Action Level Real-Time modeling & simulation, 4) model checking, 5) ABM, 6) CA & composable CA playback, 7) KIB interaction modeling, 8) hierarchical model libraries, 9) Black-Box testing & debugging, 10) PostgreSQL repository, 11) FMU (OpenModelica), 12) OSATE (AADL... -
9
EznixOS
EznixOS | Customized Debian Stable
The EznixOS is a respin of Debian GNU/Linux, currently based on the Debian Stable release. The Debian live-build tool is used to build the ISO and the complete build files are located on the live and installed system in /usr/share/eznix12... There is a link in the home folder of the live and installed system to the build files folder. The current release is eznixOS12X. The numbering scheme is 12 that corresponds to Debian release 12, Bookworm, and the X for Xfce, followed by the build date... -
Innago is a free and easy-to-use property management solution. Whether you have 1 unit or 1000, student housing, or commercial properties, Innago is built for you. Our software is designed to save you time and money, so you can spend more time doing the things that matter most.
-
10
ION-DTN
Delay-Tolerant Networking suitable for spacecraft and ground
2/17/2024 * Official distribution site for ION and ION-core has moved to GitHub: https://github.com/nasa-jpl/ION-DTN https://github.com/nasa-jpl/ion-core * ION documentation: https://nasa-jpl.github.io/ION-DTN/ * This site will continue to host ION 4.1.2 and all earlier releases. ============================= ION development is managed by the Jet Propulsion Lab; regression testing and code management are provided by Ohio University. The Interplanetary Overlay Network (ION... -
11
miniperf
Perfmon PMU Collecting tool
command line based tool to collect Perfmon Counting data from Hardware PMU C ounters on Intel x86 processors Supported Platforms <> Server - Intel 5th Gen Xeon Processor (Emerald Rapids) -> Core (Raptor Cove) - Intel 4th Gen Xeon Processor (Sapphire Rapids) -> Core (Golden Cove) -> CHA <> Client - Intel 14th Gen Client Processor (Meteorlake) -> P-CORE (Redwood Cove) -> E-CORE (Crestmont) - Intel 13th Gen Client Processor (Raptorlake) -> P-CORE (Raptor Cove) -> E... -
12
Loggifier
A tool that inserts code into Java class files for logging
A tool that inserts code into Java class files for logging. Possible logging points are class initialization, method entry and exit, and local variable assignment. Logging is based on java.util.logging. -
13
CommBusTerm
"CommBusTerm"
"CommBusTerm" is based on a "Raspberry Pi 4 Model B" or "Raspberry Pi 5", and the "kmicommbusmediator" interface. The project "kmicommbusmediator" provides connectivity for the "Raspberry Pi" to the "PPG Communication Bus" which is used by PPG synthesizers such as the "Wave 2.2", "Wave 2.3", "EVU". Link to the project "kmicommbusmediator": https://sourceforge.net/projects/kmicommbusmediator/ Application software for CommBusTerm: * "cbmedimonitor" (see "kmicommbusmediator... -
14
tom_core
tom_core - a tool for automating events on a computer
tom_core is a software tool used for the automation of everything that happens on your computer. By using this application, you can easily record your activity on your computer, starting the recording at any moment that you choose. The application repeats all your clicks or drags, keystrokes, hotkeys, etc. All in exactly the timing and number of repetitions you need. The toolbox such as the optical recognition and voice control enables to branch out the recordings into complex forms... -
15
Kieker
Software Monitoring Framework
Kieker is a framework for continuous monitoring and dynamic analysis of distributed software systems. Being designed for continuous operation, it induces only a low overhead. The TraceAnalysis tool allows to analyze and visualize trace information. -
16
SYSMOD - The Systems Modeling Toolbox
SYSMOD4MD is a plugin for the modeling tool MagicDraw (aka Cameo)
SYSMOD is a model-based systems engineering methodology. The SYSMOD4MD plugin for the SysML modeling tool MagicDraw (aka Cameo Systems Modeler) provides the SYSMOD profile, i.e., the stereotypes required for the SYSMOD methodology. In addition, the project contains sample projects and templates. The latest version v4.2 also works for Cameo v2021. -
17
Taie-RedTeam-OS
泰阿安全实验室-红队单兵作战系统-Taie-RedTeam-OS
中文简介： 面向中国信息安全白帽子人员的红方渗透作战操作系统，内容工具更适用于中国的环境，避免大而全精简不常用的工具软件，集成国内优秀的开源渗透工具帮助红方人员更好的实施工作！ Introducte: For Chinese information security white hat personnel red team infiltration combat operating system, the content and tools are more suitable for the Chinese environment, simplify not commonly used tool software, integration of domestic excellent open source infiltration tools to help red staff better implementation! -
18
httest is a script based tool for testing and benchmarking web applications, web servers, proxy servers and web browsers. httest can emulate clients and servers in the same test script, very useful for testing proxys.
-
19
EECluster
Tool for energy-efficient resource management in HPC clusters
EECluster is software tool for managing the energy-efficient allocation of the cluster resources. EECluster uses a Hybrid Genetic Fuzzy System as the decision-making mechanism that elicits part of its rule base dependent on the cluster workload scenario, delivering good compliance with the administrator preferences. In the latest version, we leverage a more sophisticated and exhaustive model that covers a wider range of environmental aspects and balances service quality and power consumption... -
20
PGIIXUA
PGIIXUA allows to generate network traffic right of your Android
PGIIXUA allows to generate network traffic right of your Android smartphone. THERE ARE NO VIRUSES, THE SYSTEM JUST DETECTS SUCH TOOLS THAT WAY! Malware detected (wanted feature): 'a variant of Android/HackTool.Loicdos.B application': What does it mean? This tool is based on the 'Low Orbit Ion Canon', but more powerful as for the advanced changes that were made on the software. What is Low Orbit Ion Canon? Low Orbit Ion Cannon (LOIC) is an open-source network stress testing and denial... -
21
MotOrBAC
An OrBAC policy editor
MotOrBAC is a tool to help you design and implement a security policy using the OrBAC (Organisation Based Access Control) model. It is developped using the OrBAC API, an implementation of the OrBAC model. -
22
MGSyn
MGSyn - Automatic Synthesis for Industrial Automation
MGSyn (Model, Game, Synthesis) is an open-source tool which integrates game-based synthesis into model-driven development for industrial control and automation. It is served for research and educational purposes. MGSyn has been originally developed by Department of Informatics (Unit 6), TU München and fortiss GmbH and is now maintained by fortiss GmbH. The software is released under the GNU General Public License Version 3.0 (GPLv3). Please download the tutorial for step-by-step... -
23
must: A More Useful Syslog Test tool
A syslog message generator that replicates real syslog messages
Using templated message formats with customisable placeholders, run in configurable sequences that can selectively reuse data between steps, must allows more intelligent testing of syslog receivers with realistic data, as well as longer soak testing and stress testing. must was created to fill a gap found when trying to stress test Splunk as real, indexable and meaningful data was needed. must will (eventually) be provided as a standalone tool that uses XML configs (for quick use... -
24
MBSE for MagicDraw
Plugin for MagicDraw to support MBSE with SysML
Support for more productive Model Based Systems Engineering, following the recommendations in the Cookbook of the INCOSE SE2 Challenge team http://mbse.gfse.de The Plugin for the MagicDraw modelling tool provides support for model based document generation which ties together system model and documents to keep them up to date and consistent, using a AWYSIWYG editor in MagicDraw. It provides basic support to model variants and extract variants from a system model. It provides support... -
25
jmpshcmd - smarthome command tool
java based cmd tool to connect different smarthome plattforms
... udpsend) or a simple way to integrate an automation standard (like homematic). This tool can used to start a command from a scripting exit. For testing issues a console mode is available. If you implement an own java based integration you can use the jmpshcmd features via Java based api.