Results 231 to 240 of about 4,461,179 (269)

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

IEEE Software, 2012
Model-based testing (MBT) strives to automatically and systematically generate test cases. In this column, Ina Schieferdecker introduces MBT technologies and methods.
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

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

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

Software Testing, Verification and Reliability, 2023
Yves Le Traon, Tao Xie 0001
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

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

Testing the model for testing competency.

Patient care management, 2003
The pilot study to demonstrate the utility of the CBRDM in the practice setting was successful. Using a matrix evaluation tool based on the model's competencies, evaluators were able to observe specific performance behaviors of senior nursing students and new graduates at either the novice or competent levels.
Sarah B, Keating, Dana N, Rutledge, Arlene, Sargent, Polly, Walker   +3 more
openaire   +1 more source