Search Results for "computer-aided software engineering"
Sort By:
Showing 29 open source projects for "computer-aided software engineering"
View related business solutions-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
1
PICSimLab - Prog. IC Simulator Lab.
PICSimLab is a realtime emulator for PIC, Arduino, STM32, ESP32, ...
PICSimLab is a realtime emulator of development boards with MPLABX/avr-gdb debugger integration. PICSimLab supports microcontrollers from picsim, simavr, uCsim, qemu-stm32, qemu-esp32, and gpsim. PICSimLab has integration with MPLABX/Arduino IDE for programming the microcontroller's boards. As the purpose of PICSimLab is to emulate real hardware it does not have any source code editing support. For code editing and debugging the same tools used for a real board should be used with PICSimLab,... -
2
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... -
3
Raspberry_Quemu_forWindows
This is QEMU virtual machine with Raspbian OS for students KNUCA
Це віртуальна машина QEMU із зібраною операційною системою Raspbian для емуляції Raspberry Pi на Windows 7, 8, 10. Використовується для занять з робототехніки в Київському національному університеті будівництва і архітектури. pi/raspberry -
4
...This operating system is one variant of Linux distributions, which is used to perform security testing (penetration testing). Dracos linux in Arm by hundreds hydraulic pentest, forensics and reverse engineering. Use a GUI-based tools-tools the software using the CLI (command line interface) and GUI (graphical user interface) to perform its operations. Now Dracos currently already up to version 3.1.5 with the code name "KUNTILANAK WITH REMASTERED".
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
5
The Platform Initialization Self-Certification Test(pi-sct) project has source for exercisersizing interfaces in a platform and verifies compatibility to the PI specification with specific tests on PEI and DXE Foundations from PI Spec on UEFI uefi.org.
-
6
rawi2ctool
RAW I2C command line tool for debug, test and more
This is a Linux command line tool to do raw I2C accesses to a bus, IF SUPPORTED BY THE ADAPTER, to probe the bus, read or write some data, detect glitches, do a bench, program an EEPROM with the required blocksize, test the I2C bus driver, ... Raw I2C mode enables data frames that are not supported by SMBus and related tools (such as i2cget, i2cset, i2cdump) -
7
Advance-PCT-1.0
A novel Code transformation technique to guide test input generator
Advance_PCT is a pre-processing technique, that simplifies the complex boolean expression present in a C program. It identifies the boolean expression and creates equivalent conditional branches with an empty body. These additional statements along with original program supplied into test executor to improve test data. It ensures that each atomic conditions have been invoked at least once true and once false. It is done to achieve higher MC/DC, because according to the definition of MC/DC it... -
8
GUITAR - A GUI Testing Framework
A model-based test automation framework for GUI applications
...Nguyen, Bryan Robbins, Ishan Banerjee, and Atif Memon. Automated Software Engineering Journal. p.21, 1. 2014 -
9
CrtDbg for WinCE
Port of MS _CrtDbg Memory Leak Detection for WinCE
You are searching _CrtDumpMemoryLeaks(), _CrtSetReportMode() and all the well known Win32 stuff? But you don't find it for your Windows CE or Windows Mobile native C or C++ development? Get tired of Memory Leaks? Handle Leaks? Trouble with Appverify (Application Verifier for WinCE)? Stop searching. Congratulations, you got it! -
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
10
alio
An "Alternative IO" layer.
The alio library can be dynamically pre-linked to existing executables and replaces file IO (i.e. calls to glibc's IO functions). This allows to gather statistics about IO, create IO trace files, or even implement a different IO behaviour (e.g. use separate IO servers to handle IO). -
11
BEYE (Binary EYE) is a free, portable, advanced file viewer with built-in editor for binary, hexadecimal and disassembler modes. It contains a highlight AVR/Java/i86-AMD64/ARM-XScale/PPC-64 and other disassembler, full preview of MZ,NE,PE,ELF and other.
-
12
Disk Diagnostic
Disk diagnostic for disk/controler/driver testing
This is a cli disk diagnostic that runs under Windows, Linux and DOS/BIOS. It is a traditional disk diagnostic in the style of diagnostics going back into the 1960's and the first disk drives. Although CLI driven, I have found it more useful that many other types of diagnostics for disk, controller and driver development than GJI based diagnostics. The command forms are terse, and it allows either use as an immediate mode debugger of drives or it can be used to form full testing... -
13
eulerhook
hook technology for unit test framework
-
14
NetStress-NG
NetStress is a DDoS and network stress testing tool.
Syn Flood Attacks SYNFlood with static source port SYNFlood with random source port SYNFlood with static source ip address SYNFlood with random source address SynFlood with fragmented packets ACK Flood Attacks ACK Flood with static source port ACK Flood with random source port ACK Flood with static source ip address ACK Flood with random source address ACK Flood with fragmented packets FIN Flood Attacks FIN Flood with static source port FIN Flood with random source... -
15
Quickthreads
A simple threads toolkit with a portable interface
A multi threading management library -
16
dbtesma
efficient data generation for benchmarks and performance analysis
Highly efficient Data Generator for Benchmarks and Algorithm Performance Analysis. Supports fully configurable schemata as well as meta structures like Foreign Keys and Functional Dependencies. -
17
Manufactured Analytical Solution Abstraction (MASA): a library for applying the Method of Manufactured Solutions to verification of numerical software used for solving systems of nonlinear algebraic and differential equations.
-
18
The VII is intended to be used in firewall/IPS testing and stressing testing by simulate IP/TCP/ARP/... packets. VII is a c script based tool which can send any kinds of customized packets. It support random protocol/port/ip.
-
19
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
-
20
The goal of this project is to develop a framework to test and measure the performance of IEEE 802.11 based devices. Currently we aims to address the issues related to protocol conformance testing for a device.
-
21
Simple tool to parse the contents of /proc or /sys entries and graph their values. An oscillosope for software types. Intended for developers, admins or the curious to understand the performance and behaviour of their systems.
-
22
TestDevCom is a collection of simple yet powerful test development tools designed for testers who are looking for quick, easy, modular solutions to test automation, but don't really have the time, knowledge, or inclination to build the tools themselves.
-
23
Writing Testbenches for FPGA/ASIC design is always a very fastidious and boring task. This project helps any FPGA/ASIC designer by providing a full RTL test environment with C support.
-
24
This project shows how to make a device that, through the PC USB interface, allows data acquisition from the peripherals of a microcontroller and managing devices TWI or I2C. It can be used on Linux and Windows without any additional driver.
-
25
DSPemu emule a digital signal processor TMS320F243, with console interface showing the registers and memory. With DSPemu is possible test algorithms such as Filter, FFT/IFFT. This can be integrate and used with a circuit simulator.