Search Results for "model based testing tool"
Sort By:
Showing 17 open source projects for "model based testing tool"
View related business solutions-
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
1
JSON Tutorial
JSON library tutorial from scratch
JSON Tutorial is Milo Yip’s from-scratch tutorial for building a JSON library in C. It teaches software construction through a practical, standards-based project rather than abstract exercises alone. The tutorial guides learners through implementing JSON parsing, data representation, numbers, strings, arrays, objects, memory management, testing, and related library behavior. JSON is chosen because it is simple enough for learners to approach, but real enough to demonstrate how useful... -
2
EduData
Datasets in Education and convenient interface for dataset
Datasets in Education and convenient interface for downloading and preprocessing dataset in education. The CLI tools to quickly convert the "raw" data of the dataset into "mature" data for knowledge tracing task. The "mature" data is in json sequence format and can be modeled by XKT and TKT(TBA) The analysis dataset tool only supports the json sequence format. To check the following statical indexes of the dataset. In order to better verify the effectiveness of the model, the dataset is... -
3
Stats With Julia Book
Collection of runnable Julia code examples for a statistics book
StatsWithJuliaBook is the companion code repository for the book Statistics with Julia: Fundamentals for Data Science, Machine Learning and Artificial Intelligence. It contains over 200 code blocks that correspond to the book’s ten chapters and three appendices, covering topics from probability theory and data summarization to regression analysis, hypothesis testing, and machine learning basics. The repository is designed for Julia users and provides ready-to-run examples that reinforce... -
4
COVID-19 Scenarios
Models of COVID-19 outbreak trajectories and hospital demand
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. -
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
SimpleAnnotator
A simple tool to annotate a text.
This tool allows the user to annotate by coloring portions of the text. This can be seen as a simple model of annotation. This tool has been built to complete particular experimentation on student behavior (annotation per example) facing particularly difficult content. We put it here as an open-source project. -
6
JStencilReport
A tool for write student evaluations
JStencilReport (or Java Stencil Report) is designed to write student evaluations and school report, in a fast way by a set of user-inserted sentences. It has a small vector graphics editor to create a full customizable print model that allow to print or export in PDF and Post Script your report. It allow also to export form in CSV format. -
7
WebPT
Web-based Peer Testing tool
Web-based tool to enable students to engage in Peer Testing during programming assignments -
8
ReBAC Java Library
ReBAC library for java development
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> -
9
Testing tool for Semantic Bridges. Supports the evaluation of rule-based (SWRL) ontology mappings to provide trust in a distributed multi-actor environment with heterogeneous independent information models materialized in OWL ontologies. See QualiPSo.org
-
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.
-
10
Assignment Collector/Grader
A webapp that collects and grades student labs
Assignment Collector/Grader (what a mouthful!) was conceived in 2010 as a way to reduce the workload of an over-worked professor teaching a CS data structures class. It proved not only to reduce the grading workload, but also improved the lab completion rates among students, and grades overall improved as a result. Since it has turned out to be such a successful tool, it is now released under the AGPL license for others to use in their classrooms. Planned improvements include: automatic... -
11
Extensions to NModel enabling model-based testing of systems implemented in Java or other languages.
-
12
A testcase management, logging, reporting and test automation tool, similar to the commercial product Test Director. Features: Progress stats, reports, test case import from CSV,doc,web or SQL, STAF plugin. SQL database. Speeds QA and software testing
-
13
EM Demonstration is a little tool for Physics teachers and students that helps model electric fields in flux lines as well as draw equipotential regions. Simply put, it is a classroom demonstration/modeler. Please help support us and donate.
-
14
Yet Another Database Designer - the goal of the project is to develop a tool for designing relational databases. YAD_Designer is based on the entity relationship model (see Chen et al.) and is targeted on the use in educational environments.
-
15
Quati is a free simulation tool which aims to simplicity and clearness, for those who want to build models based on discrete events. This kind of model can be applied in manufactoring, transports, logistics and hospitals, for example.
-
16
Phono is a software tool for developing and testing models of regular historical sound change. For this purpose, a model consists essentially of an ordered set of sound-change rules. Phono reads the makeup of the rules and their order from a data file.
-
17
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.
- Previous
- You're on page 1
- Next
