FormalTCGenerator: A Tool of Automatically Generating Test Cases for Infinite States Reactive Systems

2012 ◽  
Author(s):  
Donghuo Chen ◽  
Shizhong Zhao
Keyword(s):  
Reactive Systems ◽  
Test Cases

scholarly journals Synthesizing adaptive test strategies from temporal logic specifications

2019 ◽  
Vol 55 (2) ◽  
pp. 103-135
Author(s):  
Roderick Bloem ◽  
Goerschwin Fey ◽  
Fabian Greif ◽  
Robert Könighofer ◽  
Ingo Pill ◽  
...  
Keyword(s):  
Temporal Logic ◽  
Partial Information ◽  
Reactive Systems ◽  
Satellite System ◽  
Test Cases ◽  
Random Testing ◽  
Good Test ◽  
New Approach ◽  
Adaptive Test ◽  
Test Strategies

Abstract Constructing good test cases is difficult and time-consuming, especially if the system under test is still under development and its exact behavior is not yet fixed. We propose a new approach to compute test strategies for reactive systems from a given temporal logic specification using formal methods. The computed strategies are guaranteed to reveal certain simple faults in every realization of the specification and for every behavior of the uncontrollable part of the system’s environment. The proposed approach supports different assumptions on occurrences of faults (ranging from a single transient fault to a persistent fault) and by default aims at unveiling the weakest one. We argue that such tests are also sensitive for more complex bugs. Since the specification may not define the system behavior completely, we use reactive synthesis algorithms with partial information. The computed strategies are adaptive test strategies that react to behavior at runtime. We work out the underlying theory of adaptive test strategy synthesis and present experiments for a safety-critical component of a real-world satellite system. We demonstrate that our approach can be applied to industrial specifications and that the synthesized test strategies are capable of detecting bugs that are hard to detect with random testing.

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.

Sign in / Sign up

Export Citation Format

Share Document