Search Results for "test case generation"

Integrated component-based and cellular automata (CA) Parallel DEVS simulator: https://acims.asu.edu/devs-suite/ OFFERS: 1) synchronized execution & animation, 2) run-time linear/superdense I/O & state trajectories, 3) Action Level Real-Time modeling & simulation, 4) model checking, 5) ABM, 6) CA & composable CA playback, 7) KIB interaction modeling, 8) hierarchical model libraries, 9) Black-Box testing & debugging, 10) PostgreSQL repository, 11) FMU (OpenModelica), 12) OSATE (AADL)...

Genetic Architecture Model Emulator for Testing and Evaluating Software (GAMETES) is an algorithm for the generation of complex single nucleotide polymorphism (SNP) models for simulated association studies. GAMETES is designed to generate epistatic models which we refer to as pure and strict, that constitute the worst-case in terms of detecting disease associations, since such associations may only be observed if all n-loci are included in the disease model.

AMICI, the Assessment platform for Multiple Interdependent Critical Infrastructures, simplifies and boosts experimentation with cyber-physical systems. AMICI enables the real-time execution of physical process models developed in Matlab Simulink, in a way that they can interact with real cyber systems, e.g., ad-hoc software or even real malware. The simulated physical models may come from a wide range of domains, e.g., power generation, power transmission, railway transportation,...

The collection MICROMECHANICS (micromechanics.zip) includes: (1) lecture notes (microbook.pdf) on the analysis of heterogeneous materials and homogenization, and (2) source codes (microcode.tar.bz2) that accompany the computational exercises in Part II of the notes. Instructions on using the codes are given in the README file of each exercise. Further instructions can be found in the file microcode.tar.bz2. The MATLAB codes are used for visualization, evaluating analytical bounds...

Siafu simulates individual agents and their context, from home to city-wide scenarios. As a developer, you use the API to write your simulation for the purposes of data-set generation, test or visualization, optionally hooking it to your own application.

Tailorshop: Optimization based Analysis and data Generation tOol. Support tool for the computer test scenario "Tailorshop" that is the basis for many psychological studies. Data can be generated, visualized, and provided to optimization solvers.

JRandO is a test data generator or better test object generator framework. It can be used in JUnit tests or in performance test (for e.g. using JMeter). It may also be useful in anonymization of data or in a simulation environment.

Sample code for JRandO project. (testdata generator, test data generator, test object generator, simulation)

In the selective laser melting process (SLM), components are built up layer by layer by incremental melting of metal powder with a laser beam. This process leads to locally inhomogeneous material properties of the manufactured components. By integrating these specific material properties of the SLM-process into a topology optimization, product developers can be supported in the design process by simulation. For this purpose, a topology optimization method is being developed which takes into...