Search Results for "model based testing tool"

...This simulation tool runs in Windows and Linux, on 32-bit and 64-bit platforms, as a GUI or console (terminal) application. Write the model only once, simulate anywhere. Videos on installing OpenSIMPLY for different IDEs and operating systems : https://www.youtube.com/playlist?list=PLnyWoktGqA

The Artifact Geomorph Toolbox 3D software is designed to provide the archaeologist interested in artifact shape variability with a toolbox to allow the acquisition, analysis and results exploration of homologous 3D landmark-based geometric morphometric data. As such, the toolbox contains an automated item and semi-landmarks positioning procedure and the fundamental statistical analyses and procedures to allow the processing and analysis of the data. It is designed to be easy to use and...

Models of COVID-19 outbreak trajectories and hospital demand. This tool is based on the SIR model (see about page for details) that simulates a COVID19 outbreak. The population is initially mostly susceptible (other than for initial cases). Individuals that recover from COVID19 are subsequently immune. Currently, the parameters of the model are not fit data but are simply defaults. These might fit better for some localities than others.

Java library for Relationship Based Access Control (ReBAC). Provides a general framework creating ReBAC policies and model checking. Also provides tools for testing. Obtain latest version as a Maven Dependency: <dependency> <groupId>ca.ucalgary.ispia</groupId> <artifactId>rebac</artifactId> <version>0.1.7</version> </dependency>

The marc2frbr tool supports the conversion of records in the MARC format to a normalized set of records based on the FRBR model. The tool is implemented in XSLT.

Program based on created BPMN 2.0 Cloud extension. It reads a model *.bpmn, which was created using jBPM BPMN 2.0 modeling tool. Then user is able to define a sensitivity of data elements. After that an Ontology is created and filled in with model elements. Special logical rules process the data. User is able to additionally define the security level.

Extended BON is a superset of BON, a clear and concise graphical and textual specification language for software systems. This tool suite consists of a scanner, parser, documentation generator, and design model checker for Extended BON.