Combining the benefits of static and dynamic source code analysis to deliver the most advanced & exhaustive code verification tool.
TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
Learn More
Effortlessly manage macOS, iOS, iPadOS and tvOS devices across multiple clients and locations.
The Most Powerful Apple Device Management Tool for MSPs and IT Teams
Addigy solutions accelerate Apple adoption in any environment.
Pojo generator is a framework that will generate data for your domain model. This is very usefull when for instantce database isn't up yet, end you want to continue to develop the frontend of the application.
Simple, light-weight Java class (100% pure Java) for generating lorem ipsum placeholder text. Lorem ipsum text can be used to create sample data for design evaluation, test cases or performance tests in (Java) applications.
Jameleon is a data-driven automated testing tool that is easily extensible via plug-ins. Features of applications are automated in Java and tied together independently in XML, creating self-documenting automated test cases.
A program written in Java that allows to generate test data for SQL databases. Constraints on the data output can be flexibly specified via a GUI. At the moment, only PostgreSQL is supported, but support for other databases can be added via metadata.
Create engaging surveys on your tablet or computer with ease.
Choose any of our carefully designed themes, or easily customize colors, fonts, and more to reflect your brand's true look and feel.
Create great-looking surveys, forms, polls, voting, questionnaires, NPS, customer satisfaction, customer experience, employee satisfaction surveys... on your computer or tablet, customize the look of your survey however you like, & display collected data with eye-catching and insightful graphics.
SpringUnit is an open source framework for unit and integration testing of Java software. It marries Spring's Dependency Injection container with JUnit's test framework to enable data-driven testing.
...Features: Regular Expressions on element level, Javascript-based assertions, tolerances, patterns, and more. Designed for automated validation of APIs that produce rich XML data.
CASIMIR is a web-based PHP/MySQL interface which controls over SSH-secured connexions qemu/kvm virtual machines dispatched over several physical servers. It also provides to administrators the ability to delegate control of these machines to other users.
Pattern Sandbox is a small utility for visually testing and practicing regular expressions by highlighting matching text. It specifically uses the java.util.regex library which has a similar syntax to Perl5 regular expressions.
Teradata VantageCloud Enterprise is a data analytics platform for performing advanced analytics on AWS, Azure, and Google Cloud.
Power faster innovation with Teradata VantageCloud
VantageCloud is the complete cloud analytics and data platform, delivering harmonized data and Trusted AI for all. Built for performance, flexibility, and openness, VantageCloud enables organizations to unify diverse data sources, run complex analytics, and deploy AI models—all within a single, scalable platform.
OCaml-Reins is a data structure library for O'Caml that includes cursor based iterators, a collection of functors to minimize client-side boilerplate, a powerful on-line benchmarking system and Quickcheck style testing infrastructure.
QC4J is an automated, specification-based testing framework, based on QuickCheck for Haskell. It makes it easy to test referentially transparent code, by creating test data automatically through user-defined generators.
Syncopate is an extension module to the Apache JMeter testing tool. It enhances JMeter's HTTP proxy server by adding functionality to extract variables and create assertions during HTTP request recording.
SSTPong is a breakout style pong game used to test both a player's skill and web services. Players use a paddle to hit a ball towards rows of bricks. When the bricks are hit, computer generated test data is sent to the web service.
The HL7 Test Harness system is an HL7 v3 message conformance testing application that also provides the ability to simulate the message processing actions of a client and/or server system. The app provides message workflow, format and content testing.
Sock4Log is a simple java xml serwer. Sock4Log will listen for client connections on the specified port number. It is created for retrieving xml log data from Flash Swf aplications which are using XmlSocketConnection.
Simple Java interface to copyright-free version of Websters Dictionary. Quickly returns random proper names, terms and connectors. Useful for populating realistic test data. Also looks up common words.
DataTest is a test library for Java ORM (Object Relational Mapping) frameworks. It provides tools for comprehensive testing of read and write operations involving ORM Data Access Objects (DAOs), and an API for simplifying data access test operations.
Mock objects for JUnitTests for common network services: http(s), SMTP and POP3. The focus was to easily have the services return defined errors or predefined documents independent of application level security and sophisticated data-store.
FreshTrash is a Utility package for generate random test data. It can generate test data from the console or from a UI. At the start only from the console.
JDLabStudio is a graphical front-end for the Java Debugging Lab Agent (JDLabAgent). JDLabStudio scans java packages, displays class files and generates JDLabAgent config files. JDLabAgent-traces are used for reconstructing control and data flows.
BugEye is an XML-based unit test creation framework. Being XML-based, it can be easily translated to almost any language. The current translations are C#, Java, JavaScript, and Visual Basic. Future translations include C++, Python, Perl, and PHP.