Usage Models for the Systematic Generation of Test Cases with MODICA

2016 ◽  
pp. 113-121
Author(s):  
Peter M. Kruse ◽  
Jörg Reiner
Keyword(s):  
Test Cases ◽  
Usage Models

Importance Sampling of Test Cases in Markovian Software Usage Models

1997 ◽  
Vol 11 (1) ◽  
pp. 19-36 ◽  
Author(s):  
Walter J. Gutjahr
Keyword(s):  
Markov Chain ◽  
Importance Sampling ◽  
Efficient Solution ◽  
Optimization Problem ◽  
Prior Information ◽  
Transition Probabilities ◽  
Test Cases ◽  
Stochastic Optimization Problem ◽  
Unbiased Estimates ◽  
Usage Models

Recently, some authors have suggested usage models of Markov type as a technique of specifying the estimated operational use distribution of a given program. A main purpose of such models is the derivation of random test cases allowing unbiased estimates on the (un)reliability of the program in its intended environment. In this article, we show that by a shift of the transition probabilities of the Markov chain corresponding to such a model, prior information on the errorjproneness of single-program operations can be taken into account. An unbiased unreliability estimator with reduced variance is obtained. Furthermore, it is shown that minimization of the variance leads to a special stochastic optimization problem that can be demonstrated to be convex, such that efficient solution techniques apply. Some related questions are also treated in a more general, non-Markovian framework.

Using Statistical Usage Testing in Conjunction with Other Black Box Testing Techniques

2015 ◽  
Vol 22 (01) ◽  
pp. 1550004 ◽  
Author(s):  
Sunil Kumar Khatri ◽  
Kamaldeep Kaur ◽  
Rattan K. Datta
Keyword(s):  
High Reliability ◽  
Statistical Tests ◽  
Black Box ◽  
Statistical Quality Control ◽  
Test Cases ◽  
Value Analysis ◽  
Black Box Testing ◽  
Testing Techniques ◽  
Usage Models ◽  
Development Approach

Cleanroom methodology is a scrupulous incremental software development approach16 for the development of zero defect and high-reliability software using box structure specification, statistical quality control and certification.2 Statistical Usage Testing (SUT) technique is the testing technique defined it Cleanroom software engineering. It based on developing the usage models and then performing statistical tests on the usage models.15 The paper shows the usage of SUT in conjunction with other black box testing techniques. Other types of testing can be performed along with SUT depending on the requirement. Use of other testing techniques can be essential to show specific scenarios of use or to attain full usage model coverage with reduced test cases.17 The paper also presents the effectiveness of applying SUT in conjunction with other black box testing techniques by using various test cases. Other black box testing techniques used include Equivalence Class Partitioning (ECP), Boundary Value Analysis (BVA), Cause Effect Graphing (CEG), Use Case Testing (UCT) and Orthogonal Array Testing (OATS).

Linear Visco-Resistive Computations of Magnetohydrodynamic Waves: I. The Code and Test Cases

1994 ◽  
Vol 144 ◽  
pp. 503-505
Author(s):  
R. Erdélyi ◽  
M. Goossens ◽  
S. Poedts
Keyword(s):  
Resonant Absorption ◽  
Numerical Code ◽  
Mhd Waves ◽  
Test Cases ◽  
Numerical Accuracy ◽  
Element Discretization ◽  
Flux Tubes ◽  
Magnetohydrodynamic Waves ◽  
Viscosity Coefficients ◽  
Magnetic Flux Tubes

AbstractThe stationary state of resonant absorption of linear, MHD waves in cylindrical magnetic flux tubes is studied in viscous, compressible MHD with a numerical code using finite element discretization. The full viscosity tensor with the five viscosity coefficients as given by Braginskii is included in the analysis. Our computations reproduce the absorption rates obtained by Lou in scalar viscous MHD and Goossens and Poedts in resistive MHD, which guarantee the numerical accuracy of the tensorial viscous MHD code.

Application of Backside Photo and Thermal Emission Microscopy Techniques to Advanced Memory Devices

1997 ◽  
Author(s):  
S.-S. Lee ◽  
J.-S. Seo ◽  
N.-S. Cho ◽  
S. Daniel
Keyword(s):  
Thermal Emission ◽  
Test Cases ◽  
Memory Devices ◽  
Front Side ◽  
Emission Analysis ◽  
Intensity Attenuation ◽  
Analysis Techniques ◽  
Defect Sites ◽  
Emission Microscopy ◽  
Microscopy Techniques

Abstract Both photo- and thermal emission analysis techniques are used from the backside of the die colocate defect sites. The technique is important in that process and package technologies have made front-side analysis difficult or impossible. Several test cases are documented. Intensity attenuation through the bulk of the silicon does not compromise the usefulness of the technique in most cases.

The Plot Twist in TV Serial Narratives

Projections ◽  
2020 ◽  
Vol 14 (1) ◽  
pp. 58-74
Author(s):  
Héctor J. Pérez
Keyword(s):  
Test Cases ◽  
Narrative Tradition ◽  
Unexplored Area ◽  
The Aesthetic ◽  
Viewing Experience ◽  
Game Of Thrones

AbstractThis article explores the use of the plot twist in screen fictions. This is a largely unexplored area, as interest in this phenomenon has largely focused on the so-called “plot twist movie,” which is an older narrative tradition. In order to explain this aesthetic phenomenon, it draws on the model of surprise originally proposed by the cognitive psychologists Wulf Meyer, Rainer Reisenzein, and Achim Schützwohl. Plot twists are characterized by three distinct but intimately intertwined temporal segments and their corresponding functions, which are explained by this model. The objective of this article is to explore how cognitive-emotional interactions shape the aesthetic viewing experience and to identify how that experience relates to shows’ artistic qualities. Game of Thrones (S01 and S03), Homeland (S01), and Westworld (S01) will be used as test cases. In each of the three plot segments, there are specific processes that distinguish the experience of surprise as an aesthetic phenomenon.

Context-Assisted Test Cases Reduction for Cloud Validation

2010 ◽  
Author(s):  
Feras Batarseh ◽  
Avelino J. Gonzalez ◽  
Rainer Knauf
Keyword(s):  
Test Cases
Sign in / Sign up

Export Citation Format

Share Document