Results 281 to 290 of about 5,324,413 (319)

Testing Memory Models

2008 Ninth International Workshop on Microprocessor Test and Verification, 2008
A memory model defines the behavior of a shared memory machine when two or more threads read/write the same operand at the same time. There are only a handful of choices in defining a memory model. There are two (not clearly distinct) types of test to determine if a machine fails to conform to its memory model. Simple tests identify the normal behavior
openaire   +1 more source

Model-Based Testing

2014
Software more and more pervades our everyday lives. Hence, we have high requirements towards the trustworthiness of the software. Software testing greatly contributes to the quality assurance of modern software systems. However, as today's software system get more and more complex and exist in many different variants, we need rigorous and systematic ...
Malte Lochau, Sven Peldszus, Matthias Kowal, Ina Schaefer   +3 more
openaire   +1 more source

Model‐based testing

Software Testing, Verification and Reliability, 2023
Yves Le Traon, Tao Xie 0001
openaire   +1 more source

Testing Linearity for NARX Models

European Journal of Control, 1998
One considers the discrete-time NARX system \[ X_{n+1}= f(X_n,X_{n-1},\dots,X_{n-p+1}) -k(X_n,\dots,X_{n-p+1}) + \zeta_{n+1}, \] where \(f\) is the unknown function, \(k\) is the known stabilizing function and \(\{\zeta_{n}\}\) is the white noise.
Jean-Michel Poggi, Bruno Portier
openaire   +1 more source

Model-Based Testing and Model Inference

2012
Model-based software testing is well established, and can be traced back to Moore's "Gedanken experiments" on finite state machines from 1956 [10]. The best known approaches involve the use of models (such as UML interaction diagrams or state machines) as the basis for selecting test inputs that seek to explore the core functionality of the system ...
Karl Meinke, Neil Walkinshaw
openaire   +1 more source

Modelling Ties in the Sign Test

Biometrics, 1999
Summary. If ties occur in the sign test, the procedure recommended by Coakley and Heise (1996, Biometrics52, 1242–1251) is the asymptotic uniformly most powerful nonrandomised test due to Putter (1955, Annals of Mathematical Statistics26, 368–386). It may be shown that this is a consequence of how the probability of a tie is modelled.
Rayner, J. C. W., Best, D. J.
openaire   +2 more sources

Model Learning and Model-Based Testing

2018
We present a survey of the recent research efforts in integrating model learning with model-based testing. We distinguished two strands of work in this domain, namely test-based learning (also called test-based modeling) and learning-based testing. We classify the results in terms of their underlying models, their test purpose and techniques, and their
Bernhard K. Aichernig, Wojciech Mostowski, Mohammad Reza Mousavi 0001, Martin Tappler, Masoumeh Taromirad   +4 more
openaire   +1 more source

Broadening the Tests of Learning Models

Journal of Mathematical Psychology, 1998
For many years psychological studies of the learning process have used a simulated medical diagnosis task in which symptom configurations are probabilistically related to diseases. Participants are given a set of symptoms and asked to indicate which disease is present, and feedback is given on each trial. We enrich this standard laboratory task in four
Kitzis, Stephen N., Kelley, Hugh, Berg, Eric, Massaro, Dominic W., Friedman, Daniel   +4 more
openaire   +2 more sources

Test of Models of Achromatic Transparency

Perception, 2006
Consider an achromatic disk transparent on an achromatic background formed by two adjoining rectangles, with the common border of the rectangles dividing the disk in half. Current models of achromatic transparency contend that the perceived extent of transparency of the disk depends on the luminance contrast inside the disk and on the luminance ...
openaire   +3 more sources

Schottky barrier: models and “tests”

Surface Science Letters, 1983
Abstract The concepts employed and models referred to in discussing metal-semiconductor interfaces are briefly discussed. The current status of experimental studies of a few such systems is examined. We emphasize the necessity of distinguishing between different possible mechanisms involved in determining the properties of these interfaces, and point
openaire   +1 more source