Search Results for "model based testing tool" - Page 8
Sort By:
Showing 361 open source projects for "model based testing tool"
View related business solutions-
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
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
-
2
Korat2015
Enhanced Korat supports GUI, FSM, JUNG and JSON.
Korat is a tool for constraint-based generation of structurally complex test inputs for Java programs. Please see http://korat.sourceforge.net/index.html for more information on the Korat application. Korat 2015 includes the below enhancements to Korat: - Graphical User Interface using Java Swing - Graph Output Format using JUNG (Java Universal Network/Graph Framework) - Finite State Machine Domain - Graph Archival using JSON (JavaScript Object Notation) The Wiki page has... -
3
Agilefant
The scalable open source tool for lean and agile project management
Agilefant is a simple but powerful web based tool for lean and agile project management. It is the most versatile open source solution of its kind today, with a rapidly growing user base of more than 10k users around the world in thousands of organizations. Based on more than ten years of solid scientific research within real world organizations, Agilefant's unique model scales from personal todo-lists to large-scale multi-team development and long-term product and portfolio management. ... -
4
jmpshcmd - smarthome command tool
java based cmd tool to connect different smarthome plattforms
...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. -
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
5
Spray
Scala libraries for building and consuming RESTful web services
Spray is a suite of Scala libraries built on top of Akka that offers a modular, asynchronous, and non-blocking toolkit for building and consuming RESTful and HTTP services. The core philosophy behind Spray is that it should act as a “library” for integration and HTTP layers, not as a full application framework—it gives you the building blocks to handle HTTP and REST but doesn’t impose heavy structure. It includes modules for low-level HTTP I/O, routing, client and server APIs, HTTP model... -
6
Jeuron
Jeuron Application Platform
The Jeuron Application Platform is a java based open source project released in December 2012 with the goal of providing a lightweight framework to assemble software components that would support the requirements of multiple projects and deployment scenarios while also providing an environment for testing and debugging. The platform is comprised of a set of packages which provide transport, messaging, configuration, and execution services designed to create a configurable, scalable, and distributed application environment. ... -
7
Cobertura is a free Java tool that calculates the percentage of code accessed by tests. It can be used to identify which parts of your Java program are lacking test coverage. It is based on jcoverage.
-
8
JITTAC
Just-In-Time Tool for Achitecture Consistency
JITTAC is an Architecture Consistency plug-in for Eclipse that helps maintain consistency between the architectural design and the implementation. It detects the potential problem areas by a method based on Reflexion Model (jrmtool) and prompts the developer accordingly. For a fuller description, please see the website. -
9
...Instead of an "assertion" mechanism, it auto-generates a log of the GUI appearance and changes to it. The point is then to use that as a baseline for text-based testing, using e.g. TextTest. It also includes support for instrumenting code so that "waits" can be recorded, making it far easier for a tester to record correctly synchronized tests without having to explicitly plan for this.
-
Our Free Plans just got better! | Auth0You 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.
-
10
AgateLib - Awesome game and tool engine library. A platform independent .NET library for developing games and game development tools. AgateLib is built on a driver-based model so that new platforms and rendering pipelines can be implemented easily.
-
11
WebDBExpress
A powerful PHP framework for web applications
WebDBExpress is a powerful PHP framework that enables you to rapidly create web applications from the description of your business model. The applications generated by WebDBExpress are: - full of rich ready-to-use functionalities - easily customizable - easily extendible - and easily changed as your business needs evolved. WebDBExpress is a free open-source software licenced under the terms of the GNU General Public Licence. It comes with the following set of tools... -
12
JUnit Execution & Report Generation Tool
Runs JUnit Test cases and generate HTML report, keeps past run history
This tool pulls all JUnit testcases from the class path and run them all. After completion of test case execution it populates the result in database tables. A report tool fetch the result data from database and produce an HTML report. Highlights of this tool - No coding effort is required from developer to integrate existing JUnit test cases. They just need to put their test case folder to the class path - Since it keep the test result data in a database, it can keep history of... -
13
Graphic Selenium Testing Tool
A graphical, cross-browser, easy and Selenium-based testing tool
Graphic Selenium Testing Tool (GSTT) is a software application to define, manage and execute web testing projects easily, visually and through the most popular web testing tool: Selenium. Each web testing project consists in many test cases. Each one represents a set of actions over a web page. For example, to search a product in a web online store or to fill and send a register form in a website. With GSTT users can define these actions on the web browser directly. This activity can also... -
14
Scenario
Simple, neat and powerful tool for loading and managing JS scripts
Scenario is a very simple yet neat and powerful tool for loading and managing JS scripts. Scenario is very useful for the following cases: 1. Unit testing for JS without reloading the web page and re-engineering your code. 2. Load and manage scripts stored in arrays (code management). 3. Optimize coding flow by dynamically switching among best solution per case. 4. Run scenarios either distinctly or in parallel. 5. Keep easier track of bugs and errors when deploying. So, Scenario... -
15
ATS4 AppModel is an application flow design tool supporting application specification work, model based testing and test script generation. It provides simple interface to manage complex models. ATS4 AppModel is part of Nokia ATS tool family.
-
16
Redhat Linux Oracle OVM Systems Monitor
Redhat Linux OVM System Performance Monitoring
It's a very light Redhat Linux and Oracle OVM System Performance Monitoring tool written in Perl using rrdtool for Database and Graphing. Allows you to query the RRD database given a set of dates and generates a web based graphs. Easy to install. Uses less disk space than most performance monitoring tool. Data of each host monitored is kept for 2 years and occupy less that 25 MB of disk space. -
17
ESSPEE - Penetration Testing & Forensics
(Android Forensics & Malware Analysis Included)
ESSPEE - Extreme Security Scanning Penetration testing & Exploitation Environment Ubuntu 12.04 LTS (Precise Pangolin) is purposefully selected as the base Operating System to obtain supports from Ubuntu for a long duration (till Apr 2017). It is packed with featured security tools with very less resource consumption and higher degree of stability. Thanks to Back Track, Blackbuntu, CAINE and DEFT and many others for inspiration. Being a sole developer to this distro, I wish it... -
18
Squash TM
Squash TM is an open source tool for test repositories management.
Squash TM is the test repository manager found in the open source Squash toolkit. It enables the management of requirements, test cases and campaigns execution in a multiproject context. Based on an ergonomic and intuitive interface, Squash is also "full web" making it an easy tool to deploy. Squash TM is the result of a new development in Java (OSGi, Spring 3, Spring MVC, Hibernate, JasperReport, Jquery). For bugs management, Squash TM interfaces natively with Mantis. Thanks to its... -
19
Sipp is a performance testing tool for the SIP protocol. Its main features are basic SIPStone scenarios, TCP/UDP transport, customizable (XML-based) scenarios, dynamic adjustment of call-rate and a comprehensive set of real-time statistics.
-
20
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. ... -
21
Essential ORM Modeler
Design your ORM application in a platform independent way.
Essential ORM Modeler allows you to model your application using an extension of UML class models, generating code for distinct ORM frameworks (JPA, SQLAlchemy or Ruby´s ActiveRecord). The notation, based on persistence patterns, is platform independent. This tool is a plugin of eclipse. -
22
PHP TC
PHP web frontend for configuring the Linux traffic controller.
Linux comes with a powerful network emulation toolkit called "Traffic Controller", or simply "TC". This toolkit allows you to simulate packet delay, packet loss, bandwidth throttling, and more. This is very useful for developing and testing applications that utilize the network. To verify your designs and implementations function stable under various networking conditions. TC however is a command line tool. It requires knowledge of queuing disciplines and the syntax to configure a hierarchical structure. This project aims to minimize that complexity by providing a solution that allows you to configure the Linux TC from a web based frontend. -
23
BHS Debian (Hades Update)
BHS debian (testing) jessie/sid
BHS (Debian) New BHS release Based on Debian jessie/sid Kermel 3.12 KDE 4.11 Debian style and look Custom scripts!! Defcon tools!! New wifi scripts Multiarch support Top tools username: root password: BHS note: Don't forget to run the script located on the desktop to install the missing tools,because without to run it the menu will not be functional,if you not see it just download from here in the file section..sorry for the delay the upload stack for 2... -
24
Drid
Multi-Purpose Automation Grid
Console-based tool that will allow for multiple types of automation testing to run in parallel. Written in Python -
25
Requirements management tool designed to achieve full SDLC traceability for features, requirements, design, implementation and testing. UI for requirements derivation, version control, attributes etc. Designed to be v2.0 to OSRMT's v1.5. The architecture will change (Grails) and move to being entirely web-based, but the driving force behind it is to retain and satisfy OSRMT users.
