Deploy in 115+ regions with the modern database for every enterprise.
MongoDB 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.
Start Free
Our Free Plans just got better! | Auth0
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.
A language-validation testing harness for Java (and Java-like) compilers & other language tools. Provides a framework for verifying whether static/runtime errors occur when running collections of test programs (benchmarks) described by "jlbench" files.
Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.
Moving 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.
UI Test Automation Tool for Internet Explorer, using XML as scripting language. Uses the browser to record and generate user interaction/events, supports validation and custom hooks/plug-ins.
xContract is suite of per-language libraries that provide facilities for defining and enforcing software contracts. Intended to be used, where desired, in release modes/builds, xContract emphasises efficiency in addition to clarity and succinctness.
TestPlan is an automated testing tool for testing interactive web systems. Tests are written in a specialized language suitable for less technical individuals.
STDL (Structured test description language) is a domain-specific testing language that is used to auto-generate unit test code. It supports a myriad of output languages (incl. C#). The project's aim is that of reducing the resources required for testing
Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.
Moving 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.
MuLATo is a Java application for collecting metrics from programs written in several languages. The core module provides parsers for Java, AspectJ and CaesarJ programs and can be extended for other languages. Currently, the GUI is being developed as an E
Design by Contract with seamless integration into the Spring Framework, based on Annotations, AOP and a pluggable Specification Language (supports Expression Language (EL) with Extensions, Groovy, OGNL out of the box).
Avignon is an acceptance test system that allows you to write executable tests in a language that you define. It uses XML to define the syntax of the language but, if you choose to extend the language, leaves the semantics of the tests up to you.
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.
The goal is to enable testing frameworks to play tests that have been written in any language. For instance, python tests may be played inside Junit, for Junit may be your framework of choice. Project known as Yactu (Yet Another Cross Testing Utilities)
A schema validator for the CLiXML (Constraint Language in XML) schema constraint language. The constraint language allows to do semantic tests on an XML document. The validator is written in java and uses jdom.
YABI93 is an Interpreter for the esoteric programming language Befunge, version "Befunge93". It is written in Java 1.5 and uses Swing for its graphical interface. YABI supports a multilanguage GUI.
ORUnit is a simple framework for writing and running automated tests, written in the CA-OpenROAD programming language. It is modelled after JUnit, the unit testing framework written in Java by Kent Beck and Erich Gamma.
IoC container for the configuration and design for experimental design
InPUT offers a descriptive and programming language independent format and IoC (Inversion of Control) container for the configuration and design of computer experiments.
Code and more info can be found on github:
http://github.com/feldob/InPUT
M3Actions is a framework to define operational semantics in MOF metamodels. It provides a graphical action language to define model behaviour, a simulator, debugger and execution trace recorder, build on top of eclipse modeling projects (EMP).
iTTCP means "integrated TTCP". The project integrates the TTCP compiler into Eclipse environment and allows so developing and running testcases, specified in TTCN-3 language.